expressir 0.2.1 → 0.2.6

data/original/examples/syntax/remark.exp

@@ -1,127 +1,145 @@
---"remarkSchema" universal scope - schema before
-
-SCHEMA remarkSchema;
-
-CONSTANT remarkConstant : STRING := 'xxx'; END_CONSTANT;
-TYPE remarkType = STRING; END_TYPE;
-ENTITY remarkEntity;
-  remarkExplicit : STRING;
-  DERIVE remarkDerived : STRING := 'xxx';
-  INVERSE remarkInverse : remarkEntity FOR remarkExplicit;
-  UNIQUE remarkUnique : remarkExplicit;
-  WHERE remarkWhere : TRUE;
-  --"remarkExplicit" entity scope - entity explicit
-  --"remarkDerived" entity scope - entity derived
-  --"remarkInverse" entity scope - entity inverse
-  --"remarkUnique" entity scope - entity unique
-  --"remarkWhere" entity scope - entity where
-END_ENTITY;
-SUBTYPE_CONSTRAINT remarkSubtypeConstraint FOR remarkEntity; END_SUBTYPE_CONSTRAINT;
-FUNCTION remarkFunction (remarkParameter : STRING) : BOOLEAN;
-  TYPE remarkType = STRING; END_TYPE;
-  CONSTANT remarkConstant : STRING := 'xxx'; END_CONSTANT;
-  LOCAL remarkLocal : STRING; END_LOCAL;
-  ALIAS remarkAlias FOR remarkLocal; ;
-    --"remarkAlias" function alias scope - function alias
-  END_ALIAS;
-  REPEAT remarkRepeat := 1 TO 9; ;
-    --"remarkRepeat" function repeat scope - function repeat
-  END_REPEAT;
-  remarkLocal := QUERY(remarkQuery <* remarkLocal | TRUE
-    --"remarkQuery" function query scope - function query
-  );
-  --"remarkParameter" function scope - function parameter
-  --"remarkType" function scope - function type
-  --"remarkConstant" function scope - function constant
-  --"remarkLocal" function scope - function local
-END_FUNCTION;
-PROCEDURE remarkProcedure (remarkParameter : STRING);
-  TYPE remarkType = STRING; END_TYPE;
-  CONSTANT remarkConstant : STRING := 'xxx'; END_CONSTANT;
-  LOCAL remarkLocal : STRING; END_LOCAL;
-  ALIAS remarkAlias FOR remarkLocal; ;
-    --"remarkAlias" procedure alias scope - procedure alias
-  END_ALIAS;
-  REPEAT remarkRepeat := 1 TO 9; ;
-    --"remarkRepeat" procedure repeat scope - procedure repeat
-  END_REPEAT;
-  remarkLocal := QUERY(remarkQuery <* remarkLocal | TRUE
-    --"remarkQuery" procedure query scope - procedure query
-  );
-  --"remarkParameter" procedure scope - procedure parameter
-  --"remarkType" procedure scope - procedure type
-  --"remarkConstant" procedure scope - procedure constant
-  --"remarkLocal" procedure scope - procedure local
-END_PROCEDURE;
-RULE remarkRule FOR (remarkEntity);
-  TYPE remarkType = STRING; END_TYPE;
-  CONSTANT remarkConstant : STRING := 'xxx'; END_CONSTANT;
-  LOCAL remarkLocal : STRING; END_LOCAL;
-  ALIAS remarkAlias FOR remarkLocal; ;
-    --"remarkAlias" rule alias scope - rule alias
-  END_ALIAS;
-  REPEAT remarkRepeat := 1 TO 9; ;
-    --"remarkRepeat" rule repeat scope - rule repeat
-  END_REPEAT;
-  remarkLocal := QUERY(remarkQuery <* remarkLocal | TRUE
-    --"remarkQuery" rule query scope - rule query
-  );
-  WHERE remarkWhere : TRUE;
-  --"remarkType" rule scope - rule type
-  --"remarkConstant" rule scope - rule constant
-  --"remarkLocal" rule scope - rule local
-  --"remarkWhere" rule scope - rule where
-END_RULE;
-
---"remarkConstant" schema scope - constant
---"remarkType" schema scope - type
---"remarkEntity" schema scope - entity
---"remarkEntity.remarkExplicit" schema scope - entity explicit
---"remarkEntity.remarkDerived" schema scope - entity derived
---"remarkEntity.remarkInverse" schema scope - entity inverse
---"remarkEntity.remarkUnique" schema scope - entity unique
---"remarkEntity.remarkWhere" schema scope - entity where
---"remarkSubtypeConstraint" schema scope - subtype constraint
---"remarkFunction" schema scope - function
---"remarkFunction.remarkParameter" schema scope - function parameter
---"remarkFunction.remarkType" schema scope - function type
---"remarkFunction.remarkConstant" schema scope - function constant
---"remarkFunction.remarkLocal" schema scope - function local
---"remarkProcedure" schema scope - procedure
---"remarkProcedure.remarkParameter" schema scope - procedure parameter
---"remarkProcedure.remarkType" schema scope - procedure type
---"remarkProcedure.remarkConstant" schema scope - procedure constant
---"remarkProcedure.remarkLocal" schema scope - procedure local
---"remarkRule" schema scope - rule
---"remarkRule.remarkType" schema scope - rule type
---"remarkRule.remarkConstant" schema scope - rule constant
---"remarkRule.remarkLocal" schema scope - rule local
---"remarkRule.remarkWhere" schema scope - rule where
-
-END_SCHEMA;
-
---"remarkSchema" universal scope - schema
---"remarkSchema.remarkConstant" universal scope - constant
---"remarkSchema.remarkType" universal scope - type
---"remarkSchema.remarkEntity" universal scope - entity
---"remarkSchema.remarkEntity.remarkExplicit" universal scope - entity explicit
---"remarkSchema.remarkEntity.remarkDerived" universal scope - entity derived
---"remarkSchema.remarkEntity.remarkInverse" universal scope - entity inverse
---"remarkSchema.remarkEntity.remarkUnique" universal scope - entity unique
---"remarkSchema.remarkEntity.remarkWhere" universal scope - entity where
---"remarkSchema.remarkSubtypeConstraint" universal scope - subtype constraint
---"remarkSchema.remarkFunction" universal scope - function
---"remarkSchema.remarkFunction.remarkParameter" universal scope - function parameter
---"remarkSchema.remarkFunction.remarkType" universal scope - function type
---"remarkSchema.remarkFunction.remarkConstant" universal scope - function constant
---"remarkSchema.remarkFunction.remarkLocal" universal scope - function local
---"remarkSchema.remarkProcedure" universal scope - procedure
---"remarkSchema.remarkProcedure.remarkParameter" universal scope - procedure parameter
---"remarkSchema.remarkProcedure.remarkType" universal scope - procedure type
---"remarkSchema.remarkProcedure.remarkConstant" universal scope - procedure constant
---"remarkSchema.remarkProcedure.remarkLocal" universal scope - procedure local
---"remarkSchema.remarkRule" universal scope - rule
---"remarkSchema.remarkRule.remarkType" universal scope - rule type
---"remarkSchema.remarkRule.remarkConstant" universal scope - rule constant
---"remarkSchema.remarkRule.remarkLocal" universal scope - rule local
---"remarkSchema.remarkRule.remarkWhere" universal scope - rule where
+(*"remark_schema"
+Any character within the EXPRESS character set may occur between the start and end of
+an embedded remark including the newline character; therefore, embedded remarks can span
+several physical lines.
+*)
+--"remark_schema" The tail remark is written at the end of a physical line.
+
+--"remark_schema" universal scope - schema before
+
+SCHEMA remark_schema;
+
+CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
+TYPE remark_type = ENUMERATION OF (remark_enumeration_item); END_TYPE;
+ENTITY remark_entity;
+  remark_attribute : STRING;
+  DERIVE remark_derived_attribute : STRING := 'xxx';
+  INVERSE remark_inverse_attribute : remark_entity FOR remark_attribute;
+  UNIQUE remark_unique : remark_attribute;
+  WHERE remark_where : TRUE;
+  --"remark_attribute" entity scope - entity attribute
+  --"remark_derived_attribute" entity scope - entity derived attribute
+  --"remark_inverse_attribute" entity scope - entity inverse attribute
+  --"remark_unique" entity scope - entity unique
+  --"remark_where" entity scope - entity where
+END_ENTITY;
+SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity; END_SUBTYPE_CONSTRAINT;
+FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
+  TYPE remark_type = ENUMERATION OF (remark_enumeration_item); END_TYPE;
+  CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
+  LOCAL remark_variable : STRING; END_LOCAL;
+  ALIAS remark_alias FOR remark_variable; ;
+    --"remark_alias" function alias scope - function alias
+  END_ALIAS;
+  REPEAT remark_repeat := 1 TO 9; ;
+    --"remark_repeat" function repeat scope - function repeat
+  END_REPEAT;
+  remark_variable := QUERY(remark_query <* remark_variable | TRUE
+    --"remark_query" function query scope - function query
+  );
+  --"remark_parameter" function scope - function parameter
+  --"remark_type" function scope - function type
+  --"remark_enumeration_item" function scope - function enumeration item
+  --"remark_constant" function scope - function constant
+  --"remark_variable" function scope - function variable
+END_FUNCTION;
+PROCEDURE remark_procedure(remark_parameter : STRING);
+  TYPE remark_type = ENUMERATION OF (remark_enumeration_item); END_TYPE;
+  CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
+  LOCAL remark_variable : STRING; END_LOCAL;
+  ALIAS remark_alias FOR remark_variable; ;
+    --"remark_alias" procedure alias scope - procedure alias
+  END_ALIAS;
+  REPEAT remark_repeat := 1 TO 9; ;
+    --"remark_repeat" procedure repeat scope - procedure repeat
+  END_REPEAT;
+  remark_variable := QUERY(remark_query <* remark_variable | TRUE
+    --"remark_query" procedure query scope - procedure query
+  );
+  --"remark_parameter" procedure scope - procedure parameter
+  --"remark_type" procedure scope - procedure type
+  --"remark_enumeration_item" procedure scope - procedure enumeration item
+  --"remark_constant" procedure scope - procedure constant
+  --"remark_variable" procedure scope - procedure variable
+END_PROCEDURE;
+RULE remark_rule FOR (remark_entity);
+  TYPE remark_type = ENUMERATION OF (remark_enumeration_item); END_TYPE;
+  CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
+  LOCAL remark_variable : STRING; END_LOCAL;
+  ALIAS remark_alias FOR remark_variable; ;
+    --"remark_alias" rule alias scope - rule alias
+  END_ALIAS;
+  REPEAT remark_repeat := 1 TO 9; ;
+    --"remark_repeat" rule repeat scope - rule repeat
+  END_REPEAT;
+  remark_variable := QUERY(remark_query <* remark_variable | TRUE
+    --"remark_query" rule query scope - rule query
+  );
+  WHERE remark_where : TRUE;
+  --"remark_type" rule scope - rule type
+  --"remark_enumeration_item" rule scope - rule enumeration item
+  --"remark_constant" rule scope - rule constant
+  --"remark_variable" rule scope - rule variable
+  --"remark_where" rule scope - rule where
+END_RULE;
+
+--"remark_constant" schema scope - constant
+--"remark_type" schema scope - type
+--"remark_enumeration_item" schema scope - enumeration item
+--"remark_entity" schema scope - entity
+--"remark_entity.remark_attribute" schema scope - entity attribute
+--"remark_entity.remark_derived_attribute" schema scope - entity derived attribute
+--"remark_entity.remark_inverse_attribute" schema scope - entity inverse attribute
+--"remark_entity.remark_unique" schema scope - entity unique
+--"remark_entity.remark_where" schema scope - entity where
+--"remark_subtype_constraint" schema scope - subtype constraint
+--"remark_function" schema scope - function
+--"remark_function.remark_parameter" schema scope - function parameter
+--"remark_function.remark_type" schema scope - function type
+--"remark_function.remark_enumeration_item" schema scope - function enumeration item
+--"remark_function.remark_constant" schema scope - function constant
+--"remark_function.remark_variable" schema scope - function variable
+--"remark_procedure" schema scope - procedure
+--"remark_procedure.remark_parameter" schema scope - procedure parameter
+--"remark_procedure.remark_type" schema scope - procedure type
+--"remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item
+--"remark_procedure.remark_constant" schema scope - procedure constant
+--"remark_procedure.remark_variable" schema scope - procedure variable
+--"remark_rule" schema scope - rule
+--"remark_rule.remark_type" schema scope - rule type
+--"remark_rule.remark_enumeration_item" schema scope - rule enumeration item
+--"remark_rule.remark_constant" schema scope - rule constant
+--"remark_rule.remark_variable" schema scope - rule variable
+--"remark_rule.remark_where" schema scope - rule where
+
+END_SCHEMA;
+
+--"remark_schema" universal scope - schema
+--"remark_schema.remark_constant" universal scope - constant
+--"remark_schema.remark_type" universal scope - type
+--"remark_schema.remark_enumeration_item" universal scope - enumeration item
+--"remark_schema.remark_entity" universal scope - entity
+--"remark_schema.remark_entity.remark_attribute" universal scope - entity attribute
+--"remark_schema.remark_entity.remark_derived_attribute" universal scope - entity derived attribute
+--"remark_schema.remark_entity.remark_inverse_attribute" universal scope - entity inverse attribute
+--"remark_schema.remark_entity.remark_unique" universal scope - entity unique
+--"remark_schema.remark_entity.remark_where" universal scope - entity where
+--"remark_schema.remark_subtype_constraint" universal scope - subtype constraint
+--"remark_schema.remark_function" universal scope - function
+--"remark_schema.remark_function.remark_parameter" universal scope - function parameter
+--"remark_schema.remark_function.remark_type" universal scope - function type
+--"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item
+--"remark_schema.remark_function.remark_constant" universal scope - function constant
+--"remark_schema.remark_function.remark_variable" universal scope - function variable
+--"remark_schema.remark_procedure" universal scope - procedure
+--"remark_schema.remark_procedure.remark_parameter" universal scope - procedure parameter
+--"remark_schema.remark_procedure.remark_type" universal scope - procedure type
+--"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
+--"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
+--"remark_schema.remark_rule" universal scope - rule
+--"remark_schema.remark_rule.remark_type" universal scope - rule type
+--"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item
+--"remark_schema.remark_rule.remark_constant" universal scope - rule constant
+--"remark_schema.remark_rule.remark_variable" universal scope - rule variable
+--"remark_schema.remark_rule.remark_where" universal scope - rule where

data/original/examples/syntax/remark_formatted.exp

@@ -0,0 +1,174 @@
+SCHEMA remark_schema;
+CONSTANT
+  remark_constant : STRING := 'xxx';
+END_CONSTANT;
+TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
+END_TYPE;
+
+ENTITY remark_entity;
+  remark_attribute : STRING;
+  DERIVE
+    remark_derived_attribute : STRING := 'xxx';
+  INVERSE
+    remark_inverse_attribute : remark_entity FOR remark_attribute;
+  UNIQUE
+    remark_unique : remark_attribute;
+  WHERE
+    remark_where : TRUE;
+END_ENTITY;
+
+SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity;
+END_SUBTYPE_CONSTRAINT;
+
+FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
+  TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
+  END_TYPE;
+  CONSTANT
+    remark_constant : STRING := 'xxx';
+  END_CONSTANT;
+  LOCAL
+    remark_variable : STRING;
+  END_LOCAL;
+  ALIAS remark_alias FOR remark_variable;
+    ;
+  --"remark_alias" function alias scope - function alias
+  END_ALIAS;
+  REPEAT remark_repeat := 1 TO 9;
+    ;
+  --"remark_repeat" function repeat scope - function repeat
+  END_REPEAT;
+  remark_variable := QUERY(remark_query <* remark_variable | TRUE
+  --"remark_query" function query scope - function query
+  );
+END_FUNCTION;
+
+PROCEDURE remark_procedure(remark_parameter : STRING);
+  TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
+  END_TYPE;
+  CONSTANT
+    remark_constant : STRING := 'xxx';
+  END_CONSTANT;
+  LOCAL
+    remark_variable : STRING;
+  END_LOCAL;
+  ALIAS remark_alias FOR remark_variable;
+    ;
+  --"remark_alias" procedure alias scope - procedure alias
+  END_ALIAS;
+  REPEAT remark_repeat := 1 TO 9;
+    ;
+  --"remark_repeat" procedure repeat scope - procedure repeat
+  END_REPEAT;
+  remark_variable := QUERY(remark_query <* remark_variable | TRUE
+  --"remark_query" procedure query scope - procedure query
+  );
+END_PROCEDURE;
+
+RULE remark_rule FOR (remark_entity);
+  TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
+  END_TYPE;
+  CONSTANT
+    remark_constant : STRING := 'xxx';
+  END_CONSTANT;
+  LOCAL
+    remark_variable : STRING;
+  END_LOCAL;
+  ALIAS remark_alias FOR remark_variable;
+    ;
+  --"remark_alias" rule alias scope - rule alias
+  END_ALIAS;
+  REPEAT remark_repeat := 1 TO 9;
+    ;
+  --"remark_repeat" rule repeat scope - rule repeat
+  END_REPEAT;
+  remark_variable := QUERY(remark_query <* remark_variable | TRUE
+  --"remark_query" rule query scope - rule query
+  );
+  WHERE
+    remark_where : TRUE;
+END_RULE;
+END_SCHEMA;
+(*"remark_schema"
+Any character within the EXPRESS character set may occur between the start and end of
+an embedded remark including the newline character; therefore, embedded remarks can span
+several physical lines.
+*)
+--"remark_schema" The tail remark is written at the end of a physical line.
+--"remark_schema" universal scope - schema before
+--"remark_schema" universal scope - schema
+--"remark_schema.remark_constant" schema scope - constant
+--"remark_schema.remark_constant" universal scope - constant
+--"remark_schema.remark_type" schema scope - type
+--"remark_schema.remark_type" universal scope - type
+--"remark_schema.remark_enumeration_item" schema scope - enumeration item
+--"remark_schema.remark_enumeration_item" universal scope - enumeration item
+--"remark_schema.remark_entity" schema scope - entity
+--"remark_schema.remark_entity" universal scope - entity
+--"remark_schema.remark_entity.remark_attribute" entity scope - entity attribute
+--"remark_schema.remark_entity.remark_attribute" schema scope - entity attribute
+--"remark_schema.remark_entity.remark_attribute" universal scope - entity attribute
+--"remark_schema.remark_entity.remark_derived_attribute" entity scope - entity derived attribute
+--"remark_schema.remark_entity.remark_derived_attribute" schema scope - entity derived attribute
+--"remark_schema.remark_entity.remark_derived_attribute" universal scope - entity derived attribute
+--"remark_schema.remark_entity.remark_inverse_attribute" entity scope - entity inverse attribute
+--"remark_schema.remark_entity.remark_inverse_attribute" schema scope - entity inverse attribute
+--"remark_schema.remark_entity.remark_inverse_attribute" universal scope - entity inverse attribute
+--"remark_schema.remark_entity.remark_unique" entity scope - entity unique
+--"remark_schema.remark_entity.remark_unique" schema scope - entity unique
+--"remark_schema.remark_entity.remark_unique" universal scope - entity unique
+--"remark_schema.remark_entity.remark_where" entity scope - entity where
+--"remark_schema.remark_entity.remark_where" schema scope - entity where
+--"remark_schema.remark_entity.remark_where" universal scope - entity where
+--"remark_schema.remark_subtype_constraint" schema scope - subtype constraint
+--"remark_schema.remark_subtype_constraint" universal scope - subtype constraint
+--"remark_schema.remark_function" schema scope - function
+--"remark_schema.remark_function" universal scope - function
+--"remark_schema.remark_function.remark_parameter" function scope - function parameter
+--"remark_schema.remark_function.remark_parameter" schema scope - function parameter
+--"remark_schema.remark_function.remark_parameter" universal scope - function parameter
+--"remark_schema.remark_function.remark_type" function scope - function type
+--"remark_schema.remark_function.remark_type" schema scope - function type
+--"remark_schema.remark_function.remark_type" universal scope - function type
+--"remark_schema.remark_function.remark_enumeration_item" function scope - function enumeration item
+--"remark_schema.remark_function.remark_enumeration_item" schema scope - function enumeration item
+--"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item
+--"remark_schema.remark_function.remark_constant" function scope - function constant
+--"remark_schema.remark_function.remark_constant" schema scope - function constant
+--"remark_schema.remark_function.remark_constant" universal scope - function constant
+--"remark_schema.remark_function.remark_variable" function scope - function variable
+--"remark_schema.remark_function.remark_variable" schema scope - function variable
+--"remark_schema.remark_function.remark_variable" universal scope - function variable
+--"remark_schema.remark_procedure" schema scope - procedure
+--"remark_schema.remark_procedure" universal scope - procedure
+--"remark_schema.remark_procedure.remark_parameter" procedure scope - procedure parameter
+--"remark_schema.remark_procedure.remark_parameter" schema scope - procedure parameter
+--"remark_schema.remark_procedure.remark_parameter" universal scope - procedure parameter
+--"remark_schema.remark_procedure.remark_type" procedure scope - procedure type
+--"remark_schema.remark_procedure.remark_type" schema scope - procedure type
+--"remark_schema.remark_procedure.remark_type" universal scope - procedure type
+--"remark_schema.remark_procedure.remark_enumeration_item" procedure scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_constant" procedure scope - procedure constant
+--"remark_schema.remark_procedure.remark_constant" schema scope - procedure constant
+--"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
+--"remark_schema.remark_procedure.remark_variable" procedure scope - procedure variable
+--"remark_schema.remark_procedure.remark_variable" schema scope - procedure variable
+--"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
+--"remark_schema.remark_rule" schema scope - rule
+--"remark_schema.remark_rule" universal scope - rule
+--"remark_schema.remark_rule.remark_type" rule scope - rule type
+--"remark_schema.remark_rule.remark_type" schema scope - rule type
+--"remark_schema.remark_rule.remark_type" universal scope - rule type
+--"remark_schema.remark_rule.remark_enumeration_item" rule scope - rule enumeration item
+--"remark_schema.remark_rule.remark_enumeration_item" schema scope - rule enumeration item
+--"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item
+--"remark_schema.remark_rule.remark_constant" rule scope - rule constant
+--"remark_schema.remark_rule.remark_constant" schema scope - rule constant
+--"remark_schema.remark_rule.remark_constant" universal scope - rule constant
+--"remark_schema.remark_rule.remark_variable" rule scope - rule variable
+--"remark_schema.remark_rule.remark_variable" schema scope - rule variable
+--"remark_schema.remark_rule.remark_variable" universal scope - rule variable
+--"remark_schema.remark_rule.remark_where" rule scope - rule where
+--"remark_schema.remark_rule.remark_where" schema scope - rule where
+--"remark_schema.remark_rule.remark_where" universal scope - rule where

data/original/examples/syntax/syntax.exp

@@ -1,300 +1,310 @@
-SCHEMA syntaxSchema 'version';
-
--- interfaces
-USE FROM useInterface;
-USE FROM useItemInterface (test);
-USE FROM useItemRenameInterface (test AS test2);
-REFERENCE FROM referenceInterface;
-REFERENCE FROM referenceItemInterface (test);
-REFERENCE FROM referenceItemRenameInterface (test AS test2);
-
-CONSTANT
-  -- literals
-  binaryExpression : STRING := %011110000111100001111000;
-  integerExpression : STRING := 999;
-  trueLogicalExpression : STRING := TRUE;
-  falseLogicalExpression : STRING := FALSE;
-  unknownLogicalExpression : STRING := UNKNOWN;
-  realExpression : STRING := 999.999;
-  simpleStringExpression : STRING := 'xxx';
-  encodedStringExpression : STRING := "000000780000007800000078";
-
-  -- constants
-  constEExpression : STRING := CONST_E;
-  indeterminateExpression : STRING := ?;
-  piExpression : STRING := PI;
-  selfExpression : STRING := SELF;
-
-  -- functions
-  absExpression : STRING := ABS(TRUE);
-  acosExpression : STRING := ACOS(TRUE);
-  asinExpression : STRING := ASIN(TRUE);
-  atanExpression : STRING := ATAN(TRUE);
-  blengthExpression : STRING := BLENGTH(TRUE);
-  cosExpression : STRING := COS(TRUE);
-  existsExpression : STRING := EXISTS(TRUE);
-  expExpression : STRING := EXP(TRUE);
-  formatExpression : STRING := FORMAT(TRUE);
-  hiboundExpression : STRING := HIBOUND(TRUE);
-  hiindexExpression : STRING := HIINDEX(TRUE);
-  lengthExpression : STRING := LENGTH(TRUE);
-  loboundExpression : STRING := LOBOUND(TRUE);
-  loindexExpression : STRING := LOINDEX(TRUE);
-  logExpression : STRING := LOG(TRUE);
-  log2Expression : STRING := LOG2(TRUE);
-  log10Expression : STRING := LOG10(TRUE);
-  nvlExpression : STRING := NVL(TRUE);
-  oddExpression : STRING := ODD(TRUE);
-  rolesofExpression : STRING := ROLESOF(TRUE);
-  sinExpression : STRING := SIN(TRUE);
-  sizeofExpression : STRING := SIZEOF(TRUE);
-  sqrtExpression : STRING := SQRT(TRUE);
-  tanExpression : STRING := TAN(TRUE);
-  typeofExpression : STRING := TYPEOF(TRUE);
-  usedinExpression : STRING := USEDIN(TRUE);
-  valueExpression : STRING := VALUE(TRUE);
-  valueInExpression : STRING := VALUE_IN(TRUE);
-  valueUniqueExpression : STRING := VALUE_UNIQUE(TRUE);
-
-  -- operations
-  unaryPlusExpression : STRING := +4;
-  unaryMinusExpression : STRING := -4;
-  additionExpression : STRING := 4 + 2;
-  subtractionExpression : STRING := 4 - 2;
-  multiplicationExpression : STRING := 4 * 2;
-  realDivisionExpression : STRING := 4 / 2;
-  integerDivisionExpression : STRING := 4 DIV 2;
-  moduloExpression : STRING := 4 MOD 2;
-  exponentiationExpression : STRING := 4 ** 2;
-  additionAdditionExpression : STRING := 4 + 2 + 1;
-  subtractionSubtractionExpression : STRING := 4 - 2 - 1;
-  additionSubtractionExpression : STRING := 4 + 2 - 1;
-  subtractionAdditionExpression : STRING := 4 - 2 + 1;
-  additionMultiplicationExpression : STRING := 8 + 4 * 2;
-  multiplicationAdditionExpression : STRING := 8 * 4 + 2;
-  parenthesisAdditionMultiplicationExpression : STRING := (8 + 4) * 2;
-  multiplicationParenthesisAdditionExpression : STRING := 8 * (4 + 2);
-  equalExpression : STRING := 4 = 2;
-  notEqualExpression : STRING := 4 <> 2;
-  ltExpression : STRING := 4 < 2;
-  gtExpression : STRING := 4 > 2;
-  lteExpression : STRING := 4 <= 2;
-  gteExpression : STRING := 4 >= 2;
-  orExpression : STRING := TRUE OR FALSE;
-  andExpression : STRING := TRUE AND FALSE;
-  orOrExpression : STRING := TRUE OR FALSE OR TRUE;
-  andAndExpression : STRING := TRUE AND FALSE AND TRUE;
-  orAndExpression : STRING := TRUE OR FALSE AND TRUE;
-  andOrExpression : STRING := TRUE AND FALSE OR TRUE;
-  parenthesisOrAndExpression : STRING := (TRUE OR FALSE) AND TRUE;
-  andParenthesisOrExpression : STRING := TRUE AND (FALSE OR TRUE);
-  combineExpression : STRING := test || test;
-  inExpression : STRING := TRUE IN [TRUE];
-  likeExpression : STRING := 'xxx' LIKE 'xxx';
-
-  -- aggregate initializers
-  aggregateInitializerExpression : STRING := ['xxx'];
-  repeatedAggregateInitializerExpression : STRING := ['xxx' : 2];
-  complexAggregateInitializerExpression : STRING := [4 + 2];
-  complexRepeatedAggregateInitializerExpression : STRING := [4 + 2 : 4 + 2];
-
-  -- entity constructors
-  entityConstructorExpression : STRING := explicitAttributeEntity(TRUE);
-
-  -- enumeration references
-  enumerationReferenceExpression : STRING := test;
-  attributeEnumerationReferenceExpression : STRING := test.test;
-
-  -- intervals
-  ltLtIntervalExpression : STRING := {1 < 5 < 9};
-  lteLtIntervalExpression : STRING := {1 <= 5 < 9};
-  ltLteIntervalExpression : STRING := {1 < 5 <= 9};
-  lteLteIntervalExpression : STRING := {1 <= 5 <= 9};
-
-  -- queries
-  queryExpression : STRING := QUERY(test <* test2 | TRUE);
-END_CONSTANT;
-
--- types
-TYPE integerType = INTEGER; END_TYPE;
-TYPE integerWhereType = INTEGER; WHERE TRUE; END_TYPE;
-TYPE integerWhereLabelType = INTEGER; WHERE WR1: TRUE; END_TYPE;
-
--- simple types
-TYPE binaryType = BINARY; END_TYPE;
-TYPE binaryWidthType = BINARY (3); END_TYPE;
-TYPE binaryWidthFixedType = BINARY (3) FIXED; END_TYPE;
-TYPE booleanType = BOOLEAN; END_TYPE;
-TYPE integerType = INTEGER; END_TYPE;
-TYPE integerWhereType = INTEGER; WHERE TRUE; END_TYPE;
-TYPE integerWhereLabelType = INTEGER; WHERE WR1: TRUE; END_TYPE;
-TYPE logicalType = LOGICAL; END_TYPE;
-TYPE numberType = NUMBER; END_TYPE;
-TYPE realType = REAL; END_TYPE;
-TYPE realPrecisionType = REAL (3); END_TYPE;
-TYPE stringType = STRING; END_TYPE;
-TYPE stringWidthType = STRING (3); END_TYPE;
-TYPE stringWidthFixedType = STRING (3) FIXED; END_TYPE;
-
--- aggregation types
-TYPE arrayType = ARRAY [1:9] OF STRING; END_TYPE;
-TYPE arrayOptionalType = ARRAY [1:9] OF OPTIONAL STRING; END_TYPE;
-TYPE arrayUniqueType = ARRAY [1:9] OF UNIQUE STRING; END_TYPE;
-TYPE arrayOptionalUniqueType = ARRAY [1:9] OF OPTIONAL UNIQUE STRING; END_TYPE;
-TYPE bagType = BAG OF STRING; END_TYPE;
-TYPE bagBoundType = BAG [1:9] OF STRING; END_TYPE;
-TYPE listType = LIST OF STRING; END_TYPE;
-TYPE listBoundType = LIST [1:9] OF STRING; END_TYPE;
-TYPE listUniqueType = LIST OF UNIQUE STRING; END_TYPE;
-TYPE listBoundUniqueType = LIST [1:9] OF UNIQUE STRING; END_TYPE;
-TYPE setType = SET OF STRING; END_TYPE;
-TYPE setBoundType = SET [1:9] OF STRING; END_TYPE;
-
--- constructed types
-TYPE selectType = SELECT; END_TYPE;
-TYPE selectExtensibleType = EXTENSIBLE SELECT; END_TYPE;
-TYPE selectExtensibleGenericEntityType = EXTENSIBLE GENERIC_ENTITY SELECT; END_TYPE;
-TYPE selectListType = SELECT (test); END_TYPE;
-TYPE selectExtensionTypeRefType = SELECT BASED_ON selectType; END_TYPE;
-TYPE selectExtensionTypeRefListType = SELECT BASED_ON selectType WITH (test); END_TYPE;
-TYPE enumerationType = ENUMERATION; END_TYPE;
-TYPE enumerationExtensibleType = EXTENSIBLE ENUMERATION; END_TYPE;
-TYPE enumerationListType = ENUMERATION OF (test); END_TYPE;
-TYPE enumerationExtensionTypeRefType = ENUMERATION BASED_ON enumerationType; END_TYPE;
-TYPE enumerationExtensionTypeRefListType = ENUMERATION BASED_ON enumerationType WITH (test); END_TYPE; 
-
--- entities
-ENTITY emptyEntity; END_ENTITY;
-ENTITY abstractEntity ABSTRACT; END_ENTITY;
-ENTITY abstractSupertypeEntity ABSTRACT SUPERTYPE; END_ENTITY;
-ENTITY abstractSupertypeConstraintEntity ABSTRACT SUPERTYPE OF (emptyEntity); END_ENTITY;
-ENTITY supertypeConstraintEntity SUPERTYPE OF (emptyEntity); END_ENTITY;
-ENTITY subtypeEntity SUBTYPE OF (emptyEntity); END_ENTITY;
-ENTITY supertypeConstraintSubtypeEntity SUPERTYPE OF (emptyEntity) SUBTYPE OF (emptyEntity); END_ENTITY;
-ENTITY explicitAttributeEntity; test : BOOLEAN; END_ENTITY;
-ENTITY explicitAttributeOptionalEntity; test : OPTIONAL BOOLEAN; END_ENTITY;
-ENTITY explicitAttributeMultipleEntity; test : BOOLEAN; test2 : BOOLEAN; END_ENTITY;
-ENTITY explicitAttributeMultipleShorthandEntity; test, test2 : BOOLEAN; END_ENTITY;
-ENTITY explicitAttributeRedeclaredEntity; SELF\explicitAttributeEntity.test: BOOLEAN; END_ENTITY;
-ENTITY explicitAttributeRedeclaredRenamedEntity; SELF\explicitAttributeEntity.test RENAMED test2: BOOLEAN; END_ENTITY;
-ENTITY derivedAttributeEntity; DERIVE test : BOOLEAN := TRUE; END_ENTITY;
-ENTITY derivedAttributeRedeclaredEntity; DERIVE SELF\explicitAttributeEntity.test : BOOLEAN := TRUE; END_ENTITY;
-ENTITY derivedAttributeRedeclaredRenamedEntity; DERIVE SELF\explicitAttributeEntity.test RENAMED test2 : BOOLEAN := TRUE; END_ENTITY;
-ENTITY inverseAttributeEntity; INVERSE test : explicitAttributeEntity FOR test; END_ENTITY;
-ENTITY inverseAttributeEntityEntity; INVERSE test : explicitAttributeEntity FOR explicitAttributeEntity.test; END_ENTITY;
-ENTITY inverseAttributeSetEntity; INVERSE test : SET OF explicitAttributeEntity FOR test; END_ENTITY;
-ENTITY inverseAttributeSetBoundEntity; INVERSE test : SET [1:9] OF explicitAttributeEntity FOR test; END_ENTITY;
-ENTITY inverseAttributeBagEntity; INVERSE test : BAG OF explicitAttributeEntity FOR test; END_ENTITY;
-ENTITY inverseAttributeBagBoundEntity; INVERSE test : BAG [1:9] OF explicitAttributeEntity FOR test; END_ENTITY;
-ENTITY inverseAttributeRedeclaredEntity; INVERSE SELF\explicitAttributeEntity.test : explicitAttributeEntity FOR test; END_ENTITY;
-ENTITY inverseAttributeRedeclaredRenamedEntity; INVERSE SELF\explicitAttributeEntity.test RENAMED test2 : explicitAttributeEntity FOR test; END_ENTITY;
-ENTITY uniqueEntity; UNIQUE test; END_ENTITY;
-ENTITY uniqueLabelEntity; UNIQUE UR1: test; END_ENTITY;
-ENTITY uniqueQualifiedEntity; UNIQUE SELF\explicitAttributeEntity.test; END_ENTITY;
-ENTITY uniqueLabelQualifiedEntity; UNIQUE UR1: SELF\explicitAttributeEntity.test; END_ENTITY;
-ENTITY whereEntity; WHERE TRUE; END_ENTITY;
-ENTITY whereLabelEntity; WHERE WR1: TRUE; END_ENTITY;
-
--- subtype constraints
-SUBTYPE_CONSTRAINT emptySubtypeConstraint FOR emptyEntity; END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT abstractSupertypeSubtypeConstraint FOR emptyEntity; ABSTRACT SUPERTYPE; END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT totalOverSubtypeConstraint FOR emptyEntity; TOTAL_OVER (a); END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionSubtypeConstraint FOR emptyEntity; a; END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionAndorSubtypeConstraint FOR emptyEntity; a ANDOR b; END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionAndSubtypeConstraint FOR emptyEntity; a AND b; END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionAndorAndSubtypeConstraint FOR emptyEntity; a ANDOR b AND c; END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionAndAndorSubtypeConstraint FOR emptyEntity; a AND b ANDOR c; END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionParenthesisAndorAndSubtypeConstraint FOR emptyEntity; (a ANDOR b) AND c; END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionAndParenthesisAndorSubtypeConstraint FOR emptyEntity; a AND (b ANDOR c); END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionOneofSubtypeConstraint FOR emptyEntity; ONEOF(a, b); END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionAndOneofSubtypeConstraint FOR emptyEntity; a AND ONEOF(b, c); END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionAndorOneofSubtypeConstraint FOR emptyEntity; a ANDOR ONEOF(b, c); END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionOneofAndSubtypeConstraint FOR emptyEntity; ONEOF(a, b) AND c; END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionOneofAndorSubtypeConstraint FOR emptyEntity; ONEOF(a, b) ANDOR c; END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionOneofAndOneofSubtypeConstraint FOR emptyEntity; ONEOF(a, b) AND ONEOF(c, d); END_SUBTYPE_CONSTRAINT;
-SUBTYPE_CONSTRAINT supertypeExpressionOneofAndorOneofSubtypeConstraint FOR emptyEntity; ONEOF(a, b) ANDOR ONEOF(c, d); END_SUBTYPE_CONSTRAINT;
-
--- functions
-FUNCTION emptyFunction : BOOLEAN; ; END_FUNCTION;
-FUNCTION parameterFunction (test : BOOLEAN) : BOOLEAN; ; END_FUNCTION;
-FUNCTION multipleParameterFunction (test : BOOLEAN; test2 : BOOLEAN) : BOOLEAN; ; END_FUNCTION;
-FUNCTION multipleShorthandParameterFunction (test, test2 : BOOLEAN) : BOOLEAN; ; END_FUNCTION;
-FUNCTION typeFunction : BOOLEAN; TYPE integerType = INTEGER; END_TYPE; ; END_FUNCTION;
-FUNCTION constantFunction : BOOLEAN; CONSTANT test : STRING := 'xxx'; END_CONSTANT; ; END_FUNCTION;
-FUNCTION multipleConstantFunction : BOOLEAN; CONSTANT test : STRING := 'xxx'; test2 : STRING := 'xxx'; END_CONSTANT; ; END_FUNCTION;
-FUNCTION localFunction : BOOLEAN; LOCAL test : STRING; END_LOCAL; ; END_FUNCTION;
-FUNCTION multipleLocalFunction : BOOLEAN; LOCAL test : STRING; test2 : STRING; END_LOCAL; ; END_FUNCTION;
-FUNCTION multipleShorthandLocalFunction : BOOLEAN; LOCAL test, test2 : STRING; END_LOCAL; ; END_FUNCTION;
-FUNCTION localExpressionFunction : BOOLEAN; LOCAL test : STRING := 'xxx'; END_LOCAL; ; END_FUNCTION;
-FUNCTION multipleLocalExpressionFunction : BOOLEAN; LOCAL test : STRING := 'xxx'; test2 : STRING := 'xxx'; END_LOCAL; ; END_FUNCTION;
-FUNCTION multipleShorthandLocalExpressionFunction : BOOLEAN; LOCAL test, test2 : STRING := 'xxx'; END_LOCAL; ; END_FUNCTION;
-
--- procedures
-PROCEDURE emptyProcedure; END_PROCEDURE;
-PROCEDURE parameterProcedure (test : BOOLEAN); END_PROCEDURE;
-PROCEDURE multipleParameterProcedure (test : BOOLEAN; test2 : BOOLEAN); END_PROCEDURE;
-PROCEDURE multipleShorthandParameterProcedure (test, test2 : BOOLEAN); END_PROCEDURE;
-PROCEDURE variableParameterProcedure (VAR test : BOOLEAN); END_PROCEDURE;
-PROCEDURE multipleVariableParameterProcedure (VAR test : BOOLEAN; test2 : BOOLEAN); END_PROCEDURE;
-PROCEDURE multipleVariableParameter2Procedure (test : BOOLEAN; VAR test2 : BOOLEAN); END_PROCEDURE;
-PROCEDURE multipleShorthandVariableParameterProcedure (VAR test, test2 : BOOLEAN); END_PROCEDURE;
-PROCEDURE typeProcedure; TYPE integerType = INTEGER; END_TYPE; END_PROCEDURE;
-PROCEDURE constantProcedure; CONSTANT test : STRING := 'xxx'; END_CONSTANT; END_PROCEDURE;
-PROCEDURE multipleConstantProcedure; CONSTANT test : STRING := 'xxx'; test2 : STRING := 'xxx'; END_CONSTANT; END_PROCEDURE;
-PROCEDURE localProcedure; LOCAL test : STRING; END_LOCAL; END_PROCEDURE;
-PROCEDURE multipleLocalProcedure; LOCAL test : STRING; test2 : STRING; END_LOCAL; END_PROCEDURE;
-PROCEDURE multipleShorthandLocalProcedure; LOCAL test, test2 : STRING; END_LOCAL; END_PROCEDURE;
-PROCEDURE localExpressionProcedure; LOCAL test : STRING := 'xxx'; END_LOCAL; END_PROCEDURE;
-PROCEDURE multipleLocalExpressionProcedure; LOCAL test : STRING := 'xxx'; test2 : STRING := 'xxx'; END_LOCAL; END_PROCEDURE;
-PROCEDURE multipleShorthandLocalExpressionProcedure; LOCAL test, test2 : STRING := 'xxx'; END_LOCAL; END_PROCEDURE;
-
--- rules
-RULE emptyRule FOR (emptyEntity); WHERE TRUE; END_RULE;
-RULE typeRule FOR (emptyEntity); TYPE integerType = INTEGER; END_TYPE; WHERE TRUE; END_RULE;
-RULE constantRule FOR (emptyEntity); CONSTANT test : STRING := 'xxx'; END_CONSTANT; WHERE TRUE; END_RULE;
-RULE multipleConstantRule FOR (emptyEntity); CONSTANT test : STRING := 'xxx'; test2 : STRING := 'xxx'; END_CONSTANT; WHERE TRUE; END_RULE;
-RULE localRule FOR (emptyEntity); LOCAL test : STRING; END_LOCAL; WHERE TRUE; END_RULE;
-RULE multipleLocalRule FOR (emptyEntity); LOCAL test : STRING; test2 : STRING; END_LOCAL; WHERE TRUE; END_RULE;
-RULE multipleShorthandLocalRule FOR (emptyEntity); LOCAL test, test2 : STRING; END_LOCAL; WHERE TRUE; END_RULE;
-RULE localExpressionRule FOR (emptyEntity); LOCAL test : STRING := 'xxx'; END_LOCAL; WHERE TRUE; END_RULE;
-RULE multipleLocalExpressionRule FOR (emptyEntity); LOCAL test : STRING := 'xxx'; test2 : STRING := 'xxx'; END_LOCAL; WHERE TRUE; END_RULE;
-RULE multipleShorthandLocalExpressionRule FOR (emptyEntity); LOCAL test, test2 : STRING := 'xxx'; END_LOCAL; WHERE TRUE; END_RULE;
-
--- statements
-FUNCTION aliasStatement : BOOLEAN; ALIAS test FOR test; ; END_ALIAS; END_FUNCTION;
-FUNCTION aliasAttributeStatement : BOOLEAN; ALIAS test FOR test.test; ; END_ALIAS; END_FUNCTION;
-FUNCTION aliasGroupStatement : BOOLEAN; ALIAS test FOR test\test; ; END_ALIAS; END_FUNCTION;
-FUNCTION aliasIndexStatement : BOOLEAN; ALIAS test FOR test[1]; ; END_ALIAS; END_FUNCTION;
-FUNCTION aliasIndex2Statement : BOOLEAN; ALIAS test FOR test[1:9]; ; END_ALIAS; END_FUNCTION;
-FUNCTION assignmentStatement : BOOLEAN; test := TRUE; END_FUNCTION;
-FUNCTION assignmentAttributeStatement : BOOLEAN; test.test := TRUE; END_FUNCTION;
-FUNCTION assignmentGroupStatement : BOOLEAN; test\test := TRUE; END_FUNCTION;
-FUNCTION assignmentIndexStatement : BOOLEAN; test[1] := TRUE; END_FUNCTION;
-FUNCTION assignmentIndex2Statement : BOOLEAN; test[1:9] := TRUE; END_FUNCTION;
-FUNCTION caseStatement : BOOLEAN; CASE test OF TRUE : ; END_CASE; END_FUNCTION;
-FUNCTION caseMultipleStatement : BOOLEAN; CASE test OF TRUE : ; TRUE : ; END_CASE; END_FUNCTION;
-FUNCTION caseMultipleShorthandStatement : BOOLEAN; CASE test OF TRUE, TRUE : ; END_CASE; END_FUNCTION;
-FUNCTION caseOtherwiseStatement : BOOLEAN; CASE test OF TRUE : ; OTHERWISE : ; END_CASE; END_FUNCTION;
-FUNCTION compoundStatement : BOOLEAN; BEGIN ; END; END_FUNCTION;
-FUNCTION escapeStatement : BOOLEAN; ESCAPE; END_FUNCTION;
-FUNCTION ifStatement : BOOLEAN; IF TRUE THEN ; END_IF; END_FUNCTION;
-FUNCTION if2Statement : BOOLEAN; IF TRUE THEN ; ; END_IF; END_FUNCTION;
-FUNCTION ifElseStatement : BOOLEAN; IF TRUE THEN ; ELSE ; END_IF; END_FUNCTION;
-FUNCTION if2ElseStatement : BOOLEAN; IF TRUE THEN ; ; ELSE ; END_IF; END_FUNCTION;
-FUNCTION ifElse2Statement : BOOLEAN; IF TRUE THEN ; ELSE ; ; END_IF; END_FUNCTION;
-FUNCTION if2Else2Statement : BOOLEAN; IF TRUE THEN ; ; ELSE ; ; END_IF; END_FUNCTION;
-FUNCTION nullStatement : BOOLEAN; ; END_FUNCTION;
-FUNCTION procedureCallStatement : BOOLEAN; emptyProcedure; END_FUNCTION;
-FUNCTION procedureCallParameterStatement : BOOLEAN; emptyProcedure(true); END_FUNCTION;
-FUNCTION procedureCallParameter2Statement : BOOLEAN; emptyProcedure(true, true); END_FUNCTION;
-FUNCTION procedureCallInsertStatement : BOOLEAN; INSERT; END_FUNCTION;
-FUNCTION procedureCallRemoveStatement : BOOLEAN; REMOVE; END_FUNCTION;
-FUNCTION repeatStatement : BOOLEAN; REPEAT; ; END_REPEAT; END_FUNCTION;
-FUNCTION repeatVariableStatement : BOOLEAN; REPEAT test := 1 TO 9; ; END_REPEAT; END_FUNCTION;
-FUNCTION repeatVariableIncrementStatement : BOOLEAN; REPEAT test := 1 TO 9 BY 2; ; END_REPEAT; END_FUNCTION;
-FUNCTION repeatWhileStatement : BOOLEAN; REPEAT WHILE TRUE; ; END_REPEAT; END_FUNCTION;
-FUNCTION repeatUntilStatement : BOOLEAN; REPEAT UNTIL TRUE; ; END_REPEAT; END_FUNCTION;
-FUNCTION returnStatement : BOOLEAN; RETURN (TRUE); END_FUNCTION;
-FUNCTION skipStatement : BOOLEAN; SKIP; END_FUNCTION;
-
-END_SCHEMA;
+SCHEMA syntax_schema 'version';
+
+-- interfaces
+USE FROM contract_schema;
+USE FROM contract_schema (contract);
+USE FROM contract_schema (contract AS contract2);
+REFERENCE FROM contract_schema;
+REFERENCE FROM contract_schema (contract);
+REFERENCE FROM contract_schema (contract AS contract2);
+
+-- constants
+CONSTANT empty_constant : BOOLEAN := TRUE; END_CONSTANT;
+
+-- types
+TYPE empty_type = BOOLEAN; END_TYPE;
+TYPE where_type = BOOLEAN; WHERE TRUE; END_TYPE;
+TYPE where_label_type = BOOLEAN; WHERE WR1 : TRUE; END_TYPE; 
+
+-- entities
+ENTITY empty_entity; END_ENTITY;
+ENTITY abstract_entity ABSTRACT; END_ENTITY;
+ENTITY abstract_supertype_entity ABSTRACT SUPERTYPE; END_ENTITY;
+ENTITY abstract_supertype_constraint_entity ABSTRACT SUPERTYPE OF (empty_entity); END_ENTITY;
+ENTITY supertype_constraint_entity SUPERTYPE OF (empty_entity); END_ENTITY;
+ENTITY subtype_entity SUBTYPE OF (empty_entity); END_ENTITY;
+ENTITY supertype_constraint_subtype_entity SUPERTYPE OF (empty_entity) SUBTYPE OF (empty_entity); END_ENTITY;
+ENTITY attribute_entity; test : BOOLEAN; END_ENTITY;
+ENTITY attribute_optional_entity; test : OPTIONAL BOOLEAN; END_ENTITY;
+ENTITY attribute_multiple_entity; test : BOOLEAN; test2 : BOOLEAN; END_ENTITY;
+ENTITY attribute_multiple_shorthand_entity; test, test2 : BOOLEAN; END_ENTITY;
+ENTITY attribute_redeclared_entity; SELF\attribute_entity.test : BOOLEAN; END_ENTITY;
+ENTITY attribute_redeclared_renamed_entity; SELF\attribute_entity.test RENAMED test2 : BOOLEAN; END_ENTITY;
+ENTITY derived_attribute_entity; DERIVE test : BOOLEAN := TRUE; END_ENTITY;
+ENTITY derived_attribute_redeclared_entity; DERIVE SELF\attribute_entity.test : BOOLEAN := TRUE; END_ENTITY;
+ENTITY derived_attribute_redeclared_renamed_entity; DERIVE SELF\attribute_entity.test RENAMED test2 : BOOLEAN := TRUE; END_ENTITY;
+ENTITY inverse_attribute_entity; INVERSE test : attribute_entity FOR test; END_ENTITY;
+ENTITY inverse_attribute_entity_entity; INVERSE test : attribute_entity FOR attribute_entity.test; END_ENTITY;
+ENTITY inverse_attribute_set_entity; INVERSE test : SET OF attribute_entity FOR test; END_ENTITY;
+ENTITY inverse_attribute_set_bound_entity; INVERSE test : SET [1:9] OF attribute_entity FOR test; END_ENTITY;
+ENTITY inverse_attribute_bag_entity; INVERSE test : BAG OF attribute_entity FOR test; END_ENTITY;
+ENTITY inverse_attribute_bag_bound_entity; INVERSE test : BAG [1:9] OF attribute_entity FOR test; END_ENTITY;
+ENTITY inverse_attribute_redeclared_entity; INVERSE SELF\attribute_entity.test : attribute_entity FOR test; END_ENTITY;
+ENTITY inverse_attribute_redeclared_renamed_entity; INVERSE SELF\attribute_entity.test RENAMED test2 : attribute_entity FOR test; END_ENTITY;
+ENTITY unique_entity; test : BOOLEAN; UNIQUE test; END_ENTITY;
+ENTITY unique_label_entity; test : BOOLEAN; UNIQUE UR1 : test; END_ENTITY;
+ENTITY unique_qualified_entity; UNIQUE SELF\attribute_entity.test; END_ENTITY;
+ENTITY unique_label_qualified_entity; UNIQUE UR1 : SELF\attribute_entity.test; END_ENTITY;
+ENTITY where_entity; WHERE TRUE; END_ENTITY;
+ENTITY where_label_entity; WHERE WR1 : TRUE; END_ENTITY;
+
+-- subtype constraints
+SUBTYPE_CONSTRAINT empty_subtype_constraint FOR empty_entity; END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT abstract_supertype_subtype_constraint FOR empty_entity; ABSTRACT SUPERTYPE; END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT total_over_subtype_constraint FOR empty_entity; TOTAL_OVER(a); END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_subtype_constraint FOR empty_entity; a; END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_andor_subtype_constraint FOR empty_entity; a ANDOR b; END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_and_subtype_constraint FOR empty_entity; a AND b; END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_andor_and_subtype_constraint FOR empty_entity; a ANDOR b AND c; END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_and_andor_subtype_constraint FOR empty_entity; a AND b ANDOR c; END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_parenthesis_andor_and_subtype_constraint FOR empty_entity; (a ANDOR b) AND c; END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_and_parenthesis_andor_subtype_constraint FOR empty_entity; a AND (b ANDOR c); END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_oneof_subtype_constraint FOR empty_entity; ONEOF(a, b); END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_and_oneof_subtype_constraint FOR empty_entity; a AND ONEOF(b, c); END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_andor_oneof_subtype_constraint FOR empty_entity; a ANDOR ONEOF(b, c); END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_oneof_and_subtype_constraint FOR empty_entity; ONEOF(a, b) AND c; END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_oneof_andor_subtype_constraint FOR empty_entity; ONEOF(a, b) ANDOR c; END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_oneof_and_oneof_subtype_constraint FOR empty_entity; ONEOF(a, b) AND ONEOF(c, d); END_SUBTYPE_CONSTRAINT;
+SUBTYPE_CONSTRAINT supertype_expression_oneof_andor_oneof_subtype_constraint FOR empty_entity; ONEOF(a, b) ANDOR ONEOF(c, d); END_SUBTYPE_CONSTRAINT;
+
+-- functions
+FUNCTION empty_function : BOOLEAN; ; END_FUNCTION;
+FUNCTION parameter_function(test : BOOLEAN) : BOOLEAN; ; END_FUNCTION;
+FUNCTION multiple_parameter_function(test : BOOLEAN; test2 : BOOLEAN) : BOOLEAN; ; END_FUNCTION;
+FUNCTION multiple_shorthand_parameter_function(test, test2 : BOOLEAN) : BOOLEAN; ; END_FUNCTION;
+FUNCTION type_function : BOOLEAN; TYPE test = BOOLEAN; END_TYPE; ; END_FUNCTION;
+FUNCTION constant_function : BOOLEAN; CONSTANT test : BOOLEAN := TRUE; END_CONSTANT; ; END_FUNCTION;
+FUNCTION multiple_constant_function : BOOLEAN; CONSTANT test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_CONSTANT; ; END_FUNCTION;
+FUNCTION variable_function : BOOLEAN; LOCAL test : BOOLEAN; END_LOCAL; ; END_FUNCTION;
+FUNCTION multiple_variable_function : BOOLEAN; LOCAL test : BOOLEAN; test2 : BOOLEAN; END_LOCAL; ; END_FUNCTION;
+FUNCTION multiple_shorthand_variable_function : BOOLEAN; LOCAL test, test2 : BOOLEAN; END_LOCAL; ; END_FUNCTION;
+FUNCTION variable_expression_function : BOOLEAN; LOCAL test : BOOLEAN := TRUE; END_LOCAL; ; END_FUNCTION;
+FUNCTION multiple_variable_expression_function : BOOLEAN; LOCAL test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_LOCAL; ; END_FUNCTION;
+FUNCTION multiple_shorthand_variable_expression_function : BOOLEAN; LOCAL test, test2 : BOOLEAN := TRUE; END_LOCAL; ; END_FUNCTION;
+
+-- procedures
+PROCEDURE empty_procedure; END_PROCEDURE;
+PROCEDURE parameter_procedure(test : BOOLEAN); END_PROCEDURE;
+PROCEDURE multiple_parameter_procedure(test : BOOLEAN; test2 : BOOLEAN); END_PROCEDURE;
+PROCEDURE multiple_shorthand_parameter_procedure(test, test2 : BOOLEAN); END_PROCEDURE;
+PROCEDURE variable_parameter_procedure(VAR test : BOOLEAN); END_PROCEDURE;
+PROCEDURE multiple_variable_parameter_procedure(VAR test : BOOLEAN; test2 : BOOLEAN); END_PROCEDURE;
+PROCEDURE multiple_variable_parameter2_procedure(test : BOOLEAN; VAR test2 : BOOLEAN); END_PROCEDURE;
+PROCEDURE multiple_shorthand_variable_parameter_procedure(VAR test, test2 : BOOLEAN); END_PROCEDURE;
+PROCEDURE type_procedure; TYPE test = BOOLEAN; END_TYPE; END_PROCEDURE;
+PROCEDURE constant_procedure; CONSTANT test : BOOLEAN := TRUE; END_CONSTANT; END_PROCEDURE;
+PROCEDURE multiple_constant_procedure; CONSTANT test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_CONSTANT; END_PROCEDURE;
+PROCEDURE variable_procedure; LOCAL test : BOOLEAN; END_LOCAL; END_PROCEDURE;
+PROCEDURE multiple_variable_procedure; LOCAL test : BOOLEAN; test2 : BOOLEAN; END_LOCAL; END_PROCEDURE;
+PROCEDURE multiple_shorthand_variable_procedure; LOCAL test, test2 : BOOLEAN; END_LOCAL; END_PROCEDURE;
+PROCEDURE variable_expression_procedure; LOCAL test : BOOLEAN := TRUE; END_LOCAL; END_PROCEDURE;
+PROCEDURE multiple_variable_expression_procedure; LOCAL test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_LOCAL; END_PROCEDURE;
+PROCEDURE multiple_shorthand_variable_expression_procedure; LOCAL test, test2 : BOOLEAN := TRUE; END_LOCAL; END_PROCEDURE;
+PROCEDURE statement_procedure; ; END_PROCEDURE;
+
+-- rules
+RULE empty_rule FOR (empty_entity); WHERE TRUE; END_RULE;
+RULE type_rule FOR (empty_entity); TYPE test = BOOLEAN; END_TYPE; WHERE TRUE; END_RULE;
+RULE constant_rule FOR (empty_entity); CONSTANT test : BOOLEAN := TRUE; END_CONSTANT; WHERE TRUE; END_RULE;
+RULE multiple_constant_rule FOR (empty_entity); CONSTANT test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_CONSTANT; WHERE TRUE; END_RULE;
+RULE variable_rule FOR (empty_entity); LOCAL test : BOOLEAN; END_LOCAL; WHERE TRUE; END_RULE;
+RULE multiple_variable_rule FOR (empty_entity); LOCAL test : BOOLEAN; test2 : BOOLEAN; END_LOCAL; WHERE TRUE; END_RULE;
+RULE multiple_shorthand_variable_rule FOR (empty_entity); LOCAL test, test2 : BOOLEAN; END_LOCAL; WHERE TRUE; END_RULE;
+RULE variable_expression_rule FOR (empty_entity); LOCAL test : BOOLEAN := TRUE; END_LOCAL; WHERE TRUE; END_RULE;
+RULE multiple_variable_expression_rule FOR (empty_entity); LOCAL test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_LOCAL; WHERE TRUE; END_RULE;
+RULE multiple_shorthand_variable_expression_rule FOR (empty_entity); LOCAL test, test2 : BOOLEAN := TRUE; END_LOCAL; WHERE TRUE; END_RULE;
+RULE statement_rule FOR (empty_entity); ; WHERE TRUE; END_RULE;
+
+-- simple types
+TYPE binary_type = BINARY; END_TYPE;
+TYPE binary_width_type = BINARY (3); END_TYPE;
+TYPE binary_width_fixed_type = BINARY (3) FIXED; END_TYPE;
+TYPE boolean_type = BOOLEAN; END_TYPE;
+TYPE integer_type = INTEGER; END_TYPE;
+TYPE logical_type = LOGICAL; END_TYPE;
+TYPE number_type = NUMBER; END_TYPE;
+TYPE real_type = REAL; END_TYPE;
+TYPE real_precision_type = REAL (3); END_TYPE;
+TYPE string_type = STRING; END_TYPE;
+TYPE string_width_type = STRING (3); END_TYPE;
+TYPE string_width_fixed_type = STRING (3) FIXED; END_TYPE;
+
+-- aggregation types
+TYPE array_type = ARRAY [1:9] OF STRING; END_TYPE;
+TYPE array_optional_type = ARRAY [1:9] OF OPTIONAL STRING; END_TYPE;
+TYPE array_unique_type = ARRAY [1:9] OF UNIQUE STRING; END_TYPE;
+TYPE array_optional_unique_type = ARRAY [1:9] OF OPTIONAL UNIQUE STRING; END_TYPE;
+TYPE bag_type = BAG OF STRING; END_TYPE;
+TYPE bag_bound_type = BAG [1:9] OF STRING; END_TYPE;
+TYPE list_type = LIST OF STRING; END_TYPE;
+TYPE list_bound_type = LIST [1:9] OF STRING; END_TYPE;
+TYPE list_unique_type = LIST OF UNIQUE STRING; END_TYPE;
+TYPE list_bound_unique_type = LIST [1:9] OF UNIQUE STRING; END_TYPE;
+TYPE set_type = SET OF STRING; END_TYPE;
+TYPE set_bound_type = SET [1:9] OF STRING; END_TYPE;
+
+-- constructed types
+TYPE select_type = SELECT; END_TYPE;
+TYPE select_extensible_type = EXTENSIBLE SELECT; END_TYPE;
+TYPE select_extensible_generic_entity_type = EXTENSIBLE GENERIC_ENTITY SELECT; END_TYPE;
+TYPE select_list_type = SELECT (empty_type); END_TYPE;
+TYPE select_extension_type_ref_type = SELECT BASED_ON select_type; END_TYPE;
+TYPE select_extension_type_ref_list_type = SELECT BASED_ON select_type WITH (empty_type); END_TYPE;
+TYPE enumeration_type = ENUMERATION; END_TYPE;
+TYPE enumeration_extensible_type = EXTENSIBLE ENUMERATION; END_TYPE;
+TYPE enumeration_list_type = ENUMERATION OF (test); END_TYPE;
+TYPE enumeration_extension_type_ref_type = ENUMERATION BASED_ON enumeration_type; END_TYPE;
+TYPE enumeration_extension_type_ref_list_type = ENUMERATION BASED_ON enumeration_type WITH (test); END_TYPE;
+
+-- statements
+FUNCTION alias_simple_reference_statement : BOOLEAN; ALIAS test FOR test; ; END_ALIAS; END_FUNCTION;
+FUNCTION alias_attribute_reference_statement : BOOLEAN; ALIAS test FOR test.test; ; END_ALIAS; END_FUNCTION;
+FUNCTION alias_group_reference_statement : BOOLEAN; ALIAS test FOR test\test; ; END_ALIAS; END_FUNCTION;
+FUNCTION alias_index_reference_statement : BOOLEAN; ALIAS test FOR test[1]; ; END_ALIAS; END_FUNCTION;
+FUNCTION alias_index2_reference_statement : BOOLEAN; ALIAS test FOR test[1:9]; ; END_ALIAS; END_FUNCTION;
+FUNCTION assignment_simple_reference_statement : BOOLEAN; test := TRUE; END_FUNCTION;
+FUNCTION assignment_attribute_reference_statement : BOOLEAN; test.test := TRUE; END_FUNCTION;
+FUNCTION assignment_group_reference_statement : BOOLEAN; test\test := TRUE; END_FUNCTION;
+FUNCTION assignment_index_reference_statement : BOOLEAN; test[1] := TRUE; END_FUNCTION;
+FUNCTION assignment_index2_reference_statement : BOOLEAN; test[1:9] := TRUE; END_FUNCTION;
+FUNCTION case_statement : BOOLEAN; CASE test OF TRUE : ; END_CASE; END_FUNCTION;
+FUNCTION case_multiple_statement : BOOLEAN; CASE test OF TRUE : ; TRUE : ; END_CASE; END_FUNCTION;
+FUNCTION case_multiple_shorthand_statement : BOOLEAN; CASE test OF TRUE, TRUE : ; END_CASE; END_FUNCTION;
+FUNCTION case_otherwise_statement : BOOLEAN; CASE test OF TRUE : ; OTHERWISE : ; END_CASE; END_FUNCTION;
+FUNCTION compound_statement : BOOLEAN; BEGIN ; END; END_FUNCTION;
+FUNCTION escape_statement : BOOLEAN; ESCAPE; END_FUNCTION;
+FUNCTION if_statement : BOOLEAN; IF TRUE THEN ; END_IF; END_FUNCTION;
+FUNCTION if2_statement : BOOLEAN; IF TRUE THEN ; ; END_IF; END_FUNCTION;
+FUNCTION if_else_statement : BOOLEAN; IF TRUE THEN ; ELSE ; END_IF; END_FUNCTION;
+FUNCTION if2_else_statement : BOOLEAN; IF TRUE THEN ; ; ELSE ; END_IF; END_FUNCTION;
+FUNCTION if_else2_statement : BOOLEAN; IF TRUE THEN ; ELSE ; ; END_IF; END_FUNCTION;
+FUNCTION if2_else2_statement : BOOLEAN; IF TRUE THEN ; ; ELSE ; ; END_IF; END_FUNCTION;
+FUNCTION null_statement : BOOLEAN; ; END_FUNCTION;
+FUNCTION call_statement : BOOLEAN; empty_procedure; END_FUNCTION;
+FUNCTION call_parameter_statement : BOOLEAN; empty_procedure(TRUE); END_FUNCTION;
+FUNCTION call_parameter2_statement : BOOLEAN; empty_procedure(TRUE, TRUE); END_FUNCTION;
+FUNCTION call_insert_statement : BOOLEAN; INSERT(TRUE); END_FUNCTION;
+FUNCTION call_remove_statement : BOOLEAN; REMOVE(TRUE); END_FUNCTION;
+FUNCTION repeat_statement : BOOLEAN; REPEAT; ; END_REPEAT; END_FUNCTION;
+FUNCTION repeat_variable_statement : BOOLEAN; REPEAT test := 1 TO 9; ; END_REPEAT; END_FUNCTION;
+FUNCTION repeat_variable_increment_statement : BOOLEAN; REPEAT test := 1 TO 9 BY 2; ; END_REPEAT; END_FUNCTION;
+FUNCTION repeat_while_statement : BOOLEAN; REPEAT WHILE TRUE; ; END_REPEAT; END_FUNCTION;
+FUNCTION repeat_until_statement : BOOLEAN; REPEAT UNTIL TRUE; ; END_REPEAT; END_FUNCTION;
+FUNCTION return_statement : BOOLEAN; RETURN; END_FUNCTION;
+FUNCTION return_expression_statement : BOOLEAN; RETURN (TRUE); END_FUNCTION;
+FUNCTION skip_statement : BOOLEAN; SKIP; END_FUNCTION;
+
+-- literal expressions
+FUNCTION binary_expression : BOOLEAN; RETURN (%011110000111100001111000); END_FUNCTION;
+FUNCTION integer_expression : BOOLEAN; RETURN (999); END_FUNCTION;
+FUNCTION true_logical_expression : BOOLEAN; RETURN (TRUE); END_FUNCTION;
+FUNCTION false_logical_expression : BOOLEAN; RETURN (FALSE); END_FUNCTION;
+FUNCTION unknown_logical_expression : BOOLEAN; RETURN (UNKNOWN); END_FUNCTION;
+FUNCTION real_expression : BOOLEAN; RETURN (999.999); END_FUNCTION;
+FUNCTION simple_string_expression : BOOLEAN; RETURN ('xxx'); END_FUNCTION;
+FUNCTION encoded_string_expression : BOOLEAN; RETURN ("000000780000007800000078"); END_FUNCTION;
+
+-- constant expressions
+FUNCTION const_e_expression : BOOLEAN; RETURN (CONST_E); END_FUNCTION;
+FUNCTION indeterminate_expression : BOOLEAN; RETURN (?); END_FUNCTION;
+FUNCTION pi_expression : BOOLEAN; RETURN (PI); END_FUNCTION;
+FUNCTION self_expression : BOOLEAN; RETURN (SELF); END_FUNCTION;
+
+-- function expressions
+FUNCTION abs_expression : BOOLEAN; RETURN (ABS(TRUE)); END_FUNCTION;
+FUNCTION acos_expression : BOOLEAN; RETURN (ACOS(TRUE)); END_FUNCTION;
+FUNCTION asin_expression : BOOLEAN; RETURN (ASIN(TRUE)); END_FUNCTION;
+FUNCTION atan_expression : BOOLEAN; RETURN (ATAN(TRUE)); END_FUNCTION;
+FUNCTION blength_expression : BOOLEAN; RETURN (BLENGTH(TRUE)); END_FUNCTION;
+FUNCTION cos_expression : BOOLEAN; RETURN (COS(TRUE)); END_FUNCTION;
+FUNCTION exists_expression : BOOLEAN; RETURN (EXISTS(TRUE)); END_FUNCTION;
+FUNCTION exp_expression : BOOLEAN; RETURN (EXP(TRUE)); END_FUNCTION;
+FUNCTION format_expression : BOOLEAN; RETURN (FORMAT(TRUE)); END_FUNCTION;
+FUNCTION hibound_expression : BOOLEAN; RETURN (HIBOUND(TRUE)); END_FUNCTION;
+FUNCTION hiindex_expression : BOOLEAN; RETURN (HIINDEX(TRUE)); END_FUNCTION;
+FUNCTION length_expression : BOOLEAN; RETURN (LENGTH(TRUE)); END_FUNCTION;
+FUNCTION lobound_expression : BOOLEAN; RETURN (LOBOUND(TRUE)); END_FUNCTION;
+FUNCTION loindex_expression : BOOLEAN; RETURN (LOINDEX(TRUE)); END_FUNCTION;
+FUNCTION log_expression : BOOLEAN; RETURN (LOG(TRUE)); END_FUNCTION;
+FUNCTION log2_expression : BOOLEAN; RETURN (LOG2(TRUE)); END_FUNCTION;
+FUNCTION log10_expression : BOOLEAN; RETURN (LOG10(TRUE)); END_FUNCTION;
+FUNCTION nvl_expression : BOOLEAN; RETURN (NVL(TRUE)); END_FUNCTION;
+FUNCTION odd_expression : BOOLEAN; RETURN (ODD(TRUE)); END_FUNCTION;
+FUNCTION rolesof_expression : BOOLEAN; RETURN (ROLESOF(TRUE)); END_FUNCTION;
+FUNCTION sin_expression : BOOLEAN; RETURN (SIN(TRUE)); END_FUNCTION;
+FUNCTION sizeof_expression : BOOLEAN; RETURN (SIZEOF(TRUE)); END_FUNCTION;
+FUNCTION sqrt_expression : BOOLEAN; RETURN (SQRT(TRUE)); END_FUNCTION;
+FUNCTION tan_expression : BOOLEAN; RETURN (TAN(TRUE)); END_FUNCTION;
+FUNCTION typeof_expression : BOOLEAN; RETURN (TYPEOF(TRUE)); END_FUNCTION;
+FUNCTION usedin_expression : BOOLEAN; RETURN (USEDIN(TRUE)); END_FUNCTION;
+FUNCTION value_expression : BOOLEAN; RETURN (VALUE(TRUE)); END_FUNCTION;
+FUNCTION value_in_expression : BOOLEAN; RETURN (VALUE_IN(TRUE)); END_FUNCTION;
+FUNCTION value_unique_expression : BOOLEAN; RETURN (VALUE_UNIQUE(TRUE)); END_FUNCTION;
+
+-- operator expressions
+FUNCTION plus_expression : BOOLEAN; RETURN (+4); END_FUNCTION;
+FUNCTION plus_addition_expression : BOOLEAN; RETURN (+(4 + 2)); END_FUNCTION;
+FUNCTION minus_expression : BOOLEAN; RETURN (-4); END_FUNCTION;
+FUNCTION minus_addition_expression : BOOLEAN; RETURN (-(4 + 2)); END_FUNCTION;
+FUNCTION addition_expression : BOOLEAN; RETURN (4 + 2); END_FUNCTION;
+FUNCTION subtraction_expression : BOOLEAN; RETURN (4 - 2); END_FUNCTION;
+FUNCTION multiplication_expression : BOOLEAN; RETURN (4 * 2); END_FUNCTION;
+FUNCTION real_division_expression : BOOLEAN; RETURN (4 / 2); END_FUNCTION;
+FUNCTION integer_division_expression : BOOLEAN; RETURN (4 DIV 2); END_FUNCTION;
+FUNCTION modulo_expression : BOOLEAN; RETURN (4 MOD 2); END_FUNCTION;
+FUNCTION exponentiation_expression : BOOLEAN; RETURN (4 ** 2); END_FUNCTION;
+FUNCTION addition_addition_expression : BOOLEAN; RETURN (4 + 2 + 1); END_FUNCTION;
+FUNCTION subtraction_subtraction_expression : BOOLEAN; RETURN (4 - 2 - 1); END_FUNCTION;
+FUNCTION addition_subtraction_expression : BOOLEAN; RETURN (4 + 2 - 1); END_FUNCTION;
+FUNCTION subtraction_addition_expression : BOOLEAN; RETURN (4 - 2 + 1); END_FUNCTION;
+FUNCTION addition_multiplication_expression : BOOLEAN; RETURN (8 + 4 * 2); END_FUNCTION;
+FUNCTION multiplication_addition_expression : BOOLEAN; RETURN (8 * 4 + 2); END_FUNCTION;
+FUNCTION parenthesis_addition_multiplication_expression : BOOLEAN; RETURN ((8 + 4) * 2); END_FUNCTION;
+FUNCTION multiplication_parenthesis_addition_expression : BOOLEAN; RETURN (8 * (4 + 2)); END_FUNCTION;
+FUNCTION equal_expression : BOOLEAN; RETURN (4 = 2); END_FUNCTION;
+FUNCTION not_equal_expression : BOOLEAN; RETURN (4 <> 2); END_FUNCTION;
+FUNCTION instance_equal_expression : BOOLEAN; RETURN (4 :=: 2); END_FUNCTION;
+FUNCTION instance_not_equal_expression : BOOLEAN; RETURN (4 :<>: 2); END_FUNCTION;
+FUNCTION lt_expression : BOOLEAN; RETURN (4 < 2); END_FUNCTION;
+FUNCTION gt_expression : BOOLEAN; RETURN (4 > 2); END_FUNCTION;
+FUNCTION lte_expression : BOOLEAN; RETURN (4 <= 2); END_FUNCTION;
+FUNCTION gte_expression : BOOLEAN; RETURN (4 >= 2); END_FUNCTION;
+FUNCTION not_expression : BOOLEAN; RETURN (NOT TRUE); END_FUNCTION;
+FUNCTION not_or_expression : BOOLEAN; RETURN (NOT (TRUE OR FALSE)); END_FUNCTION;
+FUNCTION or_expression : BOOLEAN; RETURN (TRUE OR FALSE); END_FUNCTION;
+FUNCTION and_expression : BOOLEAN; RETURN (TRUE AND FALSE); END_FUNCTION;
+FUNCTION or_or_expression : BOOLEAN; RETURN (TRUE OR FALSE OR TRUE); END_FUNCTION;
+FUNCTION and_and_expression : BOOLEAN; RETURN (TRUE AND FALSE AND TRUE); END_FUNCTION;
+FUNCTION or_and_expression : BOOLEAN; RETURN (TRUE OR FALSE AND TRUE); END_FUNCTION;
+FUNCTION and_or_expression : BOOLEAN; RETURN (TRUE AND FALSE OR TRUE); END_FUNCTION;
+FUNCTION parenthesis_or_and_expression : BOOLEAN; RETURN ((TRUE OR FALSE) AND TRUE); END_FUNCTION;
+FUNCTION and_parenthesis_or_expression : BOOLEAN; RETURN (TRUE AND (FALSE OR TRUE)); END_FUNCTION;
+FUNCTION combine_expression : BOOLEAN; RETURN (test || test); END_FUNCTION;
+FUNCTION in_expression : BOOLEAN; RETURN (TRUE IN [TRUE]); END_FUNCTION;
+FUNCTION like_expression : BOOLEAN; RETURN ('xxx' LIKE 'xxx'); END_FUNCTION;
+
+-- aggregate initializer expressions
+FUNCTION aggregate_initializer_expression : BOOLEAN; RETURN ([4]); END_FUNCTION;
+FUNCTION repeated_aggregate_initializer_expression : BOOLEAN; RETURN ([4:2]); END_FUNCTION;
+FUNCTION complex_aggregate_initializer_expression : BOOLEAN; RETURN ([4 + 2]); END_FUNCTION;
+FUNCTION complex_repeated_aggregate_initializer_expression : BOOLEAN; RETURN ([4 + 2:4 + 2]); END_FUNCTION;
+
+-- function call or entity constructor expressions
+FUNCTION call_expression : BOOLEAN; RETURN (parameter_function(TRUE)); END_FUNCTION;
+
+-- reference expressions
+FUNCTION simple_reference_expression : BOOLEAN; RETURN (simple_string_expression); END_FUNCTION;
+FUNCTION attribute_reference_expression : BOOLEAN; RETURN (simple_string_expression.test); END_FUNCTION;
+FUNCTION group_reference_expression : BOOLEAN; RETURN (simple_string_expression\test); END_FUNCTION;
+FUNCTION index_reference_expression : BOOLEAN; RETURN (simple_string_expression[1]); END_FUNCTION;
+FUNCTION index2_reference_expression : BOOLEAN; RETURN (simple_string_expression[1:9]); END_FUNCTION;
+
+-- interval expressions
+FUNCTION lt_lt_interval_expression : BOOLEAN; RETURN ({1 < 5 < 9}); END_FUNCTION;
+FUNCTION lte_lt_interval_expression : BOOLEAN; RETURN ({1 <= 5 < 9}); END_FUNCTION;
+FUNCTION lt_lte_interval_expression : BOOLEAN; RETURN ({1 < 5 <= 9}); END_FUNCTION;
+FUNCTION lte_lte_interval_expression : BOOLEAN; RETURN ({1 <= 5 <= 9}); END_FUNCTION;
+
+-- query expressions
+FUNCTION query_expression : BOOLEAN; RETURN (QUERY(test <* test2 | TRUE)); END_FUNCTION;
+END_SCHEMA;