expressir 0.2.7-x86-mingw32 → 0.2.12-x86-mingw32
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.github/workflows/release.yml +3 -4
- data/.gitignore +1 -1
- data/exe/format +16 -0
- data/expressir.gemspec +3 -2
- data/lib/expressir/express_exp/2.4/express_parser.so +0 -0
- data/lib/expressir/express_exp/2.5/express_parser.so +0 -0
- data/lib/expressir/express_exp/2.6/express_parser.so +0 -0
- data/lib/expressir/express_exp/2.7/express_parser.so +0 -0
- data/lib/expressir/express_exp/3.0/express_parser.so +0 -0
- data/lib/expressir/express_exp/formatter.rb +147 -110
- data/lib/expressir/express_exp/hyperlink_formatter.rb +25 -0
- data/lib/expressir/express_exp/parser.rb +14 -1
- data/lib/expressir/express_exp/schema_head_formatter.rb +14 -0
- data/lib/expressir/express_exp/visitor.rb +206 -118
- data/lib/expressir/model.rb +3 -1
- data/lib/expressir/model/attribute.rb +5 -1
- data/lib/expressir/model/constant.rb +5 -1
- data/lib/expressir/model/entity.rb +14 -20
- data/lib/expressir/model/enumeration_item.rb +5 -1
- data/lib/expressir/model/expressions/aggregate_initializer.rb +4 -2
- data/lib/expressir/model/expressions/aggregate_item.rb +3 -1
- data/lib/expressir/model/expressions/attribute_reference.rb +3 -1
- data/lib/expressir/model/expressions/binary_expression.rb +3 -1
- data/lib/expressir/model/expressions/call.rb +4 -2
- data/lib/expressir/model/expressions/entity_constructor.rb +4 -2
- data/lib/expressir/model/expressions/group_reference.rb +3 -1
- data/lib/expressir/model/expressions/index_reference.rb +3 -1
- data/lib/expressir/model/expressions/interval.rb +3 -1
- data/lib/expressir/model/expressions/query_expression.rb +5 -2
- data/lib/expressir/model/expressions/simple_reference.rb +3 -1
- data/lib/expressir/model/expressions/unary_expression.rb +3 -1
- data/lib/expressir/model/function.rb +28 -39
- data/lib/expressir/model/identifier.rb +0 -1
- data/lib/expressir/model/informal_proposition.rb +15 -0
- data/lib/expressir/model/interface.rb +4 -2
- data/lib/expressir/model/literals/binary.rb +3 -1
- data/lib/expressir/model/literals/integer.rb +3 -1
- data/lib/expressir/model/literals/logical.rb +3 -1
- data/lib/expressir/model/literals/real.rb +3 -1
- data/lib/expressir/model/literals/string.rb +3 -1
- data/lib/expressir/model/model_element.rb +140 -0
- data/lib/expressir/model/parameter.rb +5 -1
- data/lib/expressir/model/procedure.rb +29 -40
- data/lib/expressir/model/renamed_ref.rb +3 -1
- data/lib/expressir/model/repository.rb +5 -5
- data/lib/expressir/model/rule.rb +33 -41
- data/lib/expressir/model/schema.rb +32 -46
- data/lib/expressir/model/statements/alias.rb +6 -3
- data/lib/expressir/model/statements/assignment.rb +3 -1
- data/lib/expressir/model/statements/call.rb +4 -2
- data/lib/expressir/model/statements/case.rb +4 -2
- data/lib/expressir/model/statements/case_action.rb +4 -2
- data/lib/expressir/model/statements/compound.rb +4 -2
- data/lib/expressir/model/statements/escape.rb +1 -1
- data/lib/expressir/model/statements/if.rb +5 -3
- data/lib/expressir/model/statements/null.rb +1 -1
- data/lib/expressir/model/statements/repeat.rb +6 -3
- data/lib/expressir/model/statements/return.rb +3 -1
- data/lib/expressir/model/statements/skip.rb +1 -1
- data/lib/expressir/model/subtype_constraint.rb +5 -2
- data/lib/expressir/model/type.rb +11 -4
- data/lib/expressir/model/types/aggregate.rb +5 -1
- data/lib/expressir/model/types/array.rb +3 -1
- data/lib/expressir/model/types/bag.rb +3 -1
- data/lib/expressir/model/types/binary.rb +3 -1
- data/lib/expressir/model/types/boolean.rb +1 -1
- data/lib/expressir/model/types/enumeration.rb +5 -3
- data/lib/expressir/model/types/generic.rb +5 -1
- data/lib/expressir/model/types/generic_entity.rb +5 -1
- data/lib/expressir/model/types/integer.rb +1 -1
- data/lib/expressir/model/types/list.rb +3 -1
- data/lib/expressir/model/types/logical.rb +1 -1
- data/lib/expressir/model/types/number.rb +1 -1
- data/lib/expressir/model/types/real.rb +3 -1
- data/lib/expressir/model/types/select.rb +5 -3
- data/lib/expressir/model/types/set.rb +3 -1
- data/lib/expressir/model/types/string.rb +3 -1
- data/lib/expressir/model/unique.rb +6 -2
- data/lib/expressir/model/variable.rb +5 -1
- data/lib/expressir/model/where.rb +5 -1
- data/lib/expressir/version.rb +1 -1
- data/original/examples/syntax/hyperlink.exp +8 -0
- data/original/examples/syntax/hyperlink_formatted.exp +19 -0
- data/original/examples/syntax/remark.exp +63 -20
- data/original/examples/syntax/remark_formatted.exp +62 -24
- data/original/examples/syntax/simple.exp +3 -0
- data/original/examples/syntax/source.exp +16 -0
- data/original/examples/syntax/syntax.exp +202 -190
- data/original/examples/syntax/syntax_formatted.exp +370 -799
- data/spec/expressir/express_exp/{format_remark_spec.rb → formatter/remark_spec.rb} +2 -2
- data/spec/expressir/express_exp/{format_syntax_spec.rb → formatter/syntax_spec.rb} +2 -2
- data/spec/expressir/express_exp/hyperlink_formatter_spec.rb +24 -0
- data/spec/expressir/express_exp/parser/head_source_spec.rb +38 -0
- data/spec/expressir/express_exp/parser/multiple_spec.rb +32 -0
- data/spec/expressir/express_exp/{parse_remark_spec.rb → parser/remark_spec.rb} +120 -55
- data/spec/expressir/express_exp/parser/source_spec.rb +29 -0
- data/spec/expressir/express_exp/parser/syntax_spec.rb +3080 -0
- data/spec/expressir/express_exp/schema_head_formatter_spec.rb +36 -0
- data/spec/expressir/model/{find_spec.rb → model_element/find_spec.rb} +26 -8
- data/spec/expressir/model/model_element/hash_spec.rb +66 -0
- metadata +38 -11
- data/lib/expressir/model/scope.rb +0 -17
- data/spec/expressir/express_exp/ap233_spec.rb +0 -22
- data/spec/expressir/express_exp/parse_syntax_spec.rb +0 -3003
@@ -1,7 +1,7 @@
|
|
1
1
|
module Expressir
|
2
2
|
module Model
|
3
3
|
module Types
|
4
|
-
class Enumeration
|
4
|
+
class Enumeration < ModelElement
|
5
5
|
attr_accessor :extensible
|
6
6
|
attr_accessor :items
|
7
7
|
attr_accessor :extension_type
|
@@ -9,9 +9,11 @@ module Expressir
|
|
9
9
|
|
10
10
|
def initialize(options = {})
|
11
11
|
@extensible = options[:extensible]
|
12
|
-
@items = options
|
12
|
+
@items = options.fetch(:items, [])
|
13
13
|
@extension_type = options[:extension_type]
|
14
|
-
@extension_items = options
|
14
|
+
@extension_items = options.fetch(:extension_items, [])
|
15
|
+
|
16
|
+
super
|
15
17
|
end
|
16
18
|
end
|
17
19
|
end
|
@@ -1,11 +1,15 @@
|
|
1
1
|
module Expressir
|
2
2
|
module Model
|
3
3
|
module Types
|
4
|
-
class Generic
|
4
|
+
class Generic < ModelElement
|
5
5
|
include Identifier
|
6
6
|
|
7
7
|
def initialize(options = {})
|
8
8
|
@id = options[:id]
|
9
|
+
@remarks = options.fetch(:remarks, [])
|
10
|
+
@source = options[:source]
|
11
|
+
|
12
|
+
super
|
9
13
|
end
|
10
14
|
end
|
11
15
|
end
|
@@ -1,11 +1,15 @@
|
|
1
1
|
module Expressir
|
2
2
|
module Model
|
3
3
|
module Types
|
4
|
-
class GenericEntity
|
4
|
+
class GenericEntity < ModelElement
|
5
5
|
include Identifier
|
6
6
|
|
7
7
|
def initialize(options = {})
|
8
8
|
@id = options[:id]
|
9
|
+
@remarks = options.fetch(:remarks, [])
|
10
|
+
@source = options[:source]
|
11
|
+
|
12
|
+
super
|
9
13
|
end
|
10
14
|
end
|
11
15
|
end
|
@@ -1,7 +1,7 @@
|
|
1
1
|
module Expressir
|
2
2
|
module Model
|
3
3
|
module Types
|
4
|
-
class List
|
4
|
+
class List < ModelElement
|
5
5
|
attr_accessor :bound1
|
6
6
|
attr_accessor :bound2
|
7
7
|
attr_accessor :unique
|
@@ -12,6 +12,8 @@ module Expressir
|
|
12
12
|
@bound2 = options[:bound2]
|
13
13
|
@unique = options[:unique]
|
14
14
|
@base_type = options[:base_type]
|
15
|
+
|
16
|
+
super
|
15
17
|
end
|
16
18
|
end
|
17
19
|
end
|
@@ -1,7 +1,7 @@
|
|
1
1
|
module Expressir
|
2
2
|
module Model
|
3
3
|
module Types
|
4
|
-
class Select
|
4
|
+
class Select < ModelElement
|
5
5
|
attr_accessor :extensible
|
6
6
|
attr_accessor :generic_entity
|
7
7
|
attr_accessor :items
|
@@ -11,9 +11,11 @@ module Expressir
|
|
11
11
|
def initialize(options = {})
|
12
12
|
@extensible = options[:extensible]
|
13
13
|
@generic_entity = options[:generic_entity]
|
14
|
-
@items = options
|
14
|
+
@items = options.fetch(:items, [])
|
15
15
|
@extension_type = options[:extension_type]
|
16
|
-
@extension_items = options
|
16
|
+
@extension_items = options.fetch(:extension_items, [])
|
17
|
+
|
18
|
+
super
|
17
19
|
end
|
18
20
|
end
|
19
21
|
end
|
@@ -1,7 +1,7 @@
|
|
1
1
|
module Expressir
|
2
2
|
module Model
|
3
3
|
module Types
|
4
|
-
class Set
|
4
|
+
class Set < ModelElement
|
5
5
|
attr_accessor :bound1
|
6
6
|
attr_accessor :bound2
|
7
7
|
attr_accessor :base_type
|
@@ -10,6 +10,8 @@ module Expressir
|
|
10
10
|
@bound1 = options[:bound1]
|
11
11
|
@bound2 = options[:bound2]
|
12
12
|
@base_type = options[:base_type]
|
13
|
+
|
14
|
+
super
|
13
15
|
end
|
14
16
|
end
|
15
17
|
end
|
@@ -1,13 +1,15 @@
|
|
1
1
|
module Expressir
|
2
2
|
module Model
|
3
3
|
module Types
|
4
|
-
class String
|
4
|
+
class String < ModelElement
|
5
5
|
attr_accessor :width
|
6
6
|
attr_accessor :fixed
|
7
7
|
|
8
8
|
def initialize(options = {})
|
9
9
|
@width = options[:width]
|
10
10
|
@fixed = options[:fixed]
|
11
|
+
|
12
|
+
super
|
11
13
|
end
|
12
14
|
end
|
13
15
|
end
|
@@ -1,14 +1,18 @@
|
|
1
1
|
module Expressir
|
2
2
|
module Model
|
3
|
-
class Unique
|
3
|
+
class Unique < ModelElement
|
4
4
|
include Identifier
|
5
5
|
|
6
6
|
attr_accessor :attributes
|
7
7
|
|
8
8
|
def initialize(options = {})
|
9
9
|
@id = options[:id]
|
10
|
+
@remarks = options.fetch(:remarks, [])
|
11
|
+
@source = options[:source]
|
10
12
|
|
11
|
-
@attributes = options
|
13
|
+
@attributes = options.fetch(:attributes, [])
|
14
|
+
|
15
|
+
super
|
12
16
|
end
|
13
17
|
end
|
14
18
|
end
|
@@ -1,6 +1,6 @@
|
|
1
1
|
module Expressir
|
2
2
|
module Model
|
3
|
-
class Variable
|
3
|
+
class Variable < ModelElement
|
4
4
|
include Identifier
|
5
5
|
|
6
6
|
attr_accessor :type
|
@@ -8,9 +8,13 @@ module Expressir
|
|
8
8
|
|
9
9
|
def initialize(options = {})
|
10
10
|
@id = options[:id]
|
11
|
+
@remarks = options.fetch(:remarks, [])
|
12
|
+
@source = options[:source]
|
11
13
|
|
12
14
|
@type = options[:type]
|
13
15
|
@expression = options[:expression]
|
16
|
+
|
17
|
+
super
|
14
18
|
end
|
15
19
|
end
|
16
20
|
end
|
@@ -1,14 +1,18 @@
|
|
1
1
|
module Expressir
|
2
2
|
module Model
|
3
|
-
class Where
|
3
|
+
class Where < ModelElement
|
4
4
|
include Identifier
|
5
5
|
|
6
6
|
attr_accessor :expression
|
7
7
|
|
8
8
|
def initialize(options = {})
|
9
9
|
@id = options[:id]
|
10
|
+
@remarks = options.fetch(:remarks, [])
|
11
|
+
@source = options[:source]
|
10
12
|
|
11
13
|
@expression = options[:expression]
|
14
|
+
|
15
|
+
super
|
12
16
|
end
|
13
17
|
end
|
14
18
|
end
|
data/lib/expressir/version.rb
CHANGED
@@ -0,0 +1,8 @@
|
|
1
|
+
SCHEMA hyperlink_schema;
|
2
|
+
ENTITY test; END_ENTITY;
|
3
|
+
ENTITY empty_entity; END_ENTITY;
|
4
|
+
ENTITY attribute_entity; test : BOOLEAN; END_ENTITY;
|
5
|
+
ENTITY subtype_empty_entity SUBTYPE OF (empty_entity); END_ENTITY;
|
6
|
+
ENTITY subtype_attribute_entity SUBTYPE OF (attribute_entity); SELF\attribute_entity.test : BOOLEAN; END_ENTITY;
|
7
|
+
ENTITY subtype_missing_entity SUBTYPE OF (missing_entity); END_ENTITY;
|
8
|
+
END_SCHEMA;
|
@@ -0,0 +1,19 @@
|
|
1
|
+
SCHEMA hyperlink_schema;
|
2
|
+
ENTITY test;
|
3
|
+
END_ENTITY;
|
4
|
+
ENTITY empty_entity;
|
5
|
+
END_ENTITY;
|
6
|
+
ENTITY attribute_entity;
|
7
|
+
test : BOOLEAN;
|
8
|
+
END_ENTITY;
|
9
|
+
ENTITY subtype_empty_entity
|
10
|
+
SUBTYPE OF ({{{<<express:hyperlink_schema.empty_entity,empty_entity>>}}});
|
11
|
+
END_ENTITY;
|
12
|
+
ENTITY subtype_attribute_entity
|
13
|
+
SUBTYPE OF ({{{<<express:hyperlink_schema.attribute_entity,attribute_entity>>}}});
|
14
|
+
SELF\{{{<<express:hyperlink_schema.attribute_entity,attribute_entity>>}}}.test : BOOLEAN;
|
15
|
+
END_ENTITY;
|
16
|
+
ENTITY subtype_missing_entity
|
17
|
+
SUBTYPE OF (missing_entity);
|
18
|
+
END_ENTITY;
|
19
|
+
END_SCHEMA;
|
@@ -11,18 +11,27 @@ several physical lines.
|
|
11
11
|
SCHEMA remark_schema;
|
12
12
|
|
13
13
|
CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
|
14
|
-
TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
|
14
|
+
TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
|
15
|
+
WHERE WR1 : TRUE;
|
16
|
+
--"WR1" type scope - type where
|
17
|
+
--"IP1" type scope - type informal proposition
|
18
|
+
--"wr:WR1" type scope - type where, with prefix
|
19
|
+
--"ip:IP1" type scope - type informal proposition, with prefix
|
20
|
+
END_TYPE;
|
15
21
|
ENTITY remark_entity;
|
16
22
|
remark_attribute : STRING;
|
17
23
|
DERIVE remark_derived_attribute : STRING := 'xxx';
|
18
24
|
INVERSE remark_inverse_attribute : remark_entity FOR remark_attribute;
|
19
25
|
UNIQUE remark_unique : remark_attribute;
|
20
|
-
WHERE
|
26
|
+
WHERE WR1 : TRUE;
|
21
27
|
--"remark_attribute" entity scope - entity attribute
|
22
28
|
--"remark_derived_attribute" entity scope - entity derived attribute
|
23
29
|
--"remark_inverse_attribute" entity scope - entity inverse attribute
|
24
30
|
--"remark_unique" entity scope - entity unique
|
25
|
-
--"
|
31
|
+
--"WR1" entity scope - entity where
|
32
|
+
--"IP1" entity scope - entity informal proposition
|
33
|
+
--"wr:WR1" entity scope - entity where, with prefix
|
34
|
+
--"ip:IP1" entity scope - entity informal proposition, with prefix
|
26
35
|
END_ENTITY;
|
27
36
|
SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity; END_SUBTYPE_CONSTRAINT;
|
28
37
|
FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
|
@@ -40,7 +49,8 @@ FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
|
|
40
49
|
);
|
41
50
|
--"remark_parameter" function scope - function parameter
|
42
51
|
--"remark_type" function scope - function type
|
43
|
-
--"remark_enumeration_item" function scope - function enumeration item
|
52
|
+
--"remark_type.remark_enumeration_item" function scope - function enumeration item
|
53
|
+
--"remark_enumeration_item" function scope - function enumeration item, on the same level as the type
|
44
54
|
--"remark_constant" function scope - function constant
|
45
55
|
--"remark_variable" function scope - function variable
|
46
56
|
END_FUNCTION;
|
@@ -59,7 +69,8 @@ PROCEDURE remark_procedure(remark_parameter : STRING);
|
|
59
69
|
);
|
60
70
|
--"remark_parameter" procedure scope - procedure parameter
|
61
71
|
--"remark_type" procedure scope - procedure type
|
62
|
-
--"remark_enumeration_item" procedure scope - procedure enumeration item
|
72
|
+
--"remark_type.remark_enumeration_item" procedure scope - procedure enumeration item
|
73
|
+
--"remark_enumeration_item" procedure scope - procedure enumeration item, on the same level as the type
|
63
74
|
--"remark_constant" procedure scope - procedure constant
|
64
75
|
--"remark_variable" procedure scope - procedure variable
|
65
76
|
END_PROCEDURE;
|
@@ -76,71 +87,103 @@ RULE remark_rule FOR (remark_entity);
|
|
76
87
|
remark_variable := QUERY(remark_query <* remark_variable | TRUE
|
77
88
|
--"remark_query" rule query scope - rule query
|
78
89
|
);
|
79
|
-
WHERE
|
90
|
+
WHERE WR1 : TRUE;
|
80
91
|
--"remark_type" rule scope - rule type
|
81
|
-
--"remark_enumeration_item" rule scope - rule enumeration item
|
92
|
+
--"remark_type.remark_enumeration_item" rule scope - rule enumeration item
|
93
|
+
--"remark_enumeration_item" rule scope - rule enumeration item, on the same level as the type
|
82
94
|
--"remark_constant" rule scope - rule constant
|
83
95
|
--"remark_variable" rule scope - rule variable
|
84
|
-
--"
|
96
|
+
--"WR1" rule scope - rule where
|
97
|
+
--"IP1" rule scope - rule informal proposition
|
98
|
+
--"wr:WR1" rule scope - rule where, with prefix
|
99
|
+
--"ip:IP1" rule scope - rule informal proposition, with prefix
|
85
100
|
END_RULE;
|
86
101
|
|
87
102
|
--"remark_constant" schema scope - constant
|
88
103
|
--"remark_type" schema scope - type
|
89
|
-
--"
|
104
|
+
--"remark_type.WR1" schema scope - type where
|
105
|
+
--"remark_type.IP1" schema scope - type informal proposition
|
106
|
+
--"remark_type.wr:WR1" schema scope - type where, with prefix
|
107
|
+
--"remark_type.ip:IP1" schema scope - type informal proposition, with prefix
|
108
|
+
--"remark_type.remark_enumeration_item" schema scope - enumeration item
|
109
|
+
--"remark_enumeration_item" schema scope - enumeration item, on the same level as the type
|
90
110
|
--"remark_entity" schema scope - entity
|
91
111
|
--"remark_entity.remark_attribute" schema scope - entity attribute
|
92
112
|
--"remark_entity.remark_derived_attribute" schema scope - entity derived attribute
|
93
113
|
--"remark_entity.remark_inverse_attribute" schema scope - entity inverse attribute
|
94
114
|
--"remark_entity.remark_unique" schema scope - entity unique
|
95
|
-
--"remark_entity.
|
115
|
+
--"remark_entity.WR1" schema scope - entity where
|
116
|
+
--"remark_entity.IP1" schema scope - entity informal proposition
|
117
|
+
--"remark_entity.wr:WR1" schema scope - entity where, with prefix
|
118
|
+
--"remark_entity.ip:IP1" schema scope - entity informal proposition, with prefix
|
96
119
|
--"remark_subtype_constraint" schema scope - subtype constraint
|
97
120
|
--"remark_function" schema scope - function
|
98
121
|
--"remark_function.remark_parameter" schema scope - function parameter
|
99
122
|
--"remark_function.remark_type" schema scope - function type
|
100
|
-
--"remark_function.remark_enumeration_item" schema scope - function enumeration item
|
123
|
+
--"remark_function.remark_type.remark_enumeration_item" schema scope - function enumeration item
|
124
|
+
--"remark_function.remark_enumeration_item" schema scope - function enumeration item, on the same level as the type
|
101
125
|
--"remark_function.remark_constant" schema scope - function constant
|
102
126
|
--"remark_function.remark_variable" schema scope - function variable
|
103
127
|
--"remark_procedure" schema scope - procedure
|
104
128
|
--"remark_procedure.remark_parameter" schema scope - procedure parameter
|
105
129
|
--"remark_procedure.remark_type" schema scope - procedure type
|
106
|
-
--"remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item
|
130
|
+
--"remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item
|
131
|
+
--"remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item, on the same level as the type
|
107
132
|
--"remark_procedure.remark_constant" schema scope - procedure constant
|
108
133
|
--"remark_procedure.remark_variable" schema scope - procedure variable
|
109
134
|
--"remark_rule" schema scope - rule
|
110
135
|
--"remark_rule.remark_type" schema scope - rule type
|
111
|
-
--"remark_rule.remark_enumeration_item" schema scope - rule enumeration item
|
136
|
+
--"remark_rule.remark_type.remark_enumeration_item" schema scope - rule enumeration item
|
137
|
+
--"remark_rule.remark_enumeration_item" schema scope - rule enumeration item, on the same level as the type
|
112
138
|
--"remark_rule.remark_constant" schema scope - rule constant
|
113
139
|
--"remark_rule.remark_variable" schema scope - rule variable
|
114
|
-
--"remark_rule.
|
140
|
+
--"remark_rule.WR1" schema scope - rule where
|
141
|
+
--"remark_rule.IP1" schema scope - rule informal proposition
|
142
|
+
--"remark_rule.wr:WR1" schema scope - rule where, with prefix
|
143
|
+
--"remark_rule.ip:IP1" schema scope - rule informal proposition, with prefix
|
115
144
|
|
116
145
|
END_SCHEMA;
|
117
146
|
|
118
147
|
--"remark_schema" universal scope - schema
|
119
148
|
--"remark_schema.remark_constant" universal scope - constant
|
120
149
|
--"remark_schema.remark_type" universal scope - type
|
121
|
-
--"remark_schema.
|
150
|
+
--"remark_schema.remark_type.WR1" universal scope - type where
|
151
|
+
--"remark_schema.remark_type.IP1" universal scope - type informal proposition
|
152
|
+
--"remark_schema.remark_type.wr:WR1" universal scope - type where, with prefix
|
153
|
+
--"remark_schema.remark_type.ip:IP1" universal scope - type informal proposition, with prefix
|
154
|
+
--"remark_schema.remark_type.remark_enumeration_item" universal scope - enumeration item
|
155
|
+
--"remark_schema.remark_enumeration_item" universal scope - enumeration item, on the same level as the type
|
122
156
|
--"remark_schema.remark_entity" universal scope - entity
|
123
157
|
--"remark_schema.remark_entity.remark_attribute" universal scope - entity attribute
|
124
158
|
--"remark_schema.remark_entity.remark_derived_attribute" universal scope - entity derived attribute
|
125
159
|
--"remark_schema.remark_entity.remark_inverse_attribute" universal scope - entity inverse attribute
|
126
160
|
--"remark_schema.remark_entity.remark_unique" universal scope - entity unique
|
127
|
-
--"remark_schema.remark_entity.
|
161
|
+
--"remark_schema.remark_entity.WR1" universal scope - entity where
|
162
|
+
--"remark_schema.remark_entity.IP1" universal scope - entity informal proposition
|
163
|
+
--"remark_schema.remark_entity.wr:WR1" universal scope - entity where, with prefix
|
164
|
+
--"remark_schema.remark_entity.ip:IP1" universal scope - entity informal proposition, with prefix
|
128
165
|
--"remark_schema.remark_subtype_constraint" universal scope - subtype constraint
|
129
166
|
--"remark_schema.remark_function" universal scope - function
|
130
167
|
--"remark_schema.remark_function.remark_parameter" universal scope - function parameter
|
131
168
|
--"remark_schema.remark_function.remark_type" universal scope - function type
|
132
|
-
--"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item
|
169
|
+
--"remark_schema.remark_function.remark_type.remark_enumeration_item" universal scope - function enumeration item
|
170
|
+
--"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item, on the same level as the type
|
133
171
|
--"remark_schema.remark_function.remark_constant" universal scope - function constant
|
134
172
|
--"remark_schema.remark_function.remark_variable" universal scope - function variable
|
135
173
|
--"remark_schema.remark_procedure" universal scope - procedure
|
136
174
|
--"remark_schema.remark_procedure.remark_parameter" universal scope - procedure parameter
|
137
175
|
--"remark_schema.remark_procedure.remark_type" universal scope - procedure type
|
138
|
-
--"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item
|
176
|
+
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item
|
177
|
+
--"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item, on the same level as the type
|
139
178
|
--"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
|
140
179
|
--"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
|
141
180
|
--"remark_schema.remark_rule" universal scope - rule
|
142
181
|
--"remark_schema.remark_rule.remark_type" universal scope - rule type
|
143
|
-
--"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item
|
182
|
+
--"remark_schema.remark_rule.remark_type.remark_enumeration_item" universal scope - rule enumeration item
|
183
|
+
--"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item, on the same level as the type
|
144
184
|
--"remark_schema.remark_rule.remark_constant" universal scope - rule constant
|
145
185
|
--"remark_schema.remark_rule.remark_variable" universal scope - rule variable
|
146
|
-
--"remark_schema.remark_rule.
|
186
|
+
--"remark_schema.remark_rule.WR1" universal scope - rule where
|
187
|
+
--"remark_schema.remark_rule.IP1" universal scope - rule informal proposition
|
188
|
+
--"remark_schema.remark_rule.wr:WR1" universal scope - rule where, with prefix
|
189
|
+
--"remark_schema.remark_rule.ip:IP1" universal scope - rule informal proposition, with prefix
|