schema_editor/comdel/parser/comdelparser.cpp

1172 lines
36 KiB
C++
Raw Normal View History

2022-03-29 19:31:45 +00:00
#include "comdelparser.h"
#include "assert.h"
#include "poly.h"
#include "tokenstype.h"
#include <utility>
#include <algorithm>
#include <fstream>
#include <cctype>
#include <sstream>
ComdelParser::ComdelParser(std::vector<Token> tokens)
: tokens(std::move(tokens))
, position(0)
{}
// Tries to consume a token, returns an error otherwise.
// Unlike the regular consume() call this should be used
// when a missing token means a syntax error.
#define RETURN_IF_NOT_TOKEN(tokenType) \
do { \
if (!consume(tokenType)) { \
return unexpected(); \
} \
} while (0)
// Checks if the current token matches the argument.
// Otherwise, adds the token to the list of expected tokens (used in
// error message).
bool ComdelParser::check(TokenType tokenType)
{
if(current().type == tokenType)
return true;
expectedTokens.insert(tokenType);
return false;
}
Token &ComdelParser::current() {
return tokens[position];
}
// attempts to consume a token and returns whether it's successful
bool ComdelParser::consume(TokenType tokenType) {
bool exists = check(tokenType);
if (exists) {
bump();
}
return exists;
}
#define ATLAS_ASSERT_FAIL(x) \
do{}while(0)
void ComdelParser::bump() {
if (tokens[position].type == TokenType::END_OF_FILE) {
ATLAS_ASSERT_FAIL("Internal parser error, called bump after EOF");
} else {
tokens[++position];
}
expectedTokens.clear();
}
// Generates an "unexpected token" error that also
// includes a list of valid alternatives based on the contents
// of the expectedTokens vector
//
// e.g. "expected one of: ',', ')', found 'c'"
// when parsing "func(a, b c);"
PError ComdelParser::unexpected() {
std::stringstream ss;
ss << "Found: `" << current().text << "`. ";
ss << "Expected";
if (expectedTokens.size() > 1) {
ss << " one of: ";
} else {
ss << ": ";
}
uint token_counter = 0;
for (auto& type : expectedTokens) {
if (type == TokenType::IDENTIFIER ||
type == TokenType::NUMBER ||
type == TokenType::STRING ||
type == TokenType::COLOR) {
ss << tokenTypeToString(type);
} else {
ss << "`" << tokenTypeToString(type) << "`";
}
++token_counter;
if (token_counter < expectedTokens.size())
ss << ", ";
else
ss <<".";
}
return PError({current().span, ss.str()});
}
// Parses a list of 'nodes' separated by 'separator'. Parsed nodes
// are returned in a vector. A list can be empty which will give
// an empty vector.
//
// The list is enclosed in 'openDelim' and 'closeDelim'.
//
// 'openDelim' and 'separator' are optional (could be nullopt).
//
// 'closeDelim' is mandatory and it will be consumed.
//
// Function 'parse_f' should only parse a single node of type T.
//
// Parameter allowTrailing==true means that the list should ends with
// 'separator' and otherwise the list should ends with 'node'. This
// parameter is false in every call-site!
template<typename T> PResult<std::vector<T>>
ComdelParser::parseList(std::optional<TokenType> openDelim,
TokenType closeDelim,
std::optional<TokenType> separator,
bool allowTrailing,
const std::function<PResult<T>()>& parse_f)
{
std::vector<T> vec;
if(openDelim) {
RETURN_IF_NOT_TOKEN(*openDelim);
}
bool first = true;
while (true) {
if (consume(closeDelim)) {
break;
}
if (!first && separator) {
RETURN_IF_NOT_TOKEN(*separator);
if (allowTrailing && consume(closeDelim)) {
break;
}
}
first = false;
auto item = parse_f();
RETURN_IF_ERR(item);
vec.push_back(*item);
}
2022-04-05 21:48:07 +00:00
return vec;
2022-03-29 19:31:45 +00:00
}
const std::vector<SourceError> &ComdelParser::getErrors()
{
return errors;
}
Span &ComdelParser::getPreviousSpan() {
static Span span;
if(position == 0) {
return span;
} else {
return tokens[position].span;
}
}
// See comment for Spanner
Spanner ComdelParser::getSpanner()
{
return Spanner(current().span, getPreviousSpan());
}
// utility for reading strings
#define ASSIGN_OR_SET_ERR(var, presult) \
do { \
auto&& assign_or_return_if_err_temp_ = (presult); \
if (!assign_or_return_if_err_temp_) { \
err = PError(assign_or_return_if_err_temp_.error()); \
} else { \
var = *assign_or_return_if_err_temp_; \
} \
} while (0)
// utility for reading strings
#define APPEND_OR_SET_ERR(var, presult) \
do { \
auto&& assign_or_return_if_err_temp_ = (presult); \
if (!assign_or_return_if_err_temp_) { \
err = PError(assign_or_return_if_err_temp_.error()); \
} else { \
var.push_back(*assign_or_return_if_err_temp_); \
} \
} while (0)
// utility for reading strings
#define APPEND_OR_RETURN_IF_ERR(var, presult) \
do { \
auto&& assign_or_return_if_err_temp_ = (presult); \
if (!assign_or_return_if_err_temp_) { \
return PError(assign_or_return_if_err_temp_.error()); \
} else { \
var.push_back(*assign_or_return_if_err_temp_); \
} \
} while (0)
/****************************************************************************
*
* F U N C T I O N S O F R E C U R S I V E D E S C E N T P A R S E R
*
****************************************************************************/
2022-03-29 21:49:32 +00:00
std::optional<LibraryNode> ComdelParser::parse()
2022-03-29 19:31:45 +00:00
{
auto spanner = getSpanner();
2022-03-29 21:49:32 +00:00
LibraryNode library{};
2022-03-29 19:31:45 +00:00
while ( ! check(TokenType::END_OF_FILE) ) {
PResult<poly<AstNode>> err;
2022-03-29 21:08:55 +00:00
if(check(TokenType::KW_NAME)){
2022-03-29 19:31:45 +00:00
bump();
2022-03-29 21:08:55 +00:00
ASSIGN_OR_SET_ERR(library.name, parseString());
} else if(check(TokenType::KW_HEADER)) {
bump();
ASSIGN_OR_SET_ERR(library.header, parseString());
} else if(check(TokenType::KW_DIRECTORY)) {
bump();
ASSIGN_OR_SET_ERR(library.componentDirectory, parseString());
} else if(check(TokenType::KW_INFO)) {
bump();
ASSIGN_OR_SET_ERR(library.libraryInfo, parseString());
} else if(check(TokenType::KW_ADDRESS)) {
APPEND_OR_SET_ERR(library.addressSpaces, parseAddress());
} else if(check(TokenType::KW_COMPONENT)) {
APPEND_OR_SET_ERR(library.components, parseComponent());
} else if(check(TokenType::KW_BUS)) {
APPEND_OR_SET_ERR(library.buses, parseBus());
} else if(check(TokenType::KW_CONNECTION)) {
APPEND_OR_SET_ERR(library.connections, parseConnection());
} else if(check(TokenType::KW_MESSAGES)) {
bump();
ASSIGN_OR_SET_ERR(library.messages, parseList<PropertyNode>(std::optional<TokenType>(TokenType::LBRACE),
TokenType::RBRACE,
std::nullopt,
false,
[this]{return parseProperty(std::optional<TokenType>(TokenType::STRING));}
));
2022-03-29 19:31:45 +00:00
} else {
err = unexpected();
}
if(!err.has_value()) {
errors.push_back(err.error());
break;
}
}
if (errors.size())
return std::nullopt;
return spanner(library);
}
/****************************************************************************
*
* StringNode := "\"" + CONTENT + "\""
*
****************************************************************************/
PResult<StringNode> ComdelParser::parseString()
{
auto spanner = getSpanner();
if (check(TokenType::STRING)) {
StringNode node;
node.value = current().text;
node.span = current().span;
bump();
return spanner(node);
}
return unexpected();
}
/****************************************************************************
*
* IdentifierNode := IDENTIFIER
*
****************************************************************************/
PResult<IdentifierNode> ComdelParser::parseIdentifier()
{
auto spanner = getSpanner();
if (check(TokenType::IDENTIFIER)) {
IdentifierNode node;
node.value = current().text;
node.span = current().span;
bump();
return spanner(node);
}
return unexpected();
}
/****************************************************************************
*
* NumberNode := ('0x' | '0b'){0,1}[0-9]*
*
****************************************************************************/
PResult<NumberNode> ComdelParser::parseNumber()
{
auto spanner = getSpanner();
if (check(TokenType::NUMBER)) {
NumberNode node{current().text};
node.span = current().span;
bump();
return spanner(node);
}
return unexpected();
}
/****************************************************************************
*
* CountNode := "@size (" + NumberNode + "," + NumberNode + ")"
*
****************************************************************************/
PResult<CountNode> ComdelParser::parseCount()
{
auto spanner = getSpanner();
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::KW_COUNT);
2022-03-29 19:31:45 +00:00
RETURN_IF_NOT_TOKEN(TokenType::LPAREN);
auto first = parseNumber();
if(!first.has_value()) {
return PError(first.error());
}
RETURN_IF_NOT_TOKEN(TokenType::COMMA);
auto second = parseNumber();
if(!second.has_value()) {
return PError(second.error());
}
RETURN_IF_NOT_TOKEN(TokenType::RPAREN);
return spanner(CountNode{first.value(), second.value()});
}
/****************************************************************************
*
* PropertyNode := key: value;
*
****************************************************************************/
PResult<PropertyNode> ComdelParser::parseProperty(std::optional<TokenType> valueType = std::nullopt)
{
auto spanner = getSpanner();
IdentifierNode key;
ASSIGN_OR_RETURN_IF_ERR(key, parseIdentifier());
RETURN_IF_NOT_TOKEN(TokenType::COLON);
if(valueType.has_value()) {
2022-03-29 21:08:55 +00:00
if(valueType == TokenType::BOOL_TYPE) {
if(!(check(TokenType::TRUE) || check(TokenType::FALSE))) {
return unexpected();
}
} else if(!check(*valueType)) {
2022-03-29 19:31:45 +00:00
return unexpected();
}
}
2022-03-31 21:20:41 +00:00
ValueNode value;
2022-03-29 21:08:55 +00:00
ASSIGN_OR_RETURN_IF_ERR(value, parseValue());
2022-03-29 19:31:45 +00:00
RETURN_IF_NOT_TOKEN(TokenType::SEMICOLON);
PropertyNode node;
node.key = key;
node.value = value;
return spanner(node);
}
/****************************************************************************
*
2022-03-31 21:20:41 +00:00
* AddressSpaceNode := "@address" + IDENTIFIER "(" + NUMER + "," + NUMBER + ")"
2022-03-29 19:31:45 +00:00
*
****************************************************************************/
2022-03-31 21:20:41 +00:00
PResult<AddressSpaceNode> ComdelParser::parseAddress()
2022-03-29 19:31:45 +00:00
{
auto spanner = getSpanner();
2022-03-31 21:20:41 +00:00
AddressSpaceNode addressSpace{};
2022-03-29 19:31:45 +00:00
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::KW_ADDRESS);
2022-03-29 19:31:45 +00:00
ASSIGN_OR_RETURN_IF_ERR(addressSpace.name, parseIdentifier());
RETURN_IF_NOT_TOKEN(TokenType::LPAREN);
ASSIGN_OR_RETURN_IF_ERR(addressSpace.start, parseNumber());
RETURN_IF_NOT_TOKEN(TokenType::COMMA);
ASSIGN_OR_RETURN_IF_ERR(addressSpace.end, parseNumber());
RETURN_IF_NOT_TOKEN(TokenType::RPAREN);
return spanner(addressSpace);
}
/****************************************************************************
*
2022-03-29 21:49:32 +00:00
* ComponentNode := "@component" + IDENTIFIER + ("processor" | "memory") { COMPONENT_BLOCK }
2022-03-29 19:31:45 +00:00
*
****************************************************************************/
2022-03-29 21:49:32 +00:00
PResult<ComponentNode> ComdelParser::parseComponent()
2022-03-29 19:31:45 +00:00
{
auto spanner = getSpanner();
2022-03-29 21:49:32 +00:00
ComponentNode component{};
2022-03-29 19:31:45 +00:00
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::KW_COMPONENT);
2022-03-29 19:31:45 +00:00
ASSIGN_OR_RETURN_IF_ERR(component.name, parseIdentifier());
2022-03-29 21:08:55 +00:00
if(check(TokenType::CT_PROCESSOR)) {
bump();
2022-03-29 21:49:32 +00:00
component.type = ComponentNode::PROCESSOR;
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::CT_MEMORY)) {
bump();
2022-03-29 21:49:32 +00:00
component.type = ComponentNode::MEMORY;
2022-03-29 19:31:45 +00:00
} else {
2022-03-29 21:49:32 +00:00
component.type = ComponentNode::OTHER;
2022-03-29 19:31:45 +00:00
}
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(!check(TokenType::RBRACE)) {
PResult<poly<AstNode>> err;
2022-03-29 21:08:55 +00:00
if(check(TokenType::KW_INSTANCE_NAME)) {
2022-03-29 19:31:45 +00:00
bump();
2022-03-29 21:08:55 +00:00
ASSIGN_OR_RETURN_IF_ERR(component.instanceName, parseString());
} else if(check(TokenType::KW_TOOLTIP)) {
bump();
ASSIGN_OR_RETURN_IF_ERR(component.tooltip, parseString());
} else if(check(TokenType::KW_SOURCE)) {
bump();
ASSIGN_OR_RETURN_IF_ERR(component.source, parseString());
} else if(check(TokenType::KW_COUNT)) {
ASSIGN_OR_RETURN_IF_ERR(component.count, parseCount());
} else if(check(TokenType::KW_DISPLAY)) {
ASSIGN_OR_RETURN_IF_ERR(component.display, parseDisplay());
} else if(check(TokenType::KW_PIN)) {
2022-03-31 21:20:41 +00:00
APPEND_OR_RETURN_IF_ERR(component.pins, parsePin());
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::KW_ATTRIBUTE)) {
APPEND_OR_RETURN_IF_ERR(component.attributes, parseAttribute());
} else if(check(TokenType::KW_RULE)) {
APPEND_OR_RETURN_IF_ERR(component.rules, parseRule());
2022-03-29 19:31:45 +00:00
} else {
return unexpected();
}
}
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
return spanner(component);
}
/****************************************************************************
*
2022-03-29 21:49:32 +00:00
* DisplayNode := "@display {" + (DISPLAY_ITEM)* + "}"
2022-03-29 19:31:45 +00:00
*
****************************************************************************/
2022-03-29 21:49:32 +00:00
PResult<DisplayNode> ComdelParser::parseDisplay() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::KW_DISPLAY);
2022-03-29 21:49:32 +00:00
DisplayNode display;
2022-03-29 19:31:45 +00:00
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(!check(TokenType::RBRACE)) {
2022-03-29 21:49:32 +00:00
PResult<DisplayItemNode> item;
2022-03-29 19:31:45 +00:00
item = parseDisplayItem();
RETURN_IF_ERR(item);
display.items.push_back(*item);
}
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
return spanner(display);
}
/****************************************************************************
*
2022-03-29 21:49:32 +00:00
* DisplayItemNode := "TYPE {(KEY + ":" + VALUE + ";")*}
2022-03-29 19:31:45 +00:00
*
****************************************************************************/
2022-03-29 21:49:32 +00:00
PResult<DisplayItemNode> ComdelParser::parseDisplayItem() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-29 21:49:32 +00:00
DisplayItemNode displayItem;
2022-03-29 19:31:45 +00:00
ASSIGN_OR_RETURN_IF_ERR(displayItem.type, parseIdentifier());
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(!check(TokenType::RBRACE)) {
PResult<PropertyNode> item{parseProperty()};
RETURN_IF_ERR(item);
displayItem.values.push_back(*item);
}
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
return spanner(displayItem);
}
/****************************************************************************
*
2022-03-29 21:49:32 +00:00
* BusNode := "@bus " + NAME + TYPE + "{" + POPUP + "}"
2022-03-29 19:31:45 +00:00
*
****************************************************************************/
2022-03-29 21:49:32 +00:00
PResult<BusNode> ComdelParser::parseBus() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-29 21:49:32 +00:00
BusNode bus;
2022-03-29 19:31:45 +00:00
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::KW_BUS);
2022-03-29 19:31:45 +00:00
ASSIGN_OR_RETURN_IF_ERR(bus.name, parseIdentifier());
if(check(TokenType::IDENTIFIER)) {
auto tokenType = parseIdentifier();
if(tokenType.value().value == "automatic") {
2022-03-29 21:49:32 +00:00
bus.type = BusNode::AUTOMATIC;
2022-03-29 19:31:45 +00:00
} else if(tokenType.value().value == "regular") {
2022-03-29 21:49:32 +00:00
bus.type = BusNode::REGULAR;
2022-03-29 19:31:45 +00:00
} else {
return PError(SourceError{current().span, "expected 'automatic' or 'regular'"});
}
} else {
return PError(SourceError{current().span, "expected 'automatic' or 'regular'"});
}
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(!check(TokenType::RBRACE)) {
2022-03-29 21:08:55 +00:00
if(check(TokenType::KW_TOOLTIP)) {
2022-03-29 19:31:45 +00:00
bump();
2022-03-29 21:08:55 +00:00
ASSIGN_OR_RETURN_IF_ERR(bus.tooltip, parseString());
} else if(check(TokenType::KW_COUNT)) {
ASSIGN_OR_RETURN_IF_ERR(bus.count, parseCount());
} else if(check(TokenType::KW_DISPLAY)) {
ASSIGN_OR_RETURN_IF_ERR(bus.display, parseDisplay());
} else if(check(TokenType::KW_WIRES)) {
bump();
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(check(TokenType::IDENTIFIER)) {
APPEND_OR_RETURN_IF_ERR(bus.wires, parseWire());
if(check(TokenType::COMMA)) {
RETURN_IF_NOT_TOKEN(TokenType::COMMA);
2022-03-29 19:31:45 +00:00
}
}
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
2022-03-29 19:31:45 +00:00
} else {
return unexpected();
}
}
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
return spanner(bus);
}
/****************************************************************************
*
2022-03-29 21:49:32 +00:00
* WireNode := NAME(<SIZE>){0,1} TYPE)*
2022-03-29 19:31:45 +00:00
*
****************************************************************************/
2022-03-29 21:49:32 +00:00
PResult<WireNode> ComdelParser::parseWire() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-29 21:49:32 +00:00
WireNode wire;
2022-03-29 19:31:45 +00:00
ASSIGN_OR_RETURN_IF_ERR(wire.name, parseIdentifier());
if(check(TokenType::LT)) {
RETURN_IF_NOT_TOKEN(TokenType::LT);
ASSIGN_OR_RETURN_IF_ERR(wire.size, parseNumber());
RETURN_IF_NOT_TOKEN(TokenType::GT);
} else {
wire.size.value = 1;
}
2022-03-29 21:08:55 +00:00
// default
2022-03-29 21:49:32 +00:00
wire.type = WireNode::WIRE;
2022-03-29 19:31:45 +00:00
2022-03-29 21:08:55 +00:00
if(check(TokenType::WIRE_DEFAULT)) {
bump();
2022-03-29 21:49:32 +00:00
wire.type = WireNode::WIRE;
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::WIRE_AND)) {
bump();
2022-03-29 21:49:32 +00:00
wire.type = WireNode::WIRED_AND;
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::WIRE_OR)) {
bump();
2022-03-29 21:49:32 +00:00
wire.type = WireNode::WIRED_OR;
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::R_WIRE)) {
bump();
2022-03-29 21:49:32 +00:00
wire.type = WireNode::R_WIRE;
2022-03-29 19:31:45 +00:00
}
return spanner(wire);
}
/****************************************************************************
*
2022-03-29 21:49:32 +00:00
* PinNode := "@pin" NAME TYPE "{"
2022-03-29 19:31:45 +00:00
"@tooltip" MESSAGE
"@connection" TYPE "(" MESSAGE ")"
2022-03-29 21:49:32 +00:00
DisplayNode
2022-03-29 19:31:45 +00:00
}
*
****************************************************************************/
2022-03-29 21:49:32 +00:00
PResult<PinNode> ComdelParser::parsePin() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::KW_PIN);
2022-03-29 21:49:32 +00:00
PinNode pin{};
2022-03-29 19:31:45 +00:00
ASSIGN_OR_RETURN_IF_ERR(pin.name, parseIdentifier());
2022-03-29 21:08:55 +00:00
if(check(TokenType::PIN_IN)) {
bump();
2022-03-29 21:49:32 +00:00
pin.type = PinNode::IN;
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::PIN_OUT)) {
bump();
2022-03-29 21:49:32 +00:00
pin.type = PinNode::OUT;
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::PIN_IN_OUT)) {
bump();
2022-03-29 21:49:32 +00:00
pin.type = PinNode::IN_OUT;
2022-03-29 21:08:55 +00:00
} else {
return unexpected();
2022-03-29 19:31:45 +00:00
}
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(!check(TokenType::RBRACE)) {
2022-03-29 21:08:55 +00:00
if (check(TokenType::KW_TOOLTIP)) {
2022-03-29 19:31:45 +00:00
bump();
2022-03-29 21:08:55 +00:00
ASSIGN_OR_RETURN_IF_ERR(pin.tooltip, parseString());
} else if (check(TokenType::KW_DISPLAY)) {
ASSIGN_OR_RETURN_IF_ERR(pin.display, parseDisplay());
} else if (check(TokenType::KW_CONNECTION)) {
ASSIGN_OR_RETURN_IF_ERR(pin.connection, parsePinConnection());
2022-03-29 19:31:45 +00:00
} else {
return unexpected();
}
}
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
return spanner(pin);
}
/****************************************************************************
*
2022-03-29 21:49:32 +00:00
* PinConnectionNode := "@connection " + ("check_only" | "automatically") + "(" + MESSAGE + ")"
2022-03-29 19:31:45 +00:00
*
****************************************************************************/
2022-03-29 21:49:32 +00:00
PResult<PinConnectionNode> ComdelParser::parsePinConnection() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-29 21:49:32 +00:00
PinConnectionNode connection{};
2022-03-29 19:31:45 +00:00
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::KW_CONNECTION);
2022-03-29 19:31:45 +00:00
if(check(TokenType::IDENTIFIER)) {
auto type = parseIdentifier();
if(type.value().value == "check_only") {
2022-03-29 21:49:32 +00:00
connection.type = PinConnectionNode::CHECK_ONLY;
2022-03-29 21:08:55 +00:00
} else if(type.value().value == "automatically") {
2022-03-29 21:49:32 +00:00
connection.type = PinConnectionNode::AUTOMATICALLY;
2022-03-29 19:31:45 +00:00
} else {
return PError(SourceError{current().span, "expected identifiers 'check_only' or 'automatically'"});
}
} else {
return PError(SourceError{current().span, "expected identifiers 'check_only' or 'automatically'"});
}
RETURN_IF_NOT_TOKEN(TokenType::LPAREN);
ASSIGN_OR_RETURN_IF_ERR(connection.message, parseString());
RETURN_IF_NOT_TOKEN(TokenType::RPAREN);
return spanner(connection);
}
/****************************************************************************
*
2022-03-29 21:49:32 +00:00
* AttributeNode := "@attribute " + NAME + TYPE ("default" + VALUE){0,1} ("{" POPUP "}"){0,1}
2022-03-29 19:31:45 +00:00
*
****************************************************************************/
2022-03-29 21:49:32 +00:00
PResult<AttributeNode> ComdelParser::parseAttribute() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-29 21:49:32 +00:00
AttributeNode attribute;
2022-03-29 19:31:45 +00:00
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::KW_ATTRIBUTE);
2022-03-29 19:31:45 +00:00
if(check(TokenType::IDENTIFIER)) {
ASSIGN_OR_RETURN_IF_ERR(attribute.name, parseIdentifier());
} else {
return unexpected();
}
2022-03-29 21:08:55 +00:00
if(check(TokenType::INT_TYPE)) {
2022-03-31 21:20:41 +00:00
attribute.type = ValueNode::INT;
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::STRING_TYPE)) {
2022-03-31 21:20:41 +00:00
attribute.type = ValueNode::STRING;
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::BOOL_TYPE)) {
2022-03-31 21:20:41 +00:00
attribute.type = ValueNode::BOOL;
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::WIRE_TYPE)) {
2022-04-05 21:48:07 +00:00
attribute.type = ValueNode::WIRE;
2022-03-29 19:31:45 +00:00
} else {
2022-03-29 21:08:55 +00:00
return unexpected();
2022-03-29 19:31:45 +00:00
}
bump();
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::DEFAULT);
2022-03-31 21:20:41 +00:00
if(attribute.type == ValueNode::BOOL) {
2022-03-29 21:08:55 +00:00
if(check(TokenType::TRUE)) {
2022-03-31 21:20:41 +00:00
attribute.defaultValue = ValueNode::ofBool(true);
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::FALSE)) {
2022-03-31 21:20:41 +00:00
attribute.defaultValue = ValueNode::ofBool(false);
2022-03-29 19:31:45 +00:00
} else {
2022-03-29 21:08:55 +00:00
return unexpected();
2022-03-29 19:31:45 +00:00
}
2022-03-31 21:20:41 +00:00
} else if(attribute.type == ValueNode::INT) {
2022-03-29 19:31:45 +00:00
if(check(TokenType::NUMBER)) {
auto number = parseNumber();
2022-03-31 21:20:41 +00:00
attribute.defaultValue = ValueNode::ofInt(number->value);
2022-03-29 19:31:45 +00:00
} else {
2022-03-29 21:08:55 +00:00
return unexpected();
2022-03-29 19:31:45 +00:00
}
2022-03-31 21:20:41 +00:00
} else if(attribute.type == ValueNode::STRING) {
2022-03-29 19:31:45 +00:00
if(check(TokenType::STRING)) {
auto string = parseString();
2022-04-05 21:48:07 +00:00
attribute.defaultValue = ValueNode::ofString(string->asString());
2022-03-29 19:31:45 +00:00
} else {
2022-03-29 21:08:55 +00:00
return unexpected();
2022-03-29 19:31:45 +00:00
}
2022-03-31 21:20:41 +00:00
} else if(attribute.type == ValueNode::IDENTIFIER) {
2022-03-29 19:31:45 +00:00
if(check(TokenType::IDENTIFIER)) {
auto identifier = parseIdentifier();
2022-03-31 21:20:41 +00:00
attribute.defaultValue = ValueNode::ofIdentifier(identifier->value);
2022-03-29 19:31:45 +00:00
} else {
2022-03-29 21:08:55 +00:00
return unexpected();
2022-03-29 19:31:45 +00:00
}
2022-04-05 21:48:07 +00:00
} else if(attribute.type == ValueNode::WIRE) {
if(check(TokenType::IDENTIFIER)) {
auto identifier = parseIdentifier();
attribute.defaultValue = ValueNode::ofWire(identifier->value);
} else {
return unexpected();
}
2022-03-29 19:31:45 +00:00
}
if(check(TokenType::LBRACE)) {
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
2022-03-31 21:20:41 +00:00
PopupNode popup;
2022-03-29 19:31:45 +00:00
2022-03-29 21:08:55 +00:00
if(!check(TokenType::KW_POPUP)) {
return unexpected();
2022-03-29 19:31:45 +00:00
}
ASSIGN_OR_RETURN_IF_ERR(popup, parsePopup());
2022-03-31 21:20:41 +00:00
attribute.popup = std::optional<PopupNode>(popup);
2022-03-29 19:31:45 +00:00
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
}
return spanner(attribute);
}
/****************************************************************************
*
* Enumeration
*
****************************************************************************/
PResult<EnumerationNode> ComdelParser::parseEnumeration() {
auto spanner = getSpanner();
StringNode key;
2022-03-29 21:08:55 +00:00
2022-03-29 19:31:45 +00:00
ASSIGN_OR_RETURN_IF_ERR(key, parseString());
RETURN_IF_NOT_TOKEN(TokenType::EQUALS);
2022-03-31 21:20:41 +00:00
ValueNode value;
2022-03-29 21:08:55 +00:00
ASSIGN_OR_RETURN_IF_ERR(value, parseValue());
2022-03-29 19:31:45 +00:00
EnumerationNode node;
node.key = key;
node.value = value;
return spanner(node);
}
/****************************************************************************
*
2022-03-31 21:20:41 +00:00
* PopupNode := "@popup " + ("automatic" | "on_demand") { POPUP BODY }
2022-03-29 19:31:45 +00:00
*
****************************************************************************/
2022-03-31 21:20:41 +00:00
PResult<PopupNode> ComdelParser::parsePopup() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-31 21:20:41 +00:00
PopupNode popup;
2022-03-29 19:31:45 +00:00
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::KW_POPUP);
2022-03-29 19:31:45 +00:00
if(check(TokenType::IDENTIFIER)) {
auto type = parseIdentifier();
if(type.value().value == "automatic") {
2022-03-31 21:20:41 +00:00
popup.type = PopupNode::AUTOMATIC;
2022-03-29 19:31:45 +00:00
} else if(type.value().value == "on_demand") {
2022-03-31 21:20:41 +00:00
popup.type = PopupNode::ON_DEMAND;
2022-03-29 19:31:45 +00:00
} else {
return PError(SourceError{current().span, "expected type 'automatic', 'on_demand'"});
}
} else {
2022-03-31 21:20:41 +00:00
popup.type = PopupNode::ON_DEMAND;
2022-03-29 19:31:45 +00:00
}
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(!check(TokenType::RBRACE)) {
2022-03-29 21:08:55 +00:00
if(check(TokenType::KW_TITLE)) {
2022-03-29 19:31:45 +00:00
bump();
2022-03-29 21:08:55 +00:00
ASSIGN_OR_RETURN_IF_ERR(popup.title, parseString());
} else if(check(TokenType::KW_TEXT)) {
bump();
ASSIGN_OR_RETURN_IF_ERR(popup.text, parseString());
} else if(check(TokenType::KW_RULE)) {
APPEND_OR_RETURN_IF_ERR(popup.rules, parseRule());
} else if(check(TokenType::KW_ENUMERATED)) {
bump();
popup.enumerated = true;
ASSIGN_OR_RETURN_IF_ERR(popup.enumeration,
parseList<EnumerationNode>(
std::optional<TokenType>(TokenType::LBRACE),
TokenType::RBRACE,
std::optional<TokenType>(TokenType::COMMA),
true,
[this]{ return parseEnumeration();}
)
);
2022-03-29 19:31:45 +00:00
} else {
return unexpected();
}
}
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
return spanner(popup);
}
/****************************************************************************
*
2022-03-29 21:49:32 +00:00
* ConnectionNode := "@connection (" + COMPONENT + "." + PIN + "," + BUS) {" + CONNECTION + "}"
2022-03-29 19:31:45 +00:00
*
****************************************************************************/
2022-03-29 21:49:32 +00:00
PResult<ConnectionNode> ComdelParser::parseConnection() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-29 21:49:32 +00:00
ConnectionNode connection;
2022-03-29 19:31:45 +00:00
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::KW_CONNECTION);
2022-03-29 19:31:45 +00:00
RETURN_IF_NOT_TOKEN(TokenType::LPAREN);
ASSIGN_OR_RETURN_IF_ERR(connection.component, parseIdentifier());
RETURN_IF_NOT_TOKEN(TokenType::DOT);
ASSIGN_OR_RETURN_IF_ERR(connection.pin, parseIdentifier());
RETURN_IF_NOT_TOKEN(TokenType::COMMA);
ASSIGN_OR_RETURN_IF_ERR(connection.bus, parseIdentifier());
RETURN_IF_NOT_TOKEN(TokenType::RPAREN);
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(!check(TokenType::RBRACE)) {
2022-03-29 21:08:55 +00:00
if (check(TokenType::KW_ATTRIBUTE)) {
APPEND_OR_RETURN_IF_ERR(connection.attributes, parseAttribute());
} else if(check(TokenType::KW_WIRES)) {
2022-03-29 19:31:45 +00:00
bump();
2022-03-29 21:08:55 +00:00
auto wires = parseList<IdentifierNode>(std::optional<TokenType>(TokenType::LBRACE), TokenType::RBRACE, std::optional<TokenType>(TokenType::COMMA), false,
[this] { return parseIdentifier(); });
RETURN_IF_ERR(wires);
connection.wires = *wires;
2022-03-29 19:31:45 +00:00
} else {
return unexpected();
}
}
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
return spanner(connection);
}
/****************************************************************************
*
2022-03-31 21:20:41 +00:00
* RuleNode := "@rule {" + if-else statements + "}"
2022-03-29 19:31:45 +00:00
*
****************************************************************************/
2022-03-31 21:20:41 +00:00
PResult<RuleNode> ComdelParser::parseRule() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-31 21:20:41 +00:00
RuleNode rule;
2022-03-29 19:31:45 +00:00
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::KW_RULE);
2022-03-29 19:31:45 +00:00
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(!check(TokenType::RBRACE)) {
APPEND_OR_RETURN_IF_ERR(rule.statements, parseIfStatement());
2022-03-29 21:08:55 +00:00
if(check(TokenType::RBRACE)) {
break;
2022-03-29 19:31:45 +00:00
}
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::ELSE);
2022-03-29 19:31:45 +00:00
}
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
return spanner(rule);
}
/****************************************************************************
*
* IfStatement := "if(!function(params...)) { error(MESSAGE) | warning(MESSAGE) }
*
****************************************************************************/
2022-03-31 21:20:41 +00:00
PResult<IfStatementnode> ComdelParser::parseIfStatement() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-31 21:20:41 +00:00
IfStatementnode ifStatement;
2022-03-29 19:31:45 +00:00
2022-03-29 21:08:55 +00:00
RETURN_IF_NOT_TOKEN(TokenType::IF);
2022-03-29 19:31:45 +00:00
RETURN_IF_NOT_TOKEN(TokenType::LPAREN);
if(check(TokenType::NOT)) {
ifStatement.condition.negated = true;
bump();
} else {
ifStatement.condition.negated = false;
}
ASSIGN_OR_RETURN_IF_ERR(ifStatement.condition.functionName, parseIdentifier());
2022-03-31 21:20:41 +00:00
ASSIGN_OR_RETURN_IF_ERR(ifStatement.condition.params, parseList<ValueNode>(std::optional<TokenType>(TokenType::LPAREN),
2022-03-29 19:31:45 +00:00
TokenType::RPAREN,
TokenType::COMMA,
false,
[this]{return parseValue();}
));
RETURN_IF_NOT_TOKEN(TokenType::RPAREN);
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
2022-03-29 21:08:55 +00:00
if(check(TokenType::ERROR)) {
2022-03-31 21:20:41 +00:00
ifStatement.action.type = ActionNode::ERROR;
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::WARNING)) {
2022-03-31 21:20:41 +00:00
ifStatement.action.type = ActionNode::WARNING;
2022-03-29 21:08:55 +00:00
} else {
return unexpected();
2022-03-29 19:31:45 +00:00
}
2022-03-29 21:08:55 +00:00
bump();
2022-03-29 19:31:45 +00:00
RETURN_IF_NOT_TOKEN(TokenType::LPAREN);
ASSIGN_OR_RETURN_IF_ERR(ifStatement.action.message, parseString());
RETURN_IF_NOT_TOKEN(TokenType::RPAREN);
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
return spanner(ifStatement);
}
2022-03-31 21:20:41 +00:00
PResult<ValueNode> ComdelParser::parseValue() {
2022-03-29 19:31:45 +00:00
auto spanner = getSpanner();
2022-03-31 21:20:41 +00:00
ValueNode value;
2022-03-29 19:31:45 +00:00
if(check(TokenType::IDENTIFIER)) {
2022-03-31 21:20:41 +00:00
value = ValueNode::ofIdentifier(parseIdentifier()->value);
2022-03-29 19:31:45 +00:00
} else if(check(TokenType::STRING)) {
2022-04-05 21:48:07 +00:00
value = ValueNode::ofString(parseString()->asString());
2022-03-29 19:31:45 +00:00
} else if(check(TokenType::NUMBER)) {
2022-03-31 21:20:41 +00:00
value = ValueNode::ofInt(parseNumber()->value);
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::TRUE)) {
2022-03-31 21:20:41 +00:00
value = ValueNode::ofBool(true);
2022-03-29 21:08:55 +00:00
} else if(check(TokenType::FALSE)) {
2022-03-31 21:20:41 +00:00
value = ValueNode::ofBool(false);
2022-03-29 21:08:55 +00:00
} else {
return unexpected();
2022-03-29 19:31:45 +00:00
}
2022-03-31 21:20:41 +00:00
//return spanner(value);
return value;
2022-03-29 19:31:45 +00:00
}
2022-03-31 21:20:41 +00:00
std::optional<SchemaNode> ComdelParser::parseSchema() {
auto spanner = getSpanner();
SchemaNode schema{};
if(check(TokenType::KW_SOURCE)) {
bump();
if(check(TokenType::STRING)) {
auto source = parseString();
schema.source = *source;
} else {
errors.push_back(SourceError{current().span, "expected `@source`"});
return std::nullopt;
}
} else {
errors.push_back(SourceError{current().span, "expected `@source`"});
return std::nullopt;
}
if(!check(TokenType::KW_SCHEMA)) {
errors.push_back(SourceError{current().span, "expected `@schema`"});
return std::nullopt;
}
bump();
if(!check(TokenType::LBRACE)) {
errors.push_back(SourceError{current().span, "expected `{`"});
return std::nullopt;
}
bump();
while ( ! check(TokenType::RBRACE) ) {
PResult<poly<AstNode>> err;
if(check(TokenType::KW_INSTANCE)){
APPEND_OR_SET_ERR(schema.instances, parseInstance());
} else if(check(TokenType::KW_WIRE)) {
APPEND_OR_SET_ERR(schema.wires, parseWireInstance());
} else if(check(TokenType::KW_CONNECTION)) {
APPEND_OR_SET_ERR(schema.connections, parseConnectionInstance());
} else {
err = unexpected();
}
if(!err.has_value()) {
errors.push_back(err.error());
break;
}
}
if(!check(TokenType::RBRACE)) {
errors.push_back(SourceError{current().span, "expected `}`"});
return std::nullopt;
} else {
bump();
}
if(!check(TokenType::END_OF_FILE)) {
errors.push_back(SourceError{current().span, "expected `EOF`"});
}
if (errors.size())
return std::nullopt;
return spanner(schema);
}
PResult<WireInstanceNode> ComdelParser::parseWireInstance() {
auto spanner = getSpanner();
WireInstanceNode wireInstance;
RETURN_IF_NOT_TOKEN(TokenType::KW_WIRE);
ASSIGN_OR_RETURN_IF_ERR(wireInstance.name, parseIdentifier());
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(!check(TokenType::RBRACE)) {
if(check(TokenType::KW_POSITION)) {
ASSIGN_OR_RETURN_IF_ERR(wireInstance.position, parsePosition());
} else if(check(TokenType::KW_DISPLAY)) {
ASSIGN_OR_RETURN_IF_ERR(wireInstance.display, parseDisplay());
} else {
return unexpected();
}
}
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
return spanner(wireInstance);
}
/****************************************************************************
*
* CountNode := "@position (" + NumberNode + "," + NumberNode + ")"
*
****************************************************************************/
PResult<CountNode> ComdelParser::parsePosition()
{
auto spanner = getSpanner();
RETURN_IF_NOT_TOKEN(TokenType::KW_POSITION);
RETURN_IF_NOT_TOKEN(TokenType::LPAREN);
auto first = parseNumber();
if(!first.has_value()) {
return PError(first.error());
}
RETURN_IF_NOT_TOKEN(TokenType::COMMA);
auto second = parseNumber();
if(!second.has_value()) {
return PError(second.error());
}
RETURN_IF_NOT_TOKEN(TokenType::RPAREN);
return spanner(CountNode{first.value(), second.value()});
}
PResult<InstanceNode> ComdelParser::parseInstance() {
auto spanner = getSpanner();
RETURN_IF_NOT_TOKEN(TokenType::KW_INSTANCE);
InstanceNode instance;
ASSIGN_OR_RETURN_IF_ERR(instance.name, parseIdentifier());
ASSIGN_OR_RETURN_IF_ERR(instance.component, parseIdentifier());
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(!check(TokenType::RBRACE)) {
if(check(TokenType::KW_POSITION)) {
ASSIGN_OR_RETURN_IF_ERR(instance.position, parsePosition());
} else if(check(TokenType::KW_ATTRIBUTE)) {
APPEND_OR_RETURN_IF_ERR(instance.attributes, parseInstanceAttribute());
} else if(check(TokenType::KW_SIZE)) {
bump();
auto number = parseNumber();
RETURN_IF_ERR(number);
instance.size = *number;
} else {
return unexpected();
}
}
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
2022-03-29 19:31:45 +00:00
2022-03-31 21:20:41 +00:00
return spanner(instance);
}
PResult<InstanceAttributeNode> ComdelParser::parseInstanceAttribute() {
auto spanner = getSpanner();
RETURN_IF_NOT_TOKEN(TokenType::KW_ATTRIBUTE);
InstanceAttributeNode attribute;
ASSIGN_OR_RETURN_IF_ERR(attribute.name, parseIdentifier());
ASSIGN_OR_RETURN_IF_ERR(attribute.value, parseValue());
return spanner(attribute);
}
PResult<ConnectionInstanceNode> ComdelParser::parseConnectionInstance() {
auto spanner = getSpanner();
RETURN_IF_NOT_TOKEN(TokenType::KW_CONNECTION);
ConnectionInstanceNode connection;
2022-03-29 19:31:45 +00:00
2022-03-31 21:20:41 +00:00
RETURN_IF_NOT_TOKEN(TokenType::LPAREN);
ASSIGN_OR_RETURN_IF_ERR(connection.instance, parseIdentifier());
RETURN_IF_NOT_TOKEN(TokenType::DOT);
ASSIGN_OR_RETURN_IF_ERR(connection.pin, parseIdentifier());
RETURN_IF_NOT_TOKEN(TokenType::COMMA);
ASSIGN_OR_RETURN_IF_ERR(connection.bus, parseIdentifier());
RETURN_IF_NOT_TOKEN(TokenType::RPAREN);
RETURN_IF_NOT_TOKEN(TokenType::LBRACE);
while(!check(TokenType::RBRACE)) {
if(check(TokenType::KW_WIRE)) {
bump();
ASSIGN_OR_RETURN_IF_ERR(connection.wire, parseIdentifier());
} else if(check(TokenType::KW_ATTRIBUTE)) {
APPEND_OR_RETURN_IF_ERR(connection.attributes, parseInstanceAttribute());
} else {
return unexpected();
}
}
RETURN_IF_NOT_TOKEN(TokenType::RBRACE);
return spanner(connection);
}
2022-03-29 19:31:45 +00:00