expressir 0.1.0 → 0.2.4
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.github/workflows/rake.yml +46 -0
- data/.github/workflows/release.yml +74 -0
- data/.gitignore +3 -0
- data/.gitmodules +3 -0
- data/Gemfile +2 -0
- data/Rakefile +20 -0
- data/demo.rb +18 -0
- data/exe/generate-parser +48 -0
- data/expressir.gemspec +5 -2
- data/ext/express-parser/antlrgen/Express.interp +532 -0
- data/ext/express-parser/antlrgen/Express.tokens +190 -0
- data/ext/express-parser/antlrgen/ExpressBaseListener.cpp +7 -0
- data/ext/express-parser/antlrgen/ExpressBaseListener.h +623 -0
- data/ext/express-parser/antlrgen/ExpressBaseVisitor.cpp +7 -0
- data/ext/express-parser/antlrgen/ExpressBaseVisitor.h +816 -0
- data/ext/express-parser/antlrgen/ExpressLexer.cpp +1169 -0
- data/ext/express-parser/antlrgen/ExpressLexer.h +85 -0
- data/ext/express-parser/antlrgen/ExpressLexer.interp +534 -0
- data/ext/express-parser/antlrgen/ExpressLexer.tokens +190 -0
- data/ext/express-parser/antlrgen/ExpressListener.cpp +7 -0
- data/ext/express-parser/antlrgen/ExpressListener.h +616 -0
- data/ext/express-parser/antlrgen/ExpressParser.cpp +17284 -0
- data/ext/express-parser/antlrgen/ExpressParser.h +3696 -0
- data/ext/express-parser/antlrgen/ExpressVisitor.cpp +7 -0
- data/ext/express-parser/antlrgen/ExpressVisitor.h +422 -0
- data/ext/express-parser/express_parser.cpp +17931 -0
- data/ext/express-parser/extconf.rb +34 -0
- data/lib/expressir/express.rb +0 -1
- data/lib/expressir/express_exp/formatter.rb +1450 -0
- data/lib/expressir/express_exp/parser.rb +36 -0
- data/lib/expressir/express_exp/visitor.rb +2451 -0
- data/lib/expressir/model.rb +65 -0
- data/lib/expressir/model/attribute.rb +27 -0
- data/lib/expressir/model/constant.rb +17 -0
- data/lib/expressir/model/entity.rb +46 -0
- data/lib/expressir/model/enumeration_item.rb +11 -0
- data/lib/expressir/model/expressions/aggregate_initializer.rb +13 -0
- data/lib/expressir/model/expressions/aggregate_item.rb +15 -0
- data/lib/expressir/model/expressions/attribute_reference.rb +15 -0
- data/lib/expressir/model/expressions/binary_expression.rb +40 -0
- data/lib/expressir/model/expressions/call.rb +15 -0
- data/lib/expressir/model/expressions/entity_constructor.rb +15 -0
- data/lib/expressir/model/expressions/group_reference.rb +15 -0
- data/lib/expressir/model/expressions/index_reference.rb +17 -0
- data/lib/expressir/model/expressions/interval.rb +21 -0
- data/lib/expressir/model/expressions/query_expression.rb +26 -0
- data/lib/expressir/model/expressions/simple_reference.rb +13 -0
- data/lib/expressir/model/expressions/unary_expression.rb +19 -0
- data/lib/expressir/model/function.rb +62 -0
- data/lib/expressir/model/identifier.rb +9 -0
- data/lib/expressir/model/interface.rb +18 -0
- data/lib/expressir/model/literals/binary.rb +13 -0
- data/lib/expressir/model/literals/integer.rb +13 -0
- data/lib/expressir/model/literals/logical.rb +17 -0
- data/lib/expressir/model/literals/real.rb +13 -0
- data/lib/expressir/model/literals/string.rb +15 -0
- data/lib/expressir/model/parameter.rb +17 -0
- data/lib/expressir/model/procedure.rb +60 -0
- data/lib/expressir/model/renamed_ref.rb +13 -0
- data/lib/expressir/model/repository.rb +19 -0
- data/lib/expressir/model/rule.rb +62 -0
- data/lib/expressir/model/schema.rb +67 -0
- data/lib/expressir/model/scope.rb +17 -0
- data/lib/expressir/model/statements/alias.rb +26 -0
- data/lib/expressir/model/statements/assignment.rb +15 -0
- data/lib/expressir/model/statements/call.rb +15 -0
- data/lib/expressir/model/statements/case.rb +17 -0
- data/lib/expressir/model/statements/case_action.rb +15 -0
- data/lib/expressir/model/statements/compound.rb +13 -0
- data/lib/expressir/model/statements/escape.rb +8 -0
- data/lib/expressir/model/statements/if.rb +17 -0
- data/lib/expressir/model/statements/null.rb +8 -0
- data/lib/expressir/model/statements/repeat.rb +34 -0
- data/lib/expressir/model/statements/return.rb +13 -0
- data/lib/expressir/model/statements/skip.rb +8 -0
- data/lib/expressir/model/subtype_constraint.rb +27 -0
- data/lib/expressir/model/type.rb +24 -0
- data/lib/expressir/model/types/aggregate.rb +17 -0
- data/lib/expressir/model/types/array.rb +21 -0
- data/lib/expressir/model/types/bag.rb +17 -0
- data/lib/expressir/model/types/binary.rb +15 -0
- data/lib/expressir/model/types/boolean.rb +8 -0
- data/lib/expressir/model/types/enumeration.rb +19 -0
- data/lib/expressir/model/types/generic.rb +13 -0
- data/lib/expressir/model/types/generic_entity.rb +13 -0
- data/lib/expressir/model/types/integer.rb +8 -0
- data/lib/expressir/model/types/list.rb +19 -0
- data/lib/expressir/model/types/logical.rb +8 -0
- data/lib/expressir/model/types/number.rb +8 -0
- data/lib/expressir/model/types/real.rb +13 -0
- data/lib/expressir/model/types/select.rb +21 -0
- data/lib/expressir/model/types/set.rb +17 -0
- data/lib/expressir/model/types/string.rb +15 -0
- data/lib/expressir/model/unique.rb +15 -0
- data/lib/expressir/model/variable.rb +17 -0
- data/lib/expressir/model/where.rb +15 -0
- data/lib/expressir/version.rb +1 -1
- data/original/examples/syntax/remark.exp +145 -0
- data/original/examples/syntax/remark_formatted.exp +174 -0
- data/original/examples/syntax/syntax.exp +310 -0
- data/original/examples/syntax/syntax_formatted.exp +1187 -0
- data/spec/expressir/express_exp/ap233_spec.rb +22 -0
- data/spec/expressir/express_exp/format_remark_spec.rb +28 -0
- data/spec/expressir/express_exp/format_syntax_spec.rb +28 -0
- data/spec/expressir/express_exp/parse_remark_spec.rb +345 -0
- data/spec/expressir/express_exp/parse_syntax_spec.rb +2998 -0
- data/spec/expressir/model/find_spec.rb +110 -0
- metadata +139 -12
- data/.github/workflows/macos.yml +0 -38
- data/.github/workflows/ubuntu.yml +0 -56
- 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,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 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,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,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
|