@mpeggroup/mpeg-sdl-parser 4.0.0

package/tests/analyser/test-cases/array_definition.txt

@@ -0,0 +1,50 @@
+# Simple
+
+class A {int(3) a[3];}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      a VARIABLE INTEGER []
+    a VARIABLE INTEGER []
+
+
+# Reserved multiple dimensions with mixed explicit and partial dimensions
+
+class MyClass{}
+class A {reserved MyClass a[3][[2]];}
+
+==>
+
+[GLOBAL]:
+  MyClass CLASS
+  A CLASS
+  [CLASS] MyClass:
+  [CLASS] A:
+    members:
+      a VARIABLE (class: MyClass) []
+    a VARIABLE (class: MyClass) []
+
+
+# Implicit dimension
+
+class MyClass{}
+class A {MyClass a[1..3];}
+
+==>
+
+[GLOBAL]:
+  MyClass CLASS
+  A CLASS
+  [CLASS] MyClass:
+  [CLASS] A:
+    members:
+      a VARIABLE (class: MyClass) []
+    a VARIABLE (class: MyClass) []
+
+errors:
+
+SEMANTIC ERROR: Implicit arrays can only contain classes which have a classId defined.

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

@@ -0,0 +1,112 @@
+# Simple class declaration
+
+class A{}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+
+# Single parameter with single id
+
+class A(int a) {}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      a VARIABLE INTEGER
+    a VARIABLE INTEGER
+
+errors:
+
+SEMANTIC ERROR: A parameter in a parameter list must be referenced within the class declaration.
+
+# All features
+
+class C{}
+aligned(8) expandable(20) abstract class A (int a, B b) extends C(1, d) : bit(3) id=1..2,5 {}
+
+==>
+
+[GLOBAL]:
+  C CLASS
+  A CLASS
+  [CLASS] C:
+  [CLASS] A:
+    members:
+      sizeOfInstance VARIABLE INTEGER COMPUTED CONST
+      a VARIABLE INTEGER
+      b VARIABLE (class: B)
+    sizeOfInstance VARIABLE INTEGER COMPUTED CONST
+    a VARIABLE INTEGER
+    b VARIABLE (class: B)
+
+errors:
+
+SEMANTIC ERROR: Identifier: d is not declared
+SEMANTIC ERROR: Because the class is expandable, it has an encoded sizeOfInstance value therefore it cannot be abstract.
+SEMANTIC ERROR: A parameter in a parameter list must be referenced within the class declaration.
+SEMANTIC ERROR: A parameter in a parameter list must be referenced within the class declaration.
+SEMANTIC ERROR: The alignment of a class which extends another must not differ from the alignment of the base class.
+
+# maxClassSize must be positive
+
+expandable(0) class A {}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      sizeOfInstance VARIABLE INTEGER COMPUTED CONST
+    sizeOfInstance VARIABLE INTEGER COMPUTED CONST
+
+errors:
+
+SEMANTIC ERROR: maxClassSize must be a positive integer
+
+
+# Expandable class cannot be abstract
+
+expandable(20) abstract class A {}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      sizeOfInstance VARIABLE INTEGER COMPUTED CONST
+    sizeOfInstance VARIABLE INTEGER COMPUTED CONST
+
+errors:
+
+SEMANTIC ERROR: Because the class is expandable, it has an encoded sizeOfInstance value therefore it cannot be abstract.
+
+
+# Unreferenced parameter
+
+class A(int a, int b) {int(8) c = a;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      a VARIABLE INTEGER
+      b VARIABLE INTEGER
+      c VARIABLE INTEGER
+    a VARIABLE INTEGER
+    b VARIABLE INTEGER
+    c VARIABLE INTEGER
+
+errors:
+
+SEMANTIC ERROR: A parameter in a parameter list must be referenced within the class declaration.

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

@@ -0,0 +1,60 @@
+# Simple
+
+class ClassA {}
+class A {ClassA a;}
+
+==>
+
+[GLOBAL]:
+  ClassA CLASS
+  A CLASS
+  [CLASS] ClassA:
+  [CLASS] A:
+    members:
+      a VARIABLE (class: ClassA)
+    a VARIABLE (class: ClassA)
+
+
+# Legacy and one parameter value
+
+class ClassB(int a) {}
+class A {legacy ClassB b(3);}
+
+==>
+
+[GLOBAL]:
+  ClassB CLASS
+  A CLASS
+  [CLASS] ClassB:
+    members:
+      a VARIABLE INTEGER
+    a VARIABLE INTEGER
+  [CLASS] A:
+    members:
+      b VARIABLE (class: ClassB)
+    b VARIABLE (class: ClassB)
+
+errors:
+
+SEMANTIC ERROR: A parameter in a parameter list must be referenced within the class declaration.
+
+# Multiple parameter values
+
+class ClassC {}
+class A {ClassC c(i, 3);}
+
+==>
+
+[GLOBAL]:
+  ClassC CLASS
+  A CLASS
+  [CLASS] ClassC:
+  [CLASS] A:
+    members:
+      c VARIABLE (class: ClassC)
+    c VARIABLE (class: ClassC)
+
+errors:
+
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Class 'ClassC' does not expect parameters, but 2 provided

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

@@ -0,0 +1,63 @@
+# Simple
+
+class A {{utf8string foo;utf8string bar;}}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      foo VARIABLE UCS (branch: COMPOUND)
+      bar VARIABLE UCS (branch: COMPOUND)
+    [BLOCK] COMPOUND:
+      foo VARIABLE UCS
+      bar VARIABLE UCS
+
+
+# Nested compound statements
+
+class A {{utf8string foo;{ utf8string bar1;utf8string bar2;}}}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      foo VARIABLE UCS (branch: COMPOUND)
+      bar1 VARIABLE UCS (branch: COMPOUND/COMPOUND)
+      bar2 VARIABLE UCS (branch: COMPOUND/COMPOUND)
+    [BLOCK] COMPOUND:
+      foo VARIABLE UCS
+      [BLOCK] COMPOUND:
+        bar1 VARIABLE UCS
+        bar2 VARIABLE UCS
+
+
+# Multiple nested compound statements
+
+class A {{utf8string foo;{ utf8string bar1;utf8string bar2;}}{utf8string fooi;{ utf8string bar1i;utf8string bar2i;}}}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      foo VARIABLE UCS (branch: COMPOUND)
+      bar1 VARIABLE UCS (branch: COMPOUND/COMPOUND)
+      bar2 VARIABLE UCS (branch: COMPOUND/COMPOUND)
+      fooi VARIABLE UCS (branch: COMPOUND#1)
+      bar1i VARIABLE UCS (branch: COMPOUND#1/COMPOUND)
+      bar2i VARIABLE UCS (branch: COMPOUND#1/COMPOUND)
+    [BLOCK] COMPOUND:
+      foo VARIABLE UCS
+      [BLOCK] COMPOUND:
+        bar1 VARIABLE UCS
+        bar2 VARIABLE UCS
+    [BLOCK] COMPOUND#1:
+      fooi VARIABLE UCS
+      [BLOCK] COMPOUND:
+        bar1i VARIABLE UCS
+        bar2i VARIABLE UCS

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

@@ -0,0 +1,12 @@
+# Simple
+
+class A {computed int a[3];}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      a VARIABLE INTEGER COMPUTED []
+    a VARIABLE INTEGER COMPUTED []

package/tests/analyser/test-cases/computed_elementary_type_definition.txt

@@ -0,0 +1,39 @@
+# Simple
+
+class A {computed int a;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      a VARIABLE INTEGER COMPUTED
+    a VARIABLE INTEGER COMPUTED
+
+
+# Const and value
+
+class A {computed const int a=3;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      a VARIABLE INTEGER COMPUTED CONST
+    a VARIABLE INTEGER COMPUTED CONST
+
+# Const computed value must be defined
+
+computed const int a;
+
+==>
+
+[GLOBAL]:
+  a VARIABLE INTEGER COMPUTED CONST
+
+errors:
+
+SEMANTIC ERROR: a: const computed elementary type definition must have a value specified

package/tests/analyser/test-cases/do_statement.txt

@@ -0,0 +1,16 @@
+# Simple
+
+class A {do {i++;} while (i<3);}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    [BLOCK] DO:
+      [BLOCK] COMPOUND:
+
+errors:
+
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: i is not declared

package/tests/analyser/test-cases/elementary_type_definition.txt

@@ -0,0 +1,58 @@
+# Simple
+
+class A{int(3) a;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      a VARIABLE INTEGER
+    a VARIABLE INTEGER
+
+
+# Legacy, const, aligned, lookahead value range
+
+class A{legacy const aligned(8) unsigned int(7)* a=3..i;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      a VARIABLE INTEGER CONST
+    a VARIABLE INTEGER CONST
+
+errors:
+
+SEMANTIC ERROR: Identifier: i is not declared
+
+
+# Default aligned
+
+class A {aligned int(2) a;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      a VARIABLE INTEGER
+    a VARIABLE INTEGER
+
+
+# Explicit aligned bit count
+
+class A {aligned(16) int(2) a;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    members:
+      a VARIABLE INTEGER
+    a VARIABLE INTEGER

package/tests/analyser/test-cases/expression.txt

@@ -0,0 +1,159 @@
+# Number literal with unary plus operator
+
+class A {+1;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+
+# Identifier with unary negation operator
+
+class A {-i;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+errors:
+
+SEMANTIC ERROR: Identifier: i is not declared
+
+
+# Lengthof operator with unary negation
+
+class A {-lengthof(i);}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+errors:
+
+SEMANTIC ERROR: Identifier: i is not declared
+
+
+# Postfix operator
+
+class A {i++;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+errors:
+
+SEMANTIC ERROR: Identifier: i is not declared
+
+
+# Class member access expression
+
+class A {a.b;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+errors:
+
+SEMANTIC ERROR: Identifier: a is not declared
+
+
+# Class member access expression - multiple
+
+class A {a.b.c;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+errors:
+
+SEMANTIC ERROR: Identifier: a is not declared
+
+
+# Array element access expression
+
+class A {a[1];}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+errors:
+
+SEMANTIC ERROR: Identifier: a is not declared
+
+
+# Array element access expression multiple
+
+class A {a[1][2];}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+errors:
+
+SEMANTIC ERROR: Identifier: a is not declared
+
+
+# Class member access expression with postfix operator
+
+class A {a.b++;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+errors:
+
+SEMANTIC ERROR: Identifier: a is not declared
+
+
+# Array element access expression with postfix operator
+
+class A {a[1]++;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+errors:
+
+SEMANTIC ERROR: Identifier: a is not declared
+
+
+# Class member and array element access expression - multiple mixed
+
+class A {a[1][2].b.c[3];}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+
+errors:
+
+SEMANTIC ERROR: Identifier: a is not declared

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

@@ -0,0 +1,55 @@
+# First expression is expression
+
+class A {for (i=1;i<9;i++) {j++;}}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    [BLOCK] FOR:
+      [BLOCK] COMPOUND:
+
+errors:
+
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: j is not declared
+
+
+# First expression is computed elementary type definition
+
+class A {for (computed int i=1;i<9;i++) {j++;}}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    [BLOCK] FOR:
+      i VARIABLE INTEGER COMPUTED
+      [BLOCK] COMPOUND:
+
+errors:
+
+SEMANTIC ERROR: Identifier: j is not declared
+
+
+# First expression is empty
+
+class A {for (;i<9;i++) {j++;}}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    [BLOCK] FOR:
+      [BLOCK] COMPOUND:
+
+errors:
+
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: j is not declared

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

@@ -0,0 +1,57 @@
+# With braces in clauses
+
+class A {if(i==1){i++;}else if(i==2){i--;}else{j++;}}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    [BLOCK] COMPOUND:
+    [BLOCK] COMPOUND#1:
+    [BLOCK] COMPOUND#2:
+
+errors:
+
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: j is not declared
+
+
+# No braces and no else if clause
+
+class A {if(i==1)i++;else j++;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    [BLOCK] COMPOUND:
+    [BLOCK] COMPOUND#1:
+
+errors:
+
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: i is not declared
+SEMANTIC ERROR: Identifier: j is not declared
+
+
+# Two if statements
+
+class A{if(x)1;if(y)2;}
+
+==>
+
+[GLOBAL]:
+  A CLASS
+  [CLASS] A:
+    [BLOCK] COMPOUND:
+    [BLOCK] COMPOUND#1:
+
+errors:
+
+SEMANTIC ERROR: Identifier: x is not declared
+SEMANTIC ERROR: Identifier: y is not declared