expressir 0.2.3 → 0.2.8

data/lib/expressir/model/variable.rb

@@ -1,15 +1,14 @@
 module Expressir
   module Model
     class Variable
-      attr_accessor :id
+      include Identifier
+
       attr_accessor :type
       attr_accessor :expression
 
-      attr_accessor :parent
-      attr_accessor :remarks
-
       def initialize(options = {})
         @id = options[:id]
+
         @type = options[:type]
         @expression = options[:expression]
       end

data/lib/expressir/model/where.rb

@@ -1,14 +1,13 @@
 module Expressir
   module Model
     class Where
-      attr_accessor :id
-      attr_accessor :expression
+      include Identifier
 
-      attr_accessor :parent
-      attr_accessor :remarks
+      attr_accessor :expression
 
       def initialize(options = {})
         @id = options[:id]
+
         @expression = options[:expression]
       end
     end

data/lib/expressir/version.rb

@@ -1,3 +1,3 @@
 module Expressir
-  VERSION = "0.2.3".freeze
+  VERSION = "0.2.8".freeze
 end

data/original/examples/syntax/remark.exp

@@ -4,6 +4,7 @@ an embedded remark including the newline character; therefore, embedded remarks
 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
 

data/original/examples/syntax/remark_formatted.exp

@@ -7,27 +7,14 @@ END_TYPE;
 
 ENTITY remark_entity;
   remark_attribute : STRING;
-  DERIVE remark_derived_attribute : STRING := 'xxx';
-  INVERSE remark_inverse_attribute : remark_entity FOR remark_attribute;
+  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_entity.remark_attribute" entity scope - entity attribute
---"remark_entity.remark_attribute" schema scope - entity attribute
---"remark_entity.remark_attribute" universal scope - entity attribute
---"remark_entity.remark_derived_attribute" entity scope - entity derived attribute
---"remark_entity.remark_derived_attribute" schema scope - entity derived attribute
---"remark_entity.remark_derived_attribute" universal scope - entity derived attribute
---"remark_entity.remark_inverse_attribute" entity scope - entity inverse attribute
---"remark_entity.remark_inverse_attribute" schema scope - entity inverse attribute
---"remark_entity.remark_inverse_attribute" universal scope - entity inverse attribute
---"remark_entity.remark_unique" entity scope - entity unique
---"remark_entity.remark_unique" schema scope - entity unique
---"remark_entity.remark_unique" universal scope - entity unique
---"remark_entity.remark_where" entity scope - entity where
---"remark_entity.remark_where" schema scope - entity where
---"remark_entity.remark_where" universal scope - entity where
 END_ENTITY;
 
 SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity;
@@ -53,21 +40,6 @@ FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
   remark_variable := QUERY(remark_query <* remark_variable | TRUE
   --"remark_query" function query scope - function query
   );
---"remark_function.remark_parameter" function scope - function parameter
---"remark_function.remark_parameter" schema scope - function parameter
---"remark_function.remark_parameter" universal scope - function parameter
---"remark_function.remark_type" function scope - function type
---"remark_function.remark_type" schema scope - function type
---"remark_function.remark_type" universal scope - function type
---"remark_function.remark_enumeration_item" function scope - function enumeration item
---"remark_function.remark_enumeration_item" schema scope - function enumeration item
---"remark_function.remark_enumeration_item" universal scope - function enumeration item
---"remark_function.remark_constant" function scope - function constant
---"remark_function.remark_constant" schema scope - function constant
---"remark_function.remark_constant" universal scope - function constant
---"remark_function.remark_variable" function scope - function variable
---"remark_function.remark_variable" schema scope - function variable
---"remark_function.remark_variable" universal scope - function variable
 END_FUNCTION;
 
 PROCEDURE remark_procedure(remark_parameter : STRING);
@@ -90,21 +62,6 @@ PROCEDURE remark_procedure(remark_parameter : STRING);
   remark_variable := QUERY(remark_query <* remark_variable | TRUE
   --"remark_query" procedure query scope - procedure query
   );
---"remark_procedure.remark_parameter" procedure scope - procedure parameter
---"remark_procedure.remark_parameter" schema scope - procedure parameter
---"remark_procedure.remark_parameter" universal scope - procedure parameter
---"remark_procedure.remark_type" procedure scope - procedure type
---"remark_procedure.remark_type" schema scope - procedure type
---"remark_procedure.remark_type" universal scope - procedure type
---"remark_procedure.remark_enumeration_item" procedure scope - procedure enumeration item
---"remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item
---"remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item
---"remark_procedure.remark_constant" procedure scope - procedure constant
---"remark_procedure.remark_constant" schema scope - procedure constant
---"remark_procedure.remark_constant" universal scope - procedure constant
---"remark_procedure.remark_variable" procedure scope - procedure variable
---"remark_procedure.remark_variable" schema scope - procedure variable
---"remark_procedure.remark_variable" universal scope - procedure variable
 END_PROCEDURE;
 
 RULE remark_rule FOR (remark_entity);
@@ -129,22 +86,17 @@ RULE remark_rule FOR (remark_entity);
   );
   WHERE
     remark_where : TRUE;
---"remark_rule.remark_type" rule scope - rule type
---"remark_rule.remark_type" schema scope - rule type
---"remark_rule.remark_type" universal scope - rule type
---"remark_rule.remark_enumeration_item" rule scope - rule enumeration item
---"remark_rule.remark_enumeration_item" schema scope - rule enumeration item
---"remark_rule.remark_enumeration_item" universal scope - rule enumeration item
---"remark_rule.remark_constant" rule scope - rule constant
---"remark_rule.remark_constant" schema scope - rule constant
---"remark_rule.remark_constant" universal scope - rule constant
---"remark_rule.remark_variable" rule scope - rule variable
---"remark_rule.remark_variable" schema scope - rule variable
---"remark_rule.remark_variable" universal scope - rule variable
---"remark_rule.remark_where" rule scope - rule where
---"remark_rule.remark_where" schema scope - rule where
---"remark_rule.remark_where" universal scope - rule where
 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" 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
@@ -153,20 +105,71 @@ END_RULE;
 --"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
-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_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,3 +1,4 @@
+-- schema
 SCHEMA syntax_schema 'version';
 
 -- interfaces
@@ -202,6 +203,7 @@ 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 utf8_simple_string_expression : BOOLEAN; RETURN ('UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.'); END_FUNCTION;
 FUNCTION encoded_string_expression : BOOLEAN; RETURN ("000000780000007800000078"); END_FUNCTION;
 
 -- constant expressions

data/original/examples/syntax/syntax_formatted.exp

@@ -80,47 +80,58 @@ ENTITY attribute_redeclared_renamed_entity;
 END_ENTITY;
 
 ENTITY derived_attribute_entity;
-  DERIVE test : BOOLEAN := TRUE;
+  DERIVE
+    test : BOOLEAN := TRUE;
 END_ENTITY;
 
 ENTITY derived_attribute_redeclared_entity;
-  DERIVE SELF\attribute_entity.test : BOOLEAN := TRUE;
+  DERIVE
+    SELF\attribute_entity.test : BOOLEAN := TRUE;
 END_ENTITY;
 
 ENTITY derived_attribute_redeclared_renamed_entity;
-  DERIVE SELF\attribute_entity.test RENAMED test2 : BOOLEAN := TRUE;
+  DERIVE
+    SELF\attribute_entity.test RENAMED test2 : BOOLEAN := TRUE;
 END_ENTITY;
 
 ENTITY inverse_attribute_entity;
-  INVERSE test : attribute_entity FOR test;
+  INVERSE
+    test : attribute_entity FOR test;
 END_ENTITY;
 
 ENTITY inverse_attribute_entity_entity;
-  INVERSE test : attribute_entity FOR attribute_entity.test;
+  INVERSE
+    test : attribute_entity FOR attribute_entity.test;
 END_ENTITY;
 
 ENTITY inverse_attribute_set_entity;
-  INVERSE test : SET OF attribute_entity FOR test;
+  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;
+  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;
+  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;
+  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;
+  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;
+  INVERSE
+    SELF\attribute_entity.test RENAMED test2 : attribute_entity FOR test;
 END_ENTITY;
 
 ENTITY unique_entity;
@@ -391,6 +402,93 @@ PROCEDURE statement_procedure;
   ;
 END_PROCEDURE;
 
+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 : BOOLEAN;
+    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 : BOOLEAN := TRUE;
+    test2 : BOOLEAN := TRUE;
+  END_LOCAL;
+  WHERE
+    TRUE;
+END_RULE;
+
+RULE statement_rule FOR (empty_entity);
+  ;
+  WHERE
+    TRUE;
+END_RULE;
+
 TYPE binary_type = BINARY;
 END_TYPE;
 
@@ -731,6 +829,10 @@ FUNCTION simple_string_expression : BOOLEAN;
   RETURN ('xxx');
 END_FUNCTION;
 
+FUNCTION utf8_simple_string_expression : BOOLEAN;
+  RETURN ('UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.');
+END_FUNCTION;
+
 FUNCTION encoded_string_expression : BOOLEAN;
   RETURN ("000000780000007800000078");
 END_FUNCTION;
@@ -1086,91 +1188,4 @@ END_FUNCTION;
 FUNCTION query_expression : BOOLEAN;
   RETURN (QUERY(test <* test2 | TRUE));
 END_FUNCTION;
-
-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 : BOOLEAN;
-    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 : BOOLEAN := TRUE;
-    test2 : BOOLEAN := TRUE;
-  END_LOCAL;
-  WHERE
-    TRUE;
-END_RULE;
-
-RULE statement_rule FOR (empty_entity);
-  ;
-  WHERE
-    TRUE;
-END_RULE;
 END_SCHEMA;