expressir 0.1.0 → 0.2.4

Sign up to get free protection for your applications and to get access to all the features.
Files changed (112) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/rake.yml +46 -0
  3. data/.github/workflows/release.yml +74 -0
  4. data/.gitignore +3 -0
  5. data/.gitmodules +3 -0
  6. data/Gemfile +2 -0
  7. data/Rakefile +20 -0
  8. data/demo.rb +18 -0
  9. data/exe/generate-parser +48 -0
  10. data/expressir.gemspec +5 -2
  11. data/ext/express-parser/antlrgen/Express.interp +532 -0
  12. data/ext/express-parser/antlrgen/Express.tokens +190 -0
  13. data/ext/express-parser/antlrgen/ExpressBaseListener.cpp +7 -0
  14. data/ext/express-parser/antlrgen/ExpressBaseListener.h +623 -0
  15. data/ext/express-parser/antlrgen/ExpressBaseVisitor.cpp +7 -0
  16. data/ext/express-parser/antlrgen/ExpressBaseVisitor.h +816 -0
  17. data/ext/express-parser/antlrgen/ExpressLexer.cpp +1169 -0
  18. data/ext/express-parser/antlrgen/ExpressLexer.h +85 -0
  19. data/ext/express-parser/antlrgen/ExpressLexer.interp +534 -0
  20. data/ext/express-parser/antlrgen/ExpressLexer.tokens +190 -0
  21. data/ext/express-parser/antlrgen/ExpressListener.cpp +7 -0
  22. data/ext/express-parser/antlrgen/ExpressListener.h +616 -0
  23. data/ext/express-parser/antlrgen/ExpressParser.cpp +17284 -0
  24. data/ext/express-parser/antlrgen/ExpressParser.h +3696 -0
  25. data/ext/express-parser/antlrgen/ExpressVisitor.cpp +7 -0
  26. data/ext/express-parser/antlrgen/ExpressVisitor.h +422 -0
  27. data/ext/express-parser/express_parser.cpp +17931 -0
  28. data/ext/express-parser/extconf.rb +34 -0
  29. data/lib/expressir/express.rb +0 -1
  30. data/lib/expressir/express_exp/formatter.rb +1450 -0
  31. data/lib/expressir/express_exp/parser.rb +36 -0
  32. data/lib/expressir/express_exp/visitor.rb +2451 -0
  33. data/lib/expressir/model.rb +65 -0
  34. data/lib/expressir/model/attribute.rb +27 -0
  35. data/lib/expressir/model/constant.rb +17 -0
  36. data/lib/expressir/model/entity.rb +46 -0
  37. data/lib/expressir/model/enumeration_item.rb +11 -0
  38. data/lib/expressir/model/expressions/aggregate_initializer.rb +13 -0
  39. data/lib/expressir/model/expressions/aggregate_item.rb +15 -0
  40. data/lib/expressir/model/expressions/attribute_reference.rb +15 -0
  41. data/lib/expressir/model/expressions/binary_expression.rb +40 -0
  42. data/lib/expressir/model/expressions/call.rb +15 -0
  43. data/lib/expressir/model/expressions/entity_constructor.rb +15 -0
  44. data/lib/expressir/model/expressions/group_reference.rb +15 -0
  45. data/lib/expressir/model/expressions/index_reference.rb +17 -0
  46. data/lib/expressir/model/expressions/interval.rb +21 -0
  47. data/lib/expressir/model/expressions/query_expression.rb +26 -0
  48. data/lib/expressir/model/expressions/simple_reference.rb +13 -0
  49. data/lib/expressir/model/expressions/unary_expression.rb +19 -0
  50. data/lib/expressir/model/function.rb +62 -0
  51. data/lib/expressir/model/identifier.rb +9 -0
  52. data/lib/expressir/model/interface.rb +18 -0
  53. data/lib/expressir/model/literals/binary.rb +13 -0
  54. data/lib/expressir/model/literals/integer.rb +13 -0
  55. data/lib/expressir/model/literals/logical.rb +17 -0
  56. data/lib/expressir/model/literals/real.rb +13 -0
  57. data/lib/expressir/model/literals/string.rb +15 -0
  58. data/lib/expressir/model/parameter.rb +17 -0
  59. data/lib/expressir/model/procedure.rb +60 -0
  60. data/lib/expressir/model/renamed_ref.rb +13 -0
  61. data/lib/expressir/model/repository.rb +19 -0
  62. data/lib/expressir/model/rule.rb +62 -0
  63. data/lib/expressir/model/schema.rb +67 -0
  64. data/lib/expressir/model/scope.rb +17 -0
  65. data/lib/expressir/model/statements/alias.rb +26 -0
  66. data/lib/expressir/model/statements/assignment.rb +15 -0
  67. data/lib/expressir/model/statements/call.rb +15 -0
  68. data/lib/expressir/model/statements/case.rb +17 -0
  69. data/lib/expressir/model/statements/case_action.rb +15 -0
  70. data/lib/expressir/model/statements/compound.rb +13 -0
  71. data/lib/expressir/model/statements/escape.rb +8 -0
  72. data/lib/expressir/model/statements/if.rb +17 -0
  73. data/lib/expressir/model/statements/null.rb +8 -0
  74. data/lib/expressir/model/statements/repeat.rb +34 -0
  75. data/lib/expressir/model/statements/return.rb +13 -0
  76. data/lib/expressir/model/statements/skip.rb +8 -0
  77. data/lib/expressir/model/subtype_constraint.rb +27 -0
  78. data/lib/expressir/model/type.rb +24 -0
  79. data/lib/expressir/model/types/aggregate.rb +17 -0
  80. data/lib/expressir/model/types/array.rb +21 -0
  81. data/lib/expressir/model/types/bag.rb +17 -0
  82. data/lib/expressir/model/types/binary.rb +15 -0
  83. data/lib/expressir/model/types/boolean.rb +8 -0
  84. data/lib/expressir/model/types/enumeration.rb +19 -0
  85. data/lib/expressir/model/types/generic.rb +13 -0
  86. data/lib/expressir/model/types/generic_entity.rb +13 -0
  87. data/lib/expressir/model/types/integer.rb +8 -0
  88. data/lib/expressir/model/types/list.rb +19 -0
  89. data/lib/expressir/model/types/logical.rb +8 -0
  90. data/lib/expressir/model/types/number.rb +8 -0
  91. data/lib/expressir/model/types/real.rb +13 -0
  92. data/lib/expressir/model/types/select.rb +21 -0
  93. data/lib/expressir/model/types/set.rb +17 -0
  94. data/lib/expressir/model/types/string.rb +15 -0
  95. data/lib/expressir/model/unique.rb +15 -0
  96. data/lib/expressir/model/variable.rb +17 -0
  97. data/lib/expressir/model/where.rb +15 -0
  98. data/lib/expressir/version.rb +1 -1
  99. data/original/examples/syntax/remark.exp +145 -0
  100. data/original/examples/syntax/remark_formatted.exp +174 -0
  101. data/original/examples/syntax/syntax.exp +310 -0
  102. data/original/examples/syntax/syntax_formatted.exp +1187 -0
  103. data/spec/expressir/express_exp/ap233_spec.rb +22 -0
  104. data/spec/expressir/express_exp/format_remark_spec.rb +28 -0
  105. data/spec/expressir/express_exp/format_syntax_spec.rb +28 -0
  106. data/spec/expressir/express_exp/parse_remark_spec.rb +345 -0
  107. data/spec/expressir/express_exp/parse_syntax_spec.rb +2998 -0
  108. data/spec/expressir/model/find_spec.rb +110 -0
  109. metadata +139 -12
  110. data/.github/workflows/macos.yml +0 -38
  111. data/.github/workflows/ubuntu.yml +0 -56
  112. data/.github/workflows/windows.yml +0 -40
@@ -0,0 +1,65 @@
1
+ require 'expressir/model/scope'
2
+ require 'expressir/model/identifier'
3
+
4
+ require 'expressir/model/attribute'
5
+ require 'expressir/model/constant'
6
+ require 'expressir/model/entity'
7
+ require 'expressir/model/enumeration_item'
8
+ require 'expressir/model/function'
9
+ require 'expressir/model/interface'
10
+ require 'expressir/model/parameter'
11
+ require 'expressir/model/procedure'
12
+ require 'expressir/model/renamed_ref'
13
+ require 'expressir/model/repository'
14
+ require 'expressir/model/rule'
15
+ require 'expressir/model/schema'
16
+ require 'expressir/model/subtype_constraint'
17
+ require 'expressir/model/type'
18
+ require 'expressir/model/unique'
19
+ require 'expressir/model/variable'
20
+ require 'expressir/model/where'
21
+ require 'expressir/model/expressions/aggregate_initializer'
22
+ require 'expressir/model/expressions/aggregate_item'
23
+ require 'expressir/model/expressions/binary_expression'
24
+ require 'expressir/model/expressions/call'
25
+ require 'expressir/model/expressions/attribute_reference'
26
+ require 'expressir/model/expressions/entity_constructor'
27
+ require 'expressir/model/expressions/group_reference'
28
+ require 'expressir/model/expressions/index_reference'
29
+ require 'expressir/model/expressions/interval'
30
+ require 'expressir/model/expressions/query_expression'
31
+ require 'expressir/model/expressions/simple_reference'
32
+ require 'expressir/model/expressions/unary_expression'
33
+ require 'expressir/model/literals/binary'
34
+ require 'expressir/model/literals/integer'
35
+ require 'expressir/model/literals/logical'
36
+ require 'expressir/model/literals/real'
37
+ require 'expressir/model/literals/string'
38
+ require 'expressir/model/statements/alias'
39
+ require 'expressir/model/statements/assignment'
40
+ require 'expressir/model/statements/call'
41
+ require 'expressir/model/statements/case'
42
+ require 'expressir/model/statements/case_action'
43
+ require 'expressir/model/statements/compound'
44
+ require 'expressir/model/statements/escape'
45
+ require 'expressir/model/statements/if'
46
+ require 'expressir/model/statements/null'
47
+ require 'expressir/model/statements/repeat'
48
+ require 'expressir/model/statements/return'
49
+ require 'expressir/model/statements/skip'
50
+ require 'expressir/model/types/aggregate'
51
+ require 'expressir/model/types/array'
52
+ require 'expressir/model/types/bag'
53
+ require 'expressir/model/types/binary'
54
+ require 'expressir/model/types/boolean'
55
+ require 'expressir/model/types/enumeration'
56
+ require 'expressir/model/types/generic_entity'
57
+ require 'expressir/model/types/generic'
58
+ require 'expressir/model/types/integer'
59
+ require 'expressir/model/types/list'
60
+ require 'expressir/model/types/logical'
61
+ require 'expressir/model/types/number'
62
+ require 'expressir/model/types/real'
63
+ require 'expressir/model/types/set'
64
+ require 'expressir/model/types/select'
65
+ require 'expressir/model/types/string'
@@ -0,0 +1,27 @@
1
+ module Expressir
2
+ module Model
3
+ class Attribute
4
+ include Identifier
5
+
6
+ EXPLICIT = :EXPLICIT
7
+ DERIVED = :DERIVED
8
+ INVERSE = :INVERSE
9
+
10
+ attr_accessor :kind
11
+ attr_accessor :supertype_attribute
12
+ attr_accessor :optional
13
+ attr_accessor :type
14
+ attr_accessor :expression
15
+
16
+ def initialize(options = {})
17
+ @id = options[:id]
18
+
19
+ @kind = options[:kind]
20
+ @supertype_attribute = options[:supertype_attribute]
21
+ @optional = options[:optional]
22
+ @type = options[:type]
23
+ @expression = options[:expression]
24
+ end
25
+ end
26
+ end
27
+ end
@@ -0,0 +1,17 @@
1
+ module Expressir
2
+ module Model
3
+ class Constant
4
+ include Identifier
5
+
6
+ attr_accessor :type
7
+ attr_accessor :expression
8
+
9
+ def initialize(options = {})
10
+ @id = options[:id]
11
+
12
+ @type = options[:type]
13
+ @expression = options[:expression]
14
+ end
15
+ end
16
+ end
17
+ end
@@ -0,0 +1,46 @@
1
+ module Expressir
2
+ module Model
3
+ class Entity
4
+ include Scope
5
+ include Identifier
6
+
7
+ attr_accessor :abstract
8
+ attr_accessor :supertype_expression
9
+ attr_accessor :subtype_of
10
+ attr_accessor :attributes
11
+ attr_accessor :unique
12
+ attr_accessor :where
13
+
14
+ def initialize(options = {})
15
+ @id = options[:id]
16
+
17
+ @abstract = options[:abstract]
18
+ @supertype_expression = options[:supertype_expression]
19
+ @subtype_of = options[:subtype_of]
20
+ @attributes = options[:attributes]
21
+ @unique = options[:unique]
22
+ @where = options[:where]
23
+ end
24
+
25
+ def explicit_attributes
26
+ @attributes.select{|x| x.kind == Expressir::Model::Attribute::EXPLICIT}
27
+ end
28
+
29
+ def derived_attributes
30
+ @attributes.select{|x| x.kind == Expressir::Model::Attribute::DERIVED}
31
+ end
32
+
33
+ def inverse_attributes
34
+ @attributes.select{|x| x.kind == Expressir::Model::Attribute::INVERSE}
35
+ end
36
+
37
+ def children
38
+ items = []
39
+ items.push(*@attributes) if @attributes
40
+ items.push(*@unique) if @unique
41
+ items.push(*@where) if @where
42
+ items
43
+ end
44
+ end
45
+ end
46
+ end
@@ -0,0 +1,11 @@
1
+ module Expressir
2
+ module Model
3
+ class EnumerationItem
4
+ include Identifier
5
+
6
+ def initialize(options = {})
7
+ @id = options[:id]
8
+ end
9
+ end
10
+ end
11
+ end
@@ -0,0 +1,13 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class AggregateInitializer
5
+ attr_accessor :items
6
+
7
+ def initialize(options = {})
8
+ @items = options[:items]
9
+ end
10
+ end
11
+ end
12
+ end
13
+ end
@@ -0,0 +1,15 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class AggregateItem
5
+ attr_accessor :expression
6
+ attr_accessor :repetition
7
+
8
+ def initialize(options = {})
9
+ @expression = options[:expression]
10
+ @repetition = options[:repetition]
11
+ end
12
+ end
13
+ end
14
+ end
15
+ end
@@ -0,0 +1,15 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class AttributeReference
5
+ attr_accessor :ref
6
+ attr_accessor :attribute
7
+
8
+ def initialize(options = {})
9
+ @ref = options[:ref]
10
+ @attribute = options[:attribute]
11
+ end
12
+ end
13
+ end
14
+ end
15
+ end
@@ -0,0 +1,40 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class BinaryExpression
5
+ ADDITION = :ADDITION
6
+ AND = :AND
7
+ ANDOR = :ANDOR
8
+ COMBINE = :COMBINE
9
+ EQUAL = :EQUAL
10
+ EXPONENTIATION = :EXPONENTIATION
11
+ GREATER_THAN = :GREATER_THAN
12
+ GREATER_THAN_OR_EQUAL = :GREATER_THAN_OR_EQUAL
13
+ IN = :IN
14
+ INSTANCE_EQUAL = :INSTANCE_EQUAL
15
+ INSTANCE_NOT_EQUAL = :INSTANCE_NOT_EQUAL
16
+ INTEGER_DIVISION = :INTEGER_DIVISION
17
+ LESS_THAN = :LESS_THAN
18
+ LESS_THAN_OR_EQUAL = :LESS_THAN_OR_EQUAL
19
+ LIKE = :LIKE
20
+ MODULO = :MODULO
21
+ MULTIPLICATION = :MULTIPLICATION
22
+ NOT_EQUAL = :NOT_EQUAL
23
+ OR = :OR
24
+ REAL_DIVISION = :REAL_DIVISION
25
+ SUBTRACTION = :SUBTRACTION
26
+ XOR = :XOR
27
+
28
+ attr_accessor :operator
29
+ attr_accessor :operand1
30
+ attr_accessor :operand2
31
+
32
+ def initialize(options = {})
33
+ @operator = options[:operator]
34
+ @operand1 = options[:operand1]
35
+ @operand2 = options[:operand2]
36
+ end
37
+ end
38
+ end
39
+ end
40
+ end
@@ -0,0 +1,15 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class Call
5
+ attr_accessor :ref
6
+ attr_accessor :parameters
7
+
8
+ def initialize(options = {})
9
+ @ref = options[:ref]
10
+ @parameters = options[:parameters]
11
+ end
12
+ end
13
+ end
14
+ end
15
+ end
@@ -0,0 +1,15 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class EntityConstructor
5
+ attr_accessor :entity
6
+ attr_accessor :parameters
7
+
8
+ def initialize(options = {})
9
+ @entity = options[:entity]
10
+ @parameters = options[:parameters]
11
+ end
12
+ end
13
+ end
14
+ end
15
+ end
@@ -0,0 +1,15 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class GroupReference
5
+ attr_accessor :ref
6
+ attr_accessor :entity
7
+
8
+ def initialize(options = {})
9
+ @ref = options[:ref]
10
+ @entity = options[:entity]
11
+ end
12
+ end
13
+ end
14
+ end
15
+ end
@@ -0,0 +1,17 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class IndexReference
5
+ attr_accessor :ref
6
+ attr_accessor :index1
7
+ attr_accessor :index2
8
+
9
+ def initialize(options = {})
10
+ @ref = options[:ref]
11
+ @index1 = options[:index1]
12
+ @index2 = options[:index2]
13
+ end
14
+ end
15
+ end
16
+ end
17
+ end
@@ -0,0 +1,21 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class Interval
5
+ attr_accessor :low
6
+ attr_accessor :operator1
7
+ attr_accessor :item
8
+ attr_accessor :operator2
9
+ attr_accessor :high
10
+
11
+ def initialize(options = {})
12
+ @low = options[:low]
13
+ @operator1 = options[:operator1]
14
+ @item = options[:item]
15
+ @operator2 = options[:operator2]
16
+ @high = options[:high]
17
+ end
18
+ end
19
+ end
20
+ end
21
+ end
@@ -0,0 +1,26 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class QueryExpression
5
+ include Scope
6
+ include Identifier
7
+
8
+ attr_accessor :source
9
+ attr_accessor :expression
10
+
11
+ def initialize(options = {})
12
+ @id = options[:id]
13
+
14
+ @source = options[:source]
15
+ @expression = options[:expression]
16
+ end
17
+
18
+ def children
19
+ items = []
20
+ items.push(self)
21
+ items
22
+ end
23
+ end
24
+ end
25
+ end
26
+ end
@@ -0,0 +1,13 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class SimpleReference
5
+ attr_accessor :id
6
+
7
+ def initialize(options = {})
8
+ @id = options[:id]
9
+ end
10
+ end
11
+ end
12
+ end
13
+ end
@@ -0,0 +1,19 @@
1
+ module Expressir
2
+ module Model
3
+ module Expressions
4
+ class UnaryExpression
5
+ MINUS = :MINUS
6
+ NOT = :NOT
7
+ PLUS = :PLUS
8
+
9
+ attr_accessor :operator
10
+ attr_accessor :operand
11
+
12
+ def initialize(options = {})
13
+ @operator = options[:operator]
14
+ @operand = options[:operand]
15
+ end
16
+ end
17
+ end
18
+ end
19
+ end
@@ -0,0 +1,62 @@
1
+ module Expressir
2
+ module Model
3
+ class Function
4
+ include Scope
5
+ include Identifier
6
+
7
+ attr_accessor :parameters
8
+ attr_accessor :return_type
9
+ attr_accessor :declarations
10
+ attr_accessor :constants
11
+ attr_accessor :variables
12
+ attr_accessor :statements
13
+
14
+ def initialize(options = {})
15
+ @id = options[:id]
16
+
17
+ @parameters = options[:parameters]
18
+ @return_type = options[:return_type]
19
+ @declarations = options[:declarations]
20
+ @constants = options[:constants]
21
+ @variables = options[:variables]
22
+ @statements = options[:statements]
23
+ end
24
+
25
+ def types
26
+ @declarations.select{|x| x.instance_of? Expressir::Model::Type}
27
+ end
28
+
29
+ def entities
30
+ @declarations.select{|x| x.instance_of? Expressir::Model::Entity}
31
+ end
32
+
33
+ def subtype_constraints
34
+ @declarations.select{|x| x.instance_of? Expressir::Model::SubtypeConstraint}
35
+ end
36
+
37
+ def functions
38
+ @declarations.select{|x| x.instance_of? Expressir::Model::Function}
39
+ end
40
+
41
+ def procedures
42
+ @declarations.select{|x| x.instance_of? Expressir::Model::Procedure}
43
+ end
44
+
45
+ def children
46
+ items = []
47
+ items.push(*@parameters) if @parameters
48
+ items.push(*@declarations.flat_map do |x|
49
+ [
50
+ x,
51
+ *if x.instance_of? Expressir::Model::Type and x.type.instance_of? Expressir::Model::Types::Enumeration
52
+ x.type.items
53
+ end
54
+ ]
55
+ end) if @declarations
56
+ items.push(*@constants) if @constants
57
+ items.push(*@variables) if @variables
58
+ items
59
+ end
60
+ end
61
+ end
62
+ end