@mpeggroup/mpeg-sdl-parser 4.0.0

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

@@ -0,0 +1,183 @@
+# First expression is expression
+
+class A {for (i=1;i<9;i++) {j++;}}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        ForStatement(
+            for
+            Whitespace
+            OpenParenthesis
+            AssignmentExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                Assignment
+                UnaryExpression(
+                    IntegerLiteral
+                )
+            )
+            Semicolon
+            BinaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                RelationalLessThan
+                UnaryExpression(
+                    IntegerLiteral
+                )
+            )
+            Semicolon
+            UnaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                PostfixIncrement
+            )
+            CloseParenthesis
+            Whitespace
+            CompoundStatement(
+                OpenBrace
+                ExpressionStatement(
+                    UnaryExpression(
+                        UnaryExpression(
+                            Identifier
+                        )
+                        PostfixIncrement
+                    )
+                    Semicolon
+                )
+                CloseBrace
+            )
+        )
+        CloseBrace
+    )
+)
+
+# First expression is computed elementary type definition
+
+class A {for (computed int i=1;i<9;i++) {j++;}}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        ForStatement(
+            for
+            Whitespace
+            OpenParenthesis
+            ComputedElementaryTypeDefinition(
+                computed
+                Whitespace
+                ElementaryType(
+                    int
+                )
+                Whitespace
+                Identifier
+                Assignment
+                UnaryExpression(
+                    IntegerLiteral
+                )
+                Semicolon
+            )
+            BinaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                RelationalLessThan
+                UnaryExpression(
+                    IntegerLiteral
+                )
+            )
+            Semicolon
+            UnaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                PostfixIncrement
+            )
+            CloseParenthesis
+            Whitespace
+            CompoundStatement(
+                OpenBrace
+                ExpressionStatement(
+                    UnaryExpression(
+                        UnaryExpression(
+                            Identifier
+                        )
+                        PostfixIncrement
+                    )
+                    Semicolon
+                )
+                CloseBrace
+            )
+        )
+        CloseBrace
+    )
+)
+
+# First expression is empty
+
+class A {for (;i<9;i++) {j++;}}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        ForStatement(
+            for
+            Whitespace
+            OpenParenthesis
+            Semicolon
+            BinaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                RelationalLessThan
+                UnaryExpression(
+                    IntegerLiteral
+                )
+            )
+            Semicolon
+            UnaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                PostfixIncrement
+            )
+            CloseParenthesis
+            Whitespace
+            CompoundStatement(
+                OpenBrace
+                ExpressionStatement(
+                    UnaryExpression(
+                        UnaryExpression(
+                            Identifier
+                        )
+                        PostfixIncrement
+                    )
+                    Semicolon
+                )
+                CloseBrace
+            )
+        )
+        CloseBrace
+    )
+)

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

@@ -0,0 +1,183 @@
+# With braces in clauses
+
+class A {if(i==1){i++;}else if(i==2){i--;}else{j++;}}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        IfStatement(
+            if
+            OpenParenthesis
+            BinaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                RelationalEqual
+                UnaryExpression(
+                    IntegerLiteral
+                )
+            )
+            CloseParenthesis
+            CompoundStatement(
+                OpenBrace
+                ExpressionStatement(
+                    UnaryExpression(
+                        UnaryExpression(
+                            Identifier
+                        )
+                        PostfixIncrement
+                    )
+                    Semicolon
+                )
+                CloseBrace
+            )
+            else
+            Whitespace
+            IfStatement(
+                if
+                OpenParenthesis
+                BinaryExpression(
+                    UnaryExpression(
+                        Identifier
+                    )
+                    RelationalEqual
+                    UnaryExpression(
+                        IntegerLiteral
+                    )
+                )
+                CloseParenthesis
+                CompoundStatement(
+                    OpenBrace
+                    ExpressionStatement(
+                        UnaryExpression(
+                            UnaryExpression(
+                                Identifier
+                            )
+                            PostfixDecrement
+                        )
+                        Semicolon
+                    )
+                    CloseBrace
+                )
+                else
+                CompoundStatement(
+                    OpenBrace
+                    ExpressionStatement(
+                        UnaryExpression(
+                            UnaryExpression(
+                                Identifier
+                            )
+                            PostfixIncrement
+                        )
+                        Semicolon
+                    )
+                    CloseBrace
+                )
+            )
+        )
+        CloseBrace
+    )
+)
+
+# No braces and no else if clause
+
+class A {if(i==1)i++;else j++;}
+
+==>
+
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        IfStatement(
+            if
+            OpenParenthesis
+            BinaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                RelationalEqual
+                UnaryExpression(
+                    IntegerLiteral
+                )
+            )
+            CloseParenthesis
+            ExpressionStatement(
+                UnaryExpression(
+                    UnaryExpression(
+                        Identifier
+                    )
+                    PostfixIncrement
+                )
+                Semicolon
+            )
+            else
+            Whitespace
+            ExpressionStatement(
+                UnaryExpression(
+                    UnaryExpression(
+                        Identifier
+                    )
+                    PostfixIncrement
+                )
+                Semicolon
+            )
+        )
+        CloseBrace
+    )
+)
+
+# Two if statements
+
+class A{if(x)1;if(y)2;}
+
+==>
+
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        OpenBrace
+        IfStatement(
+            if
+            OpenParenthesis
+            UnaryExpression(
+                Identifier
+            )
+            CloseParenthesis
+            ExpressionStatement(
+                UnaryExpression(
+                    IntegerLiteral
+                )
+                Semicolon
+            )
+        )
+        IfStatement(
+            if
+            OpenParenthesis
+            UnaryExpression(
+                Identifier
+            )
+            CloseParenthesis
+            ExpressionStatement(
+                UnaryExpression(
+                    IntegerLiteral
+                )
+                Semicolon
+            )
+        )
+        CloseBrace
+    )    
+)

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

@@ -0,0 +1,97 @@
+# Missing and unexpected tokens 1
+
+class A{if(a fie==1) {}}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        OpenBrace
+        IfStatement(
+            if
+            OpenParenthesis
+            UnaryExpression(
+                Identifier
+            )
+            Whitespace
+            ⚠
+        )
+        ExpressionStatement(
+            BinaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                RelationalEqual
+                UnaryExpression(
+                    IntegerLiteral
+                )
+            )
+            ⚠(
+                CloseParenthesis
+            )
+            Whitespace
+            ⚠
+        )
+        CompoundStatement(
+            OpenBrace
+            CloseBrace
+        )
+        CloseBrace
+    )
+)
+
+# Missing and unexpected tokens 2
+
+class A{if(a fie==1){}}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        OpenBrace
+        IfStatement(
+            if
+            OpenParenthesis
+            UnaryExpression(
+                Identifier
+            )
+            Whitespace
+            ⚠
+        )
+        ExpressionStatement(
+            BinaryExpression(
+                UnaryExpression(
+                    Identifier
+                )
+                RelationalEqual
+                UnaryExpression(
+                    IntegerLiteral
+                )
+            )
+            ⚠(
+                CloseParenthesis
+            )
+        )
+        CompoundStatement(
+            OpenBrace
+            CloseBrace
+        )
+        CloseBrace
+    )
+)
+
+# Single invalid token
+
+§
+
+==>
+
+Specification(
+    ⚠
+)

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

@@ -0,0 +1,152 @@
+# Elementary type output
+
+map offsets (int) {0b00,{1024},0b00,{1024}}
+
+==>
+
+Specification(
+    MapDeclaration(
+        map
+        Whitespace
+        Identifier
+        Whitespace
+        OpenParenthesis
+        ElementaryType(
+            int
+        )
+        CloseParenthesis
+        Whitespace
+        OpenBrace
+        MapEntry(
+            BinaryLiteral
+            Comma
+            AggregateOutputValue(
+                OpenBrace
+                IntegerLiteral
+                CloseBrace
+            )
+        )
+        Comma
+        MapEntry(
+            BinaryLiteral
+            Comma
+            AggregateOutputValue(
+                OpenBrace
+                IntegerLiteral
+                CloseBrace
+            )
+        )
+        CloseBrace
+    )
+)
+
+# Class output
+
+map barMap (Bar) {0b00,{1024}}
+
+==>
+
+Specification(
+    MapDeclaration(
+        map
+        Whitespace
+        Identifier
+        Whitespace
+        OpenParenthesis
+        Identifier
+        CloseParenthesis
+        Whitespace
+        OpenBrace
+        MapEntry(
+            BinaryLiteral
+            Comma
+            AggregateOutputValue(
+                OpenBrace
+                IntegerLiteral
+                CloseBrace
+            )
+        )
+        CloseBrace
+    )
+)
+
+# Nested outputs
+
+map barMap (Bar) {0b00,{1024,{1,2}}}
+
+==>
+
+Specification(
+    MapDeclaration(
+        map
+        Whitespace
+        Identifier
+        Whitespace
+        OpenParenthesis
+        Identifier
+        CloseParenthesis
+        Whitespace
+        OpenBrace
+        MapEntry(
+            BinaryLiteral
+            Comma
+            AggregateOutputValue(
+                OpenBrace
+                IntegerLiteral
+                Comma
+                AggregateOutputValue(
+                    OpenBrace
+                    IntegerLiteral
+                    Comma
+                    IntegerLiteral
+                    CloseBrace
+                )
+                CloseBrace
+            )
+        )
+        CloseBrace
+    )
+)
+
+# Escape codes
+
+map offsets (int) {0b00,{int(6)}}
+
+==>
+
+Specification(
+    MapDeclaration(
+        map
+        Whitespace
+        Identifier
+        Whitespace
+        OpenParenthesis
+        ElementaryType(
+            int
+        )
+        CloseParenthesis
+        Whitespace
+        OpenBrace
+        MapEntry(
+            BinaryLiteral
+            Comma
+            AggregateOutputValue(
+                OpenBrace
+                ElementaryTypeOutputValue(
+                    ElementaryType(
+                        int
+                    )
+                    LengthAttribute(
+                        OpenParenthesis
+                        UnaryExpression(
+                            IntegerLiteral
+                        )
+                        CloseParenthesis
+                    )
+                )
+                CloseBrace
+            )
+        )
+        CloseBrace
+    )
+)

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

@@ -0,0 +1,59 @@
+# Reserved with elementary type output
+
+class A {reserved unsigned int<Offsets> offset;}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        MapDefinition(
+            reserved
+            Whitespace
+            ElementaryType(
+                unsigned
+                Whitespace
+                int
+            )
+            RelationalLessThan
+            Identifier
+            RelationalGreaterThan
+            Whitespace
+            Identifier
+            Semicolon
+        )
+        CloseBrace
+    )
+)
+
+# Legacy with class output
+
+class A {legacy B<MapB> b;}
+
+==>
+
+Specification(
+    ClassDeclaration(
+        class
+        Whitespace
+        Identifier
+        Whitespace
+        OpenBrace
+        MapDefinition(
+            legacy
+            Whitespace
+            Identifier
+            RelationalLessThan
+            Identifier
+            RelationalGreaterThan
+            Whitespace
+            Identifier
+            Semicolon
+        )
+        CloseBrace
+    )
+)