expressir 1.4.3 → 2.0.0

data/spec/syntax/remark_formatted.exp

@@ -1,228 +0,0 @@
-SCHEMA remark_schema;
-
-CONSTANT
-  remark_constant : STRING := 'xxx';
-END_CONSTANT;
-
-TYPE remark_type = ENUMERATION OF
-  (remark_enumeration_item);
-WHERE
-  WR1: TRUE;
-END_TYPE;
-
-ENTITY remark_entity;
-  remark_attribute : STRING;
-DERIVE
-  remark_derived_attribute : STRING := 'xxx';
-INVERSE
-  remark_inverse_attribute : remark_entity FOR remark_attribute;
-UNIQUE
-  UR1: remark_attribute;
-WHERE
-  WR1: 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;
-
-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
-  WR1: TRUE;
-END_RULE;
-
-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;
-
-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" UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.
---"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_type.remark_enumeration_item" schema scope - enumeration item
---"remark_schema.remark_type.remark_enumeration_item" schema scope - enumeration item, on the same level as the type
---"remark_schema.remark_type.remark_enumeration_item" universal scope - enumeration item
---"remark_schema.remark_type.remark_enumeration_item" universal scope - enumeration item, on the same level as the type
---"remark_schema.remark_type.WR1" type scope - type where
---"remark_schema.remark_type.WR1" type scope - type where, with prefix
---"remark_schema.remark_type.WR1" schema scope - type where
---"remark_schema.remark_type.WR1" schema scope - type where, with prefix
---"remark_schema.remark_type.WR1" universal scope - type where
---"remark_schema.remark_type.WR1" universal scope - type where, with prefix
---"remark_schema.remark_type.IP1" type scope - type informal proposition
---"remark_schema.remark_type.IP1" type scope - type informal proposition, with prefix
---"remark_schema.remark_type.IP1" schema scope - type informal proposition
---"remark_schema.remark_type.IP1" schema scope - type informal proposition, with prefix
---"remark_schema.remark_type.IP1" universal scope - type informal proposition
---"remark_schema.remark_type.IP1" universal scope - type informal proposition, with prefix
---"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.UR1" entity scope - entity unique
---"remark_schema.remark_entity.UR1" schema scope - entity unique
---"remark_schema.remark_entity.UR1" universal scope - entity unique
---"remark_schema.remark_entity.WR1" entity scope - entity where
---"remark_schema.remark_entity.WR1" entity scope - entity where, with prefix
---"remark_schema.remark_entity.WR1" schema scope - entity where
---"remark_schema.remark_entity.WR1" schema scope - entity where, with prefix
---"remark_schema.remark_entity.WR1" universal scope - entity where
---"remark_schema.remark_entity.WR1" universal scope - entity where, with prefix
---"remark_schema.remark_entity.WR1.unusual_placement" placed inside WHERE clauses (or other enumerable context)
---"remark_schema.remark_entity.IP1" entity scope - entity informal proposition
---"remark_schema.remark_entity.IP1" entity scope - entity informal proposition, with prefix
---"remark_schema.remark_entity.IP1" schema scope - entity informal proposition
---"remark_schema.remark_entity.IP1" schema scope - entity informal proposition, with prefix
---"remark_schema.remark_entity.IP1" universal scope - entity informal proposition
---"remark_schema.remark_entity.IP1" universal scope - entity informal proposition, with prefix
---"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_type.remark_enumeration_item" function scope - function enumeration item
---"remark_schema.remark_function.remark_type.remark_enumeration_item" function scope - function enumeration item, on the same level as the type
---"remark_schema.remark_function.remark_type.remark_enumeration_item" schema scope - function enumeration item
---"remark_schema.remark_function.remark_type.remark_enumeration_item" schema scope - function enumeration item, on the same level as the type
---"remark_schema.remark_function.remark_type.remark_enumeration_item" universal scope - function enumeration item
---"remark_schema.remark_function.remark_type.remark_enumeration_item" universal scope - function enumeration item, on the same level as the type
---"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_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_type.remark_enumeration_item" rule scope - rule enumeration item
---"remark_schema.remark_rule.remark_type.remark_enumeration_item" rule scope - rule enumeration item, on the same level as the type
---"remark_schema.remark_rule.remark_type.remark_enumeration_item" schema scope - rule enumeration item
---"remark_schema.remark_rule.remark_type.remark_enumeration_item" schema scope - rule enumeration item, on the same level as the type
---"remark_schema.remark_rule.remark_type.remark_enumeration_item" universal scope - rule enumeration item
---"remark_schema.remark_rule.remark_type.remark_enumeration_item" universal scope - rule enumeration item, on the same level as the type
---"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.WR1" rule scope - rule where
---"remark_schema.remark_rule.WR1" rule scope - rule where, with prefix
---"remark_schema.remark_rule.WR1" schema scope - rule where
---"remark_schema.remark_rule.WR1" schema scope - rule where, with prefix
---"remark_schema.remark_rule.WR1" universal scope - rule where
---"remark_schema.remark_rule.WR1" universal scope - rule where, with prefix
---"remark_schema.remark_rule.IP1" rule scope - rule informal proposition
---"remark_schema.remark_rule.IP1" rule scope - rule informal proposition, with prefix
---"remark_schema.remark_rule.IP1" schema scope - rule informal proposition
---"remark_schema.remark_rule.IP1" schema scope - rule informal proposition, with prefix
---"remark_schema.remark_rule.IP1" universal scope - rule informal proposition
---"remark_schema.remark_rule.IP1" universal scope - rule informal proposition, with prefix
---"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_type.remark_enumeration_item" procedure scope - procedure enumeration item
---"remark_schema.remark_procedure.remark_type.remark_enumeration_item" procedure scope - procedure enumeration item, on the same level as the type
---"remark_schema.remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item
---"remark_schema.remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item, on the same level as the type
---"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item
---"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item, on the same level as the type
---"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_item" schema scope - schema remark item
---"remark_schema.remark_item" universal scope - schema remark item

data/spec/syntax/single.exp

@@ -1,4 +0,0 @@
-SCHEMA single_schema 'version';
-ENTITY empty_entity; END_ENTITY;
-ENTITY subtype_empty_entity SUBTYPE OF (empty_entity); END_ENTITY;
-END_SCHEMA;

data/spec/syntax/single.yaml

@@ -1,18 +0,0 @@
----
-_class: Expressir::Model::Repository
-schemas:
-- _class: Expressir::Model::Declarations::Schema
-  file: spec/syntax/single.exp
-  id: single_schema
-  version:
-    _class: Expressir::Model::Declarations::SchemaVersion
-    value: version
-  entities:
-  - _class: Expressir::Model::Declarations::Entity
-    id: empty_entity
-  - _class: Expressir::Model::Declarations::Entity
-    id: subtype_empty_entity
-    subtype_of:
-    - _class: Expressir::Model::References::SimpleReference
-      id: empty_entity
-      base_path: single_schema.empty_entity

data/spec/syntax/single_formatted.exp

@@ -1,10 +0,0 @@
-SCHEMA single_schema 'version';
-
-ENTITY empty_entity;
-END_ENTITY;
-
-ENTITY subtype_empty_entity
-  SUBTYPE OF (empty_entity);
-END_ENTITY;
-
-END_SCHEMA;

data/spec/syntax/single_formatted.yaml

@@ -1,36 +0,0 @@
----
-_class: Expressir::Model::Repository
-schemas:
-- _class: Expressir::Model::Declarations::Schema
-  file: spec/syntax/single.exp
-  id: single_schema
-  version:
-    _class: Expressir::Model::Declarations::SchemaVersion
-    value: version
-  entities:
-  - _class: Expressir::Model::Declarations::Entity
-    id: empty_entity
-    source: |-
-      ENTITY empty_entity;
-      END_ENTITY;
-  - _class: Expressir::Model::Declarations::Entity
-    id: subtype_empty_entity
-    subtype_of:
-    - _class: Expressir::Model::References::SimpleReference
-      id: empty_entity
-      base_path: single_schema.empty_entity
-    source: |-
-      ENTITY subtype_empty_entity
-        SUBTYPE OF (empty_entity);
-      END_ENTITY;
-  source: |-
-    SCHEMA single_schema 'version';
-
-    ENTITY empty_entity;
-    END_ENTITY;
-
-    ENTITY subtype_empty_entity
-      SUBTYPE OF (empty_entity);
-    END_ENTITY;
-
-    END_SCHEMA;

data/spec/syntax/syntax.exp

@@ -1,333 +0,0 @@
--- schema
-SCHEMA syntax_schema '{ISO standard 10303 part(41) object(1) version(8)}';
-
--- interfaces
-USE FROM contract_schema;
-USE FROM contract_schema (contract);
-USE FROM contract_schema (contract, contract2);
-USE FROM contract_schema (contract AS contract2);
-REFERENCE FROM contract_schema;
-REFERENCE FROM contract_schema (contract);
-REFERENCE FROM contract_schema (contract, contract2);
-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 SUBTYPE OF (attribute_entity); SELF\attribute_entity.test : BOOLEAN; END_ENTITY;
-ENTITY attribute_redeclared_renamed_entity SUBTYPE OF (attribute_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 SUBTYPE OF (attribute_entity); DERIVE SELF\attribute_entity.test : BOOLEAN := TRUE; END_ENTITY;
-ENTITY derived_attribute_redeclared_renamed_entity SUBTYPE OF (attribute_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 SUBTYPE OF (attribute_entity); INVERSE SELF\attribute_entity.test : attribute_entity FOR test; END_ENTITY;
-ENTITY inverse_attribute_redeclared_renamed_entity SUBTYPE OF (attribute_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_redeclared_entity SUBTYPE OF (attribute_entity); UNIQUE SELF\attribute_entity.test; END_ENTITY;
-ENTITY unique_label_redeclared_entity SUBTYPE OF (attribute_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;
-
--- 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;
-RULE where_label_rule FOR (empty_entity); WHERE WR1: TRUE; END_RULE;
-
--- 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;
-
-PROCEDURE statements;
-  -- statements
-  PROCEDURE alias_simple_reference_statement; ALIAS test FOR test; ; END_ALIAS; END_PROCEDURE;
-  PROCEDURE alias_group_reference_statement; ALIAS test FOR test\test2; ; END_ALIAS; END_PROCEDURE;
-  PROCEDURE alias_index_reference_statement; ALIAS test FOR test[1]; ; END_ALIAS; END_PROCEDURE;
-  PROCEDURE alias_index2_reference_statement; ALIAS test FOR test[1:9]; ; END_ALIAS; END_PROCEDURE;
-  PROCEDURE alias_attribute_reference_statement; ALIAS test FOR test.test2; ; END_ALIAS; END_PROCEDURE;
-  PROCEDURE assignment_simple_reference_statement; test := TRUE; END_PROCEDURE;
-  PROCEDURE assignment_group_reference_statement; test\test2 := TRUE; END_PROCEDURE;
-  PROCEDURE assignment_index_reference_statement; test[1] := TRUE; END_PROCEDURE;
-  PROCEDURE assignment_index2_reference_statement; test[1:9] := TRUE; END_PROCEDURE;
-  PROCEDURE assignment_attribute_reference_statement; test.test2 := TRUE; END_PROCEDURE;
-  PROCEDURE case_statement; CASE test OF TRUE : ; END_CASE; END_PROCEDURE;
-  PROCEDURE case_multiple_statement; CASE test OF TRUE : ; TRUE : ; END_CASE; END_PROCEDURE;
-  PROCEDURE case_multiple_shorthand_statement; CASE test OF TRUE, TRUE : ; END_CASE; END_PROCEDURE;
-  PROCEDURE case_otherwise_statement; CASE test OF TRUE : ; OTHERWISE : ; END_CASE; END_PROCEDURE;
-  PROCEDURE compound_statement; BEGIN ; END; END_PROCEDURE;
-  PROCEDURE escape_statement; ESCAPE; END_PROCEDURE;
-  PROCEDURE if_statement; IF TRUE THEN ; END_IF; END_PROCEDURE;
-  PROCEDURE if2_statement; IF TRUE THEN ; ; END_IF; END_PROCEDURE;
-  PROCEDURE if_else_statement; IF TRUE THEN ; ELSE ; END_IF; END_PROCEDURE;
-  PROCEDURE if2_else_statement; IF TRUE THEN ; ; ELSE ; END_IF; END_PROCEDURE;
-  PROCEDURE if_else2_statement; IF TRUE THEN ; ELSE ; ; END_IF; END_PROCEDURE;
-  PROCEDURE if2_else2_statement; IF TRUE THEN ; ; ELSE ; ; END_IF; END_PROCEDURE;
-  PROCEDURE null_statement; ; END_PROCEDURE;
-  PROCEDURE call_statement; empty_procedure; END_PROCEDURE;
-  PROCEDURE call_parameter_statement; empty_procedure(TRUE); END_PROCEDURE;
-  PROCEDURE call_parameter2_statement; empty_procedure(TRUE, TRUE); END_PROCEDURE;
-  PROCEDURE call_insert_statement; INSERT(TRUE); END_PROCEDURE;
-  PROCEDURE call_remove_statement; REMOVE(TRUE); END_PROCEDURE;
-  PROCEDURE repeat_statement; REPEAT; ; END_REPEAT; END_PROCEDURE;
-  PROCEDURE repeat_variable_statement; REPEAT test := 1 TO 9; ; END_REPEAT; END_PROCEDURE;
-  PROCEDURE repeat_variable_increment_statement; REPEAT test := 1 TO 9 BY 2; ; END_REPEAT; END_PROCEDURE;
-  PROCEDURE repeat_while_statement; REPEAT WHILE TRUE; ; END_REPEAT; END_PROCEDURE;
-  PROCEDURE repeat_until_statement; REPEAT UNTIL TRUE; ; END_REPEAT; END_PROCEDURE;
-  PROCEDURE return_statement; RETURN; END_PROCEDURE;
-  PROCEDURE return_expression_statement; RETURN (TRUE); END_PROCEDURE;
-  PROCEDURE skip_statement; SKIP; END_PROCEDURE;
-END_PROCEDURE;
-
-PROCEDURE types;
-  -- 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_item_type = SELECT (empty_type); END_TYPE;
-  TYPE select_multiple_item_type = SELECT (empty_type, empty_type); END_TYPE;
-  TYPE select_based_on_type = SELECT BASED_ON select_type; END_TYPE;
-  TYPE select_based_on_item_type = SELECT BASED_ON select_type WITH (empty_type); END_TYPE;
-  TYPE select_based_on_multiple_item_type = SELECT BASED_ON select_type WITH (empty_type, empty_type); END_TYPE;
-  TYPE enumeration_type = ENUMERATION; END_TYPE;
-  TYPE enumeration_extensible_type = EXTENSIBLE ENUMERATION; END_TYPE;
-  TYPE enumeration_item_type = ENUMERATION OF (test); END_TYPE;
-  TYPE enumeration_multiple_item_type = ENUMERATION OF (test, test2); END_TYPE;
-  TYPE enumeration_based_on_type = ENUMERATION BASED_ON enumeration_type; END_TYPE;
-  TYPE enumeration_based_on_item_type = ENUMERATION BASED_ON enumeration_type WITH (test); END_TYPE;
-  TYPE enumeration_based_on_multiple_item_type = ENUMERATION BASED_ON enumeration_type WITH (test, test2); END_TYPE;
-
-  -- generic types
-  FUNCTION generic_type : GENERIC; ; END_FUNCTION;
-  FUNCTION generic_label_type : GENERIC:label; ; END_FUNCTION;
-  FUNCTION generic_entity_type : GENERIC_ENTITY; ; END_FUNCTION;
-  FUNCTION generic_entity_label_type : GENERIC_ENTITY:label; ; END_FUNCTION;
-END_PROCEDURE;
-
-PROCEDURE expressions;
-  LOCAL
-    -- literal expressions
-    binary_expression : BOOLEAN := %011110000111100001111000;
-    integer_expression : BOOLEAN := 999;
-    true_logical_expression : BOOLEAN := TRUE;
-    false_logical_expression : BOOLEAN := FALSE;
-    unknown_logical_expression : BOOLEAN := UNKNOWN;
-    real_expression : BOOLEAN := 999.999;
-    simple_string_expression : BOOLEAN := 'xxx';
-    utf8_simple_string_expression : BOOLEAN := 'UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.';
-    encoded_string_expression : BOOLEAN := "000000780000007800000078";
-
-    -- constant expressions
-    const_e_expression : BOOLEAN := CONST_E;
-    indeterminate_expression : BOOLEAN := ?;
-    pi_expression : BOOLEAN := PI;
-    self_expression : BOOLEAN := SELF;
-
-    -- function expressions
-    abs_expression : BOOLEAN := ABS(TRUE);
-    acos_expression : BOOLEAN := ACOS(TRUE);
-    asin_expression : BOOLEAN := ASIN(TRUE);
-    atan_expression : BOOLEAN := ATAN(TRUE);
-    blength_expression : BOOLEAN := BLENGTH(TRUE);
-    cos_expression : BOOLEAN := COS(TRUE);
-    exists_expression : BOOLEAN := EXISTS(TRUE);
-    exp_expression : BOOLEAN := EXP(TRUE);
-    format_expression : BOOLEAN := FORMAT(TRUE);
-    hibound_expression : BOOLEAN := HIBOUND(TRUE);
-    hiindex_expression : BOOLEAN := HIINDEX(TRUE);
-    length_expression : BOOLEAN := LENGTH(TRUE);
-    lobound_expression : BOOLEAN := LOBOUND(TRUE);
-    loindex_expression : BOOLEAN := LOINDEX(TRUE);
-    log_expression : BOOLEAN := LOG(TRUE);
-    log2_expression : BOOLEAN := LOG2(TRUE);
-    log10_expression : BOOLEAN := LOG10(TRUE);
-    nvl_expression : BOOLEAN := NVL(TRUE);
-    odd_expression : BOOLEAN := ODD(TRUE);
-    rolesof_expression : BOOLEAN := ROLESOF(TRUE);
-    sin_expression : BOOLEAN := SIN(TRUE);
-    sizeof_expression : BOOLEAN := SIZEOF(TRUE);
-    sqrt_expression : BOOLEAN := SQRT(TRUE);
-    tan_expression : BOOLEAN := TAN(TRUE);
-    typeof_expression : BOOLEAN := TYPEOF(TRUE);
-    usedin_expression : BOOLEAN := USEDIN(TRUE);
-    value_expression : BOOLEAN := VALUE(TRUE);
-    value_in_expression : BOOLEAN := VALUE_IN(TRUE);
-    value_unique_expression : BOOLEAN := VALUE_UNIQUE(TRUE);
-
-    -- operator expressions
-    plus_expression : BOOLEAN := +4;
-    plus_addition_expression : BOOLEAN := +(4 + 2);
-    minus_expression : BOOLEAN := -4;
-    minus_addition_expression : BOOLEAN := -(4 + 2);
-    addition_expression : BOOLEAN := 4 + 2;
-    subtraction_expression : BOOLEAN := 4 - 2;
-    multiplication_expression : BOOLEAN := 4 * 2;
-    real_division_expression : BOOLEAN := 4 / 2;
-    integer_division_expression : BOOLEAN := 4 DIV 2;
-    modulo_expression : BOOLEAN := 4 MOD 2;
-    exponentiation_expression : BOOLEAN := 4 ** 2;
-    addition_addition_expression : BOOLEAN := 4 + 2 + 1;
-    subtraction_subtraction_expression : BOOLEAN := 4 - 2 - 1;
-    addition_subtraction_expression : BOOLEAN := 4 + 2 - 1;
-    subtraction_addition_expression : BOOLEAN := 4 - 2 + 1;
-    addition_multiplication_expression : BOOLEAN := 8 + 4 * 2;
-    multiplication_addition_expression : BOOLEAN := 8 * 4 + 2;
-    parenthesis_addition_multiplication_expression : BOOLEAN := (8 + 4) * 2;
-    multiplication_parenthesis_addition_expression : BOOLEAN := 8 * (4 + 2);
-    equal_expression : BOOLEAN := 4 = 2;
-    not_equal_expression : BOOLEAN := 4 <> 2;
-    instance_equal_expression : BOOLEAN := 4 :=: 2;
-    instance_not_equal_expression : BOOLEAN := 4 :<>: 2;
-    lt_expression : BOOLEAN := 4 < 2;
-    gt_expression : BOOLEAN := 4 > 2;
-    lte_expression : BOOLEAN := 4 <= 2;
-    gte_expression : BOOLEAN := 4 >= 2;
-    not_expression : BOOLEAN := NOT TRUE;
-    not_or_expression : BOOLEAN := NOT (TRUE OR FALSE);
-    or_expression : BOOLEAN := TRUE OR FALSE;
-    and_expression : BOOLEAN := TRUE AND FALSE;
-    or_or_expression : BOOLEAN := TRUE OR FALSE OR TRUE;
-    and_and_expression : BOOLEAN := TRUE AND FALSE AND TRUE;
-    or_and_expression : BOOLEAN := TRUE OR FALSE AND TRUE;
-    and_or_expression : BOOLEAN := TRUE AND FALSE OR TRUE;
-    parenthesis_or_and_expression : BOOLEAN := (TRUE OR FALSE) AND TRUE;
-    and_parenthesis_or_expression : BOOLEAN := TRUE AND (FALSE OR TRUE);
-    combine_expression : BOOLEAN := test || test2;
-    in_expression : BOOLEAN := TRUE IN [TRUE];
-    like_expression : BOOLEAN := 'xxx' LIKE 'xxx';
-
-    -- aggregate initializer expressions
-    aggregate_initializer_expression : BOOLEAN := [4];
-    repeated_aggregate_initializer_expression : BOOLEAN := [4:2];
-    complex_aggregate_initializer_expression : BOOLEAN := [4 + 2];
-    complex_repeated_aggregate_initializer_expression : BOOLEAN := [4 + 2:4 + 2];
-
-    -- function call or entity constructor expressions
-    call_expression : BOOLEAN := parameter_function(TRUE);
-
-    -- reference expressions
-    simple_reference_expression : BOOLEAN := test;
-    group_reference_expression : BOOLEAN := test\test2;
-    index_reference_expression : BOOLEAN := test[1];
-    index2_reference_expression : BOOLEAN := test[1:9];
-    attribute_reference_expression : BOOLEAN := test.test2;
-
-    -- interval expressions
-    lt_lt_interval_expression : BOOLEAN := {1 < 5 < 9};
-    lte_lt_interval_expression : BOOLEAN := {1 <= 5 < 9};
-    lt_lte_interval_expression : BOOLEAN := {1 < 5 <= 9};
-    lte_lte_interval_expression : BOOLEAN := {1 <= 5 <= 9};
-
-    -- query expressions
-    query_expression : BOOLEAN := QUERY(test <* test2 | TRUE);
-  END_LOCAL;
-END_PROCEDURE;
-END_SCHEMA;