@mpeggroup/mpeg-sdl-parser 4.0.0

package/tests/lezer/test-cases/class_declaration.txt

@@ -0,0 +1,141 @@
+# Simple class declaration
+
+class A {}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        CloseBrace
+    )
+)
+
+# Single parameter with single id
+
+class A(int a) {}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        ParameterList(
+            OpenParenthesis
+            Parameter(
+                ElementaryType(
+                    int
+                )
+                Whitespace
+                Identifier
+            )
+            CloseParenthesis
+        )
+        Whitespace
+        OpenBrace
+        CloseBrace
+    )
+)
+
+# All features
+
+aligned(8) expandable(20) abstract class A (int a, B b) extends C(1, d) : bit(3) id=1..2,5 {}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        AlignedModifier(
+            aligned
+            OpenParenthesis
+            AlignmentBitCount8
+            CloseParenthesis
+        )
+        Whitespace
+        ExpandableModifier(
+            expandable
+            OpenParenthesis
+            IntegerLiteral
+            CloseParenthesis
+        )
+        Whitespace
+        abstract
+        Whitespace
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        ParameterList(
+            OpenParenthesis
+            Parameter(
+                ElementaryType(
+                    int
+                )
+                Whitespace
+                Identifier
+            )
+            Comma
+            Whitespace
+            Parameter(
+                Identifier
+                Whitespace
+                Identifier
+            )
+            CloseParenthesis
+        )
+        Whitespace
+        ExtendsModifier(
+            extends
+            Whitespace
+            Identifier
+            ParameterValueList(
+                OpenParenthesis
+                UnaryExpression(
+                    IntegerLiteral
+                )
+                Comma
+                Whitespace
+                UnaryExpression(
+                    Identifier
+                )
+                CloseParenthesis
+            )
+        )
+        Whitespace
+        BitModifier(
+            Colon
+            Whitespace
+            bit
+            OpenParenthesis
+            IntegerLiteral
+            CloseParenthesis
+            Whitespace
+            Identifier
+            Assignment
+            ExtendedClassIdRange(
+                ClassIdRange(
+                    ClassId(
+                        IntegerLiteral
+                    )
+                    RangeOperator
+                    ClassId(
+                        IntegerLiteral
+                    )
+                )
+                Comma
+                ClassId(
+                    IntegerLiteral
+                )
+            )
+        )
+        Whitespace
+        OpenBrace
+        CloseBrace
+    )
+)

package/tests/lezer/test-cases/class_definition.txt

@@ -0,0 +1,89 @@
+# Simple
+
+class A {ClassA a;}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        ClassDefinition(
+            Identifier
+            Whitespace
+            Identifier
+            Semicolon
+        )
+        CloseBrace
+    )
+)
+
+# Legacy and one parameter value
+
+class A {legacy ClassB b(3);}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        ClassDefinition(
+            legacy
+            Whitespace
+            Identifier
+            Whitespace
+            Identifier
+            ParameterValueList(
+                OpenParenthesis
+                UnaryExpression(
+                    IntegerLiteral
+                )
+                CloseParenthesis
+            )
+            Semicolon
+        )
+        CloseBrace
+    )
+)
+
+# Multiple parameter values
+
+class A {ClassC c(i, 3);}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        ClassDefinition(
+            Identifier
+            Whitespace
+            Identifier
+            ParameterValueList(
+                OpenParenthesis
+                UnaryExpression(
+                    Identifier
+                )
+                Comma
+                Whitespace
+                UnaryExpression(
+                    IntegerLiteral
+                )
+                CloseParenthesis
+            )
+            Semicolon
+        )
+        CloseBrace
+    )
+)

package/tests/lezer/test-cases/comment.txt

@@ -0,0 +1,335 @@
+# Simple commant
+
+// hello world
+class A {}
+
+==>
+
+Specification(
+    Comment
+    Whitespace
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        CloseBrace
+    )
+)
+
+# Leading and trailing comments
+
+// hello
+class A {// world
+}// again
+
+==>
+
+Specification(
+    Comment
+    Whitespace
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        Comment
+        Whitespace
+        CloseBrace
+    )
+    Comment
+)
+
+
+# More leading and trailing comments
+
+class A{// trailing 1
+i++;// trailing 2
+//leading 1
+N=N+// trailing 3
+1;}
+// trailing 4
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        OpenBrace
+        Comment
+        Whitespace
+        ExpressionStatement(
+            UnaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                PostfixIncrement
+            )
+            Semicolon
+        )
+        Comment
+        Whitespace
+        Comment
+        Whitespace
+        ExpressionStatement(
+            AssignmentExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                Assignment
+                BinaryExpression(
+                    UnaryExpression(
+                        Identifier
+                    )
+                    Addition
+                    Comment
+                    Whitespace
+                    UnaryExpression(
+                        IntegerLiteral
+                    )
+                )
+            )
+            Semicolon
+        )
+        CloseBrace
+    )
+    Whitespace
+    Comment
+)
+
+
+# Multiple comments
+
+class A {}
+// hello
+// world
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        CloseBrace
+    )
+    Whitespace
+    Comment
+    Whitespace
+    Comment
+)
+
+
+# Multiple comments and whitespace
+
+// hello
+
+// world
+
+class A {}
+
+==>
+
+Specification(
+    Comment
+    Whitespace
+    Comment
+    Whitespace
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        CloseBrace
+    )
+)
+
+
+# Comment within comment
+
+// hello // world
+class A {}
+
+==>
+
+Specification(
+    Comment
+    Whitespace
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        CloseBrace
+    )
+)
+
+# Comment at end of line
+
+class A {} // hello
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        CloseBrace
+    )
+    Whitespace
+    Comment
+)
+
+# Comment within syntax element
+
+class A {i // hello
+;}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        ExpressionStatement(
+            UnaryExpression(
+                Identifier
+            )
+            Whitespace
+            Comment
+            Whitespace
+            Semicolon
+        )
+        CloseBrace
+    )
+)
+
+# Comment within unary expression syntax element
+
+class A {i++// comment
+;}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        ExpressionStatement(
+            UnaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                PostfixIncrement
+            )
+            Comment
+            Whitespace
+            Semicolon
+        )
+        CloseBrace
+    )
+)
+
+# Comment within binary expression does not appear as child of BinaryExpression
+
+class A{N-
+1//comment comment comment
+;}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        OpenBrace
+        ExpressionStatement(
+            BinaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                Subtraction
+                Whitespace
+                UnaryExpression(
+                    IntegerLiteral
+                )
+            )
+            Comment
+            Whitespace
+            Semicolon
+        )
+        CloseBrace
+    )
+)
+
+# Comment within binary expression slightly shorter
+
+class A{N-
+1//comment comment commen
+;}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        OpenBrace
+        ExpressionStatement(
+            BinaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                Subtraction
+                Whitespace
+                UnaryExpression(
+                    IntegerLiteral
+                )
+            )
+            Comment
+            Whitespace
+            Semicolon
+        )
+        CloseBrace
+    )
+)
+
+# Leading comment
+
+class A{
+  // Le lorem ipsum est, en imprimerie, une suite de mots sans signification utilisée
+}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        OpenBrace
+        Whitespace
+        Comment
+        Whitespace
+        CloseBrace
+    )
+)

package/tests/lezer/test-cases/compound_statement.txt

@@ -0,0 +1,109 @@
+# Simple
+
+class A {{utf8string foo;utf8string bar;}}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        CompoundStatement(
+            OpenBrace
+            StringDefinition(
+                utf8string
+                Whitespace
+                Identifier
+                Semicolon
+            )
+            StringDefinition(
+                utf8string
+                Whitespace
+                Identifier
+                Semicolon
+            )
+            CloseBrace
+        )
+        CloseBrace
+    )
+)
+
+# Nested compound statements
+
+class A {{utf8string foo;{ utf8string bar1;utf8string bar2;}}}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        CompoundStatement(
+            OpenBrace
+            StringDefinition(
+                utf8string
+                Whitespace
+                Identifier
+                Semicolon
+            )
+            CompoundStatement(
+                OpenBrace
+                Whitespace
+                StringDefinition(
+                    utf8string
+                    Whitespace
+                    Identifier
+                    Semicolon
+                )
+                StringDefinition(
+                    utf8string
+                    Whitespace
+                    Identifier
+                    Semicolon
+                )
+                CloseBrace
+            )
+            CloseBrace
+        )
+        CloseBrace
+    )
+)
+
+# Compound statement with commented statement
+
+class A {{
+ utf8string bar; // bar
+ }}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        CompoundStatement(
+            OpenBrace
+            Whitespace
+            StringDefinition(
+                utf8string
+                Whitespace
+                Identifier
+                Semicolon
+            )
+            Whitespace
+            Comment
+            Whitespace
+            CloseBrace
+        )
+        CloseBrace
+    )
+)

package/tests/lezer/test-cases/computed_array_definition.txt

@@ -0,0 +1,33 @@
+# Simple
+
+class A {computed int a[3];}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        ComputedArrayDefinition(
+            computed
+            Whitespace
+            ElementaryType(
+                int
+            )
+            Whitespace
+            Identifier
+            ExplicitArrayDimension(
+                OpenBracket
+                UnaryExpression(
+                    IntegerLiteral
+                )
+                CloseBracket
+            )
+            Semicolon
+        )
+        CloseBrace
+    )
+)