@mpeggroup/mpeg-sdl-parser 4.1.2 → 4.1.4

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

@@ -1,159 +0,0 @@
-# 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

@@ -1,55 +0,0 @@
-# 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

@@ -1,57 +0,0 @@
-# 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

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

@@ -1,89 +0,0 @@
-# Elementary type output
-
-map offsets (int) {0b00,{1024},0b00,{1024}}
-
-==>
-
-[GLOBAL]:
-  offsets MAP INTEGER
-  [MAP] offsets:
-
-errors:
-
-SEMANTIC ERROR: Input values in a map declaration must be unique.
-
-# Class output
-
-map barMap (Bar) {0b00,{1024}}
-
-==>
-
-[GLOBAL]:
-  barMap MAP (class: Bar)
-  [MAP] barMap:
-
-errors:
-
-SEMANTIC ERROR: Class: Bar is not declared
-
-
-# Escape codes
-
-map offsets (int) {0b00,{int(6)}}
-
-==>
-
-[GLOBAL]:
-  offsets MAP INTEGER
-  [MAP] offsets:
-
-
-# Duplicate input values
-
-map offsets (int) {0b00,{1024},0b01,{2048},0b00,{4096}}
-
-==>
-
-[GLOBAL]:
-  offsets MAP INTEGER
-  [MAP] offsets:
-
-errors:
-
-SEMANTIC ERROR: Input values in a map declaration must be unique.
-
-
-# Output value count mismatch for elementary type
-
-map offsets (int) {0b00,{1024,2048}}
-
-==>
-
-[GLOBAL]:
-  offsets MAP INTEGER
-  [MAP] offsets:
-
-errors:
-
-SEMANTIC ERROR: The type and number of constituent values within the aggregate output values of the map declaration must match the corresponding constituent types within the map's output_type.
-
-
-# Map with parsable class output
-
-class Bar {int(8) x;}
-map barMap (Bar) {0b00,{1024}}
-
-==>
-
-[GLOBAL]:
-  Bar CLASS
-  barMap MAP (class: Bar)
-  [CLASS] Bar:
-    members:
-      x VARIABLE INTEGER
-    x VARIABLE INTEGER
-  [MAP] barMap:
-
-warnings:
-
-SEMANTIC WARNING: Declaring a map with an output_value consisting of a class with parsable members will result in undefined behaviour.

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

@@ -1,35 +0,0 @@
-# Reserved with elementary type output
-
-map Offsets (int) {0b00,{1024}}
-class A {reserved unsigned int<Offsets> offset;}
-
-==>
-
-[GLOBAL]:
-  Offsets MAP INTEGER
-  A CLASS
-  [MAP] Offsets:
-  [CLASS] A:
-    members:
-      offset VARIABLE INTEGER (map: Offsets)
-    offset VARIABLE INTEGER (map: Offsets)
-
-
-# Legacy with class output
-
-class B {}
-map MapB (B) {0b00,{1024}}
-class A {legacy B<MapB> b;}
-
-==>
-
-[GLOBAL]:
-  B CLASS
-  MapB MAP (class: B)
-  A CLASS
-  [CLASS] B:
-  [MAP] MapB:
-  [CLASS] A:
-    members:
-      b VARIABLE (class: B) (map: MapB)
-    b VARIABLE (class: B) (map: MapB)

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

@@ -1,31 +0,0 @@
-# Integer literal
-
-computed int a=1;
-
-==>
-
-[GLOBAL]:
-  a VARIABLE INTEGER COMPUTED
-
-errors:
-
-SEMANTIC ERROR: The only items that may be present in global scope are: constant computed elementary variable definitions, map declarations, class declarations.
-
-
-# Signed zero floating point placeholder
-
-class A {float(32) a = 3.14;}
-
-==>
-
-[GLOBAL]:
-  A CLASS
-  [CLASS] A:
-    members:
-      a VARIABLE FLOATING_POINT
-    a VARIABLE FLOATING_POINT
-
-warnings:
-
-SEMANTIC WARNING: Type coercion required for 'a' value: expected FLOATING_POINT, got DECIMAL
-

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

@@ -1,16 +0,0 @@
-# Valid parameter syntax - no string parameters possible in current SDL grammar
-
-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.

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

@@ -1,239 +0,0 @@
-# Global scope access
-
-computed const int a = 1;
-
-class A {
-    int(3) b[a];
-}
-
-
-==>
-
-[GLOBAL]:
-  a VARIABLE INTEGER COMPUTED CONST
-  A CLASS
-  [CLASS] A:
-    members:
-      b VARIABLE INTEGER []
-    b VARIABLE INTEGER []
-
-
-# Outer scope access
-
-class A {
-    computed int a = 1;
-    if (a == 1) {
-        a--;
-    }
-}
-
-==>
-
-[GLOBAL]:
-  A CLASS
-  [CLASS] A:
-    members:
-      a VARIABLE INTEGER COMPUTED
-    a VARIABLE INTEGER COMPUTED
-    [BLOCK] COMPOUND:
-
-
-# Nested scope visibility override
-
-class A {
-    computed int a = 1;
-    if (a == 1) {
-        computed float a = 2;
-        if (a == 2) {
-            a++;
-            // a == 3
-        }
-        // a == 3
-    }
-    // a == 1
-}
-
-==>
-
-[GLOBAL]:
-  A CLASS
-  [CLASS] A:
-    members:
-      a VARIABLE INTEGER COMPUTED
-    a VARIABLE INTEGER COMPUTED
-    [BLOCK] COMPOUND:
-      a VARIABLE FLOATING_POINT COMPUTED
-      [BLOCK] COMPOUND:
-
-warnings:
-
-SEMANTIC WARNING: Type coercion required for 'a' value: expected FLOATING_POINT, got INTEGER
-SEMANTIC WARNING: Different types in binary expression, coercion required: FLOATING_POINT vs INTEGER
-SEMANTIC WARNING: Non-integer increment operand, coercion required: FLOATING_POINT
-
-
-# Duplicate variable in IF conditional branches with braces
-
-class A {
-    computed int a = 1;
-    if (a == 1) {
-        int(2) b;
-    }
-    else {
-        int(3) b;
-    }
-}
-
-==>
-
-[GLOBAL]:
-  A CLASS
-  [CLASS] A:
-    members:
-      a VARIABLE INTEGER COMPUTED
-      b VARIABLE INTEGER (branch: COMPOUND)
-      b VARIABLE INTEGER (branch: COMPOUND#1)
-    a VARIABLE INTEGER COMPUTED
-    [BLOCK] COMPOUND:
-      b VARIABLE INTEGER
-    [BLOCK] COMPOUND#1:
-      b VARIABLE INTEGER
-
-warnings:
-
-SEMANTIC WARNING: This if-then-else clauses may result in duplicate class member variables being declared simultaneously.
-
-
-# Duplicate variable in IF conditional branches without braces
-
-class A {
-    computed int a = 1;
-    if (a == 1)
-        int(2) b;
-    else
-        int(3) b;
-}
-
-==>
-
-[GLOBAL]:
-  A CLASS
-  [CLASS] A:
-    members:
-      a VARIABLE INTEGER COMPUTED
-      b VARIABLE INTEGER (branch: COMPOUND)
-      b VARIABLE INTEGER (branch: COMPOUND#1)
-    a VARIABLE INTEGER COMPUTED
-    [BLOCK] COMPOUND:
-      b VARIABLE INTEGER
-    [BLOCK] COMPOUND#1:
-      b VARIABLE INTEGER
-
-warnings:
-
-SEMANTIC WARNING: This if-then-else clauses may result in duplicate class member variables being declared simultaneously.
-
-
-# Duplicate variable in SWITCH conditional branches
-
-class A {
-    computed int a = 1;
-    switch (a) {
-        case 1:
-            int(2) b;
-            break;
-        default:
-            int(3) b;
-    }
-}
-
-==>
-
-[GLOBAL]:
-  A CLASS
-  [CLASS] A:
-    members:
-      a VARIABLE INTEGER COMPUTED
-      b VARIABLE INTEGER (branch: SWITCH/COMPOUND)
-      b VARIABLE INTEGER (branch: SWITCH/COMPOUND#1)
-    a VARIABLE INTEGER COMPUTED
-    [BLOCK] SWITCH:
-      [BLOCK] COMPOUND:
-        b VARIABLE INTEGER
-      [BLOCK] COMPOUND#1:
-        b VARIABLE INTEGER
-
-warnings:
-
-SEMANTIC WARNING: This switch statement may result in duplicate class member variables being declared simultaneously.
-
-# Illegal duplicate variable with different type in IF conditional branches
-
-
-class A {
-    computed int a = 1;
-    if (a == 1) {
-        int(2) b;
-    }
-    else {
-        float(3) b;
-    }
-}
-
-==>
-
-[GLOBAL]:
-  A CLASS
-  [CLASS] A:
-    members:
-      a VARIABLE INTEGER COMPUTED
-      b VARIABLE INTEGER (branch: COMPOUND)
-    a VARIABLE INTEGER COMPUTED
-    [BLOCK] COMPOUND:
-      b VARIABLE INTEGER
-    [BLOCK] COMPOUND#1:
-      b VARIABLE FLOATING_POINT
-
-errors:
-
-SEMANTIC ERROR: Duplicate member variable: b conflicts with type defined in different conditional branch within scope: A
-
-warnings:
-
-SEMANTIC WARNING: This if-then-else clauses may result in duplicate class member variables being declared simultaneously.
-
-# Illegal duplicate variable with different type in SWITCH conditional branches
-
-class A {
-    computed int a = 1;
-    switch (a) {
-        case 1:
-            int(2) b;
-            break;
-        default:
-            float(3) b;
-    }
-}
-
-==>
-
-[GLOBAL]:
-  A CLASS
-  [CLASS] A:
-    members:
-      a VARIABLE INTEGER COMPUTED
-      b VARIABLE INTEGER (branch: SWITCH/COMPOUND)
-    a VARIABLE INTEGER COMPUTED
-    [BLOCK] SWITCH:
-      [BLOCK] COMPOUND:
-        b VARIABLE INTEGER
-      [BLOCK] COMPOUND#1:
-        b VARIABLE FLOATING_POINT
-
-errors:
-
-SEMANTIC ERROR: Duplicate member variable: b conflicts with type defined in different conditional branch within scope: A
-
-warnings:
-
-SEMANTIC WARNING: This switch statement may result in duplicate class member variables being declared simultaneously.

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

@@ -1,28 +0,0 @@
-# Global scope with valid items
-
-computed const int a=1;
-map offsets (int) {0b00,{1024}}
-class A{}
-
-==>
-
-[GLOBAL]:
-  a VARIABLE INTEGER COMPUTED CONST
-  offsets MAP INTEGER
-  A CLASS
-  [MAP] offsets:
-  [CLASS] A:
-
-
-# Non-const computed at global scope
-
-computed int a=1;
-
-==>
-
-[GLOBAL]:
-  a VARIABLE INTEGER COMPUTED
-
-errors:
-
-SEMANTIC ERROR: The only items that may be present in global scope are: constant computed elementary variable definitions, map declarations, class declarations.