I described in a previous post how I was trying to parse Matlab code. I’ve given up on this endeavour because it is way too much work (we designated a Matlab compiler as a last resort to get everything stand-alone, we will require Matlab in our project to speed up development).<\/p>\n
I will however provide my incomplete and broken grammar, as promised. I hope somebody can use this later on as we have dropped the compiler approach completely.<\/p>\n
On a side note, we figured out why nobody has a complete grammar for Matlab: its too darn difficult – if you manage to somehow describe the syntax, implementing it (type checking and internal Matlab functions for example) will be a heck of a lot of work. But it can be done, that much is obvious by now. <\/p>\n
matlab.g<\/p>\n
\/\/ Simple grammar for interpreting Matlab files for the MDDP project.
\/\/ Written by Berend Dekens
\/\/
\/\/ Note: this part of the project is abandoned and will not be completed. The grammar is mostly working in Antlr except
\/\/ for some dodgy errors. If you find this usefull and\/or manage to fix the parser errors, please let me know so I can
\/\/ fix the problems.
\/\/
\/\/ Known limitations:
\/\/ - No function calls without parenthesis
\/\/\tMatlab allows function calls in the form of 'function_name arguments'. This is annoying and thus not allowed.
\/\/ - No functions calls (period)
\/\/\tCurrently we do not allow function calls at all. Implementing this means supporting a large portion of basic
\/\/\tMatlab functions and support for declaring new functions across files. This is beyond the scope of this project.
\/\/ - No characters or strings in variables
\/\/\tOur application is matrices and vectors (integers). Boolean logic is included for the sake of logic blocks and loops.
\/\/
grammar simplematlab;
options {
\toutput=AST;
\tbacktrack=true;
}
\/\/ Grammar rules below, start the grammar with a list of statements
statementList
: statement (lineSep+ statementList? )?
;
lineSep
: ';' | '\\n' | ','
;
statement
: 'if' parExpression statementList ( lineSep 'elseif' parExpression statementList)* ('else' statementList)? lineSep 'end'
| 'for' Identifier '=' (Identifier | integerLiteral) ':' (Identifier | integerLiteral) (':' (Identifier | integerLiteral))? statementList 'end'
| parExpression
;
\/\/ Expressions
parExpression
: '(' expression ')'
| expression
;
expression
: conditionalOrExpression (assignmentOperator expression)?
| '(' conditionalOrExpression (assignmentOperator expression)? ')'
;
assignmentOperator
: '='
| '+='
| '-='
| '*='
| '\/='
;
conditionalOrExpression
: conditionalAndExpression ( '||' conditionalAndExpression )*
;
conditionalAndExpression
: equalityExpression ( '&&' equalityExpression )*
;
equalityExpression
: relationalExpression ( ('==' | '!=') relationalExpression )*
;
relationalExpression
: additiveExpression ( relationalOp additiveExpression )*
;
relationalOp
: '<='
| '>='
| '<'
| '>'
;
additiveExpression
: multiplicativeExpression ( ('+' | '-') multiplicativeExpression )*
;
multiplicativeExpression
: unaryExpressionNotPlusMinus ( ( '*' | '\/' ) unaryExpressionNotPlusMinus )*
;
unaryExpressionNotPlusMinus
: '~' unaryExpressionNotPlusMinus
| '!' unaryExpressionNotPlusMinus
| primary ('++'|'--')?
;
primary
: parExpression
| literal
| Identifier (identifierSuffix)?
;
literal
: integerLiteral
| booleanLiteral
| 'null'
;
integerLiteral
: Digit+
;
booleanLiteral
: 'true'
| 'false'
;
identifierSuffix
: ('[' ']')+ '.' 'class'
| ('[' expression ']')+ \/\/ can also be matched by selector, but do here
| arguments
;
expressionList
: expression (',' expression)*
;
arguments
: '(' expressionList? ')'
;
Identifier
: Letter (Letter | Digit)*
;
Letter\t: 'a'..'z' | 'A'..'Z';
Digit\t: '0'..'9';
<\/pre>\n<\/p>\n","protected":false},"excerpt":{"rendered":"
I described in a previous post how I was trying to parse Matlab code. I’ve given up on this endeavour because it is way too much work (we designated a Matlab compiler as a last resort to get everything stand-alone, we will require Matlab in our project to speed up development). I will however provide […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[190,196,197,198,460,459],"class_list":["post-275","post","type-post","status-publish","format-standard","hentry","category-programming","tag-grammar","tag-matlab","tag-matlab-grammar","tag-mddp","tag-no_ok","tag-not_ok"],"views":4263,"_links":{"self":[{"href":"https:\/\/blog.cyberwizzard.nl\/index.php?rest_route=\/wp\/v2\/posts\/275","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.cyberwizzard.nl\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.cyberwizzard.nl\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.cyberwizzard.nl\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.cyberwizzard.nl\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=275"}],"version-history":[{"count":1,"href":"https:\/\/blog.cyberwizzard.nl\/index.php?rest_route=\/wp\/v2\/posts\/275\/revisions"}],"predecessor-version":[{"id":455,"href":"https:\/\/blog.cyberwizzard.nl\/index.php?rest_route=\/wp\/v2\/posts\/275\/revisions\/455"}],"wp:attachment":[{"href":"https:\/\/blog.cyberwizzard.nl\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=275"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.cyberwizzard.nl\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=275"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.cyberwizzard.nl\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=275"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}