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.
Files changed (105) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/release.yml +3 -4
  3. data/.gitignore +1 -1
  4. data/exe/format +16 -0
  5. data/expressir.gemspec +3 -2
  6. data/lib/expressir/express_exp/2.4/express_parser.so +0 -0
  7. data/lib/expressir/express_exp/2.5/express_parser.so +0 -0
  8. data/lib/expressir/express_exp/2.6/express_parser.so +0 -0
  9. data/lib/expressir/express_exp/2.7/express_parser.so +0 -0
  10. data/lib/expressir/express_exp/3.0/express_parser.so +0 -0
  11. data/lib/expressir/express_exp/formatter.rb +147 -110
  12. data/lib/expressir/express_exp/hyperlink_formatter.rb +25 -0
  13. data/lib/expressir/express_exp/parser.rb +14 -1
  14. data/lib/expressir/express_exp/schema_head_formatter.rb +14 -0
  15. data/lib/expressir/express_exp/visitor.rb +206 -118
  16. data/lib/expressir/model.rb +3 -1
  17. data/lib/expressir/model/attribute.rb +5 -1
  18. data/lib/expressir/model/constant.rb +5 -1
  19. data/lib/expressir/model/entity.rb +14 -20
  20. data/lib/expressir/model/enumeration_item.rb +5 -1
  21. data/lib/expressir/model/expressions/aggregate_initializer.rb +4 -2
  22. data/lib/expressir/model/expressions/aggregate_item.rb +3 -1
  23. data/lib/expressir/model/expressions/attribute_reference.rb +3 -1
  24. data/lib/expressir/model/expressions/binary_expression.rb +3 -1
  25. data/lib/expressir/model/expressions/call.rb +4 -2
  26. data/lib/expressir/model/expressions/entity_constructor.rb +4 -2
  27. data/lib/expressir/model/expressions/group_reference.rb +3 -1
  28. data/lib/expressir/model/expressions/index_reference.rb +3 -1
  29. data/lib/expressir/model/expressions/interval.rb +3 -1
  30. data/lib/expressir/model/expressions/query_expression.rb +5 -2
  31. data/lib/expressir/model/expressions/simple_reference.rb +3 -1
  32. data/lib/expressir/model/expressions/unary_expression.rb +3 -1
  33. data/lib/expressir/model/function.rb +28 -39
  34. data/lib/expressir/model/identifier.rb +0 -1
  35. data/lib/expressir/model/informal_proposition.rb +15 -0
  36. data/lib/expressir/model/interface.rb +4 -2
  37. data/lib/expressir/model/literals/binary.rb +3 -1
  38. data/lib/expressir/model/literals/integer.rb +3 -1
  39. data/lib/expressir/model/literals/logical.rb +3 -1
  40. data/lib/expressir/model/literals/real.rb +3 -1
  41. data/lib/expressir/model/literals/string.rb +3 -1
  42. data/lib/expressir/model/model_element.rb +140 -0
  43. data/lib/expressir/model/parameter.rb +5 -1
  44. data/lib/expressir/model/procedure.rb +29 -40
  45. data/lib/expressir/model/renamed_ref.rb +3 -1
  46. data/lib/expressir/model/repository.rb +5 -5
  47. data/lib/expressir/model/rule.rb +33 -41
  48. data/lib/expressir/model/schema.rb +32 -46
  49. data/lib/expressir/model/statements/alias.rb +6 -3
  50. data/lib/expressir/model/statements/assignment.rb +3 -1
  51. data/lib/expressir/model/statements/call.rb +4 -2
  52. data/lib/expressir/model/statements/case.rb +4 -2
  53. data/lib/expressir/model/statements/case_action.rb +4 -2
  54. data/lib/expressir/model/statements/compound.rb +4 -2
  55. data/lib/expressir/model/statements/escape.rb +1 -1
  56. data/lib/expressir/model/statements/if.rb +5 -3
  57. data/lib/expressir/model/statements/null.rb +1 -1
  58. data/lib/expressir/model/statements/repeat.rb +6 -3
  59. data/lib/expressir/model/statements/return.rb +3 -1
  60. data/lib/expressir/model/statements/skip.rb +1 -1
  61. data/lib/expressir/model/subtype_constraint.rb +5 -2
  62. data/lib/expressir/model/type.rb +11 -4
  63. data/lib/expressir/model/types/aggregate.rb +5 -1
  64. data/lib/expressir/model/types/array.rb +3 -1
  65. data/lib/expressir/model/types/bag.rb +3 -1
  66. data/lib/expressir/model/types/binary.rb +3 -1
  67. data/lib/expressir/model/types/boolean.rb +1 -1
  68. data/lib/expressir/model/types/enumeration.rb +5 -3
  69. data/lib/expressir/model/types/generic.rb +5 -1
  70. data/lib/expressir/model/types/generic_entity.rb +5 -1
  71. data/lib/expressir/model/types/integer.rb +1 -1
  72. data/lib/expressir/model/types/list.rb +3 -1
  73. data/lib/expressir/model/types/logical.rb +1 -1
  74. data/lib/expressir/model/types/number.rb +1 -1
  75. data/lib/expressir/model/types/real.rb +3 -1
  76. data/lib/expressir/model/types/select.rb +5 -3
  77. data/lib/expressir/model/types/set.rb +3 -1
  78. data/lib/expressir/model/types/string.rb +3 -1
  79. data/lib/expressir/model/unique.rb +6 -2
  80. data/lib/expressir/model/variable.rb +5 -1
  81. data/lib/expressir/model/where.rb +5 -1
  82. data/lib/expressir/version.rb +1 -1
  83. data/original/examples/syntax/hyperlink.exp +8 -0
  84. data/original/examples/syntax/hyperlink_formatted.exp +19 -0
  85. data/original/examples/syntax/remark.exp +63 -20
  86. data/original/examples/syntax/remark_formatted.exp +62 -24
  87. data/original/examples/syntax/simple.exp +3 -0
  88. data/original/examples/syntax/source.exp +16 -0
  89. data/original/examples/syntax/syntax.exp +202 -190
  90. data/original/examples/syntax/syntax_formatted.exp +370 -799
  91. data/spec/expressir/express_exp/{format_remark_spec.rb → formatter/remark_spec.rb} +2 -2
  92. data/spec/expressir/express_exp/{format_syntax_spec.rb → formatter/syntax_spec.rb} +2 -2
  93. data/spec/expressir/express_exp/hyperlink_formatter_spec.rb +24 -0
  94. data/spec/expressir/express_exp/parser/head_source_spec.rb +38 -0
  95. data/spec/expressir/express_exp/parser/multiple_spec.rb +32 -0
  96. data/spec/expressir/express_exp/{parse_remark_spec.rb → parser/remark_spec.rb} +120 -55
  97. data/spec/expressir/express_exp/parser/source_spec.rb +29 -0
  98. data/spec/expressir/express_exp/parser/syntax_spec.rb +3080 -0
  99. data/spec/expressir/express_exp/schema_head_formatter_spec.rb +36 -0
  100. data/spec/expressir/model/{find_spec.rb → model_element/find_spec.rb} +26 -8
  101. data/spec/expressir/model/model_element/hash_spec.rb +66 -0
  102. metadata +38 -11
  103. data/lib/expressir/model/scope.rb +0 -17
  104. data/spec/expressir/express_exp/ap233_spec.rb +0 -22
  105. 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 Boolean
4
+ class Boolean < ModelElement
5
5
  end
6
6
  end
7
7
  end
@@ -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[:items]
12
+ @items = options.fetch(:items, [])
13
13
  @extension_type = options[:extension_type]
14
- @extension_items = options[:extension_items]
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 Integer
4
+ class Integer < ModelElement
5
5
  end
6
6
  end
7
7
  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 Logical
4
+ class Logical < ModelElement
5
5
  end
6
6
  end
7
7
  end
@@ -1,7 +1,7 @@
1
1
  module Expressir
2
2
  module Model
3
3
  module Types
4
- class Number
4
+ class Number < ModelElement
5
5
  end
6
6
  end
7
7
  end
@@ -1,11 +1,13 @@
1
1
  module Expressir
2
2
  module Model
3
3
  module Types
4
- class Real
4
+ class Real < ModelElement
5
5
  attr_accessor :precision
6
6
 
7
7
  def initialize(options = {})
8
8
  @precision = options[:precision]
9
+
10
+ super
9
11
  end
10
12
  end
11
13
  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[:items]
14
+ @items = options.fetch(:items, [])
15
15
  @extension_type = options[:extension_type]
16
- @extension_items = options[:extension_items]
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[:attributes]
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
@@ -1,3 +1,3 @@
1
1
  module Expressir
2
- VERSION = "0.2.7".freeze
2
+ VERSION = "0.2.12".freeze
3
3
  end
@@ -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); END_TYPE;
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 remark_where : TRUE;
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
- --"remark_where" entity scope - entity where
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 remark_where : TRUE;
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
- --"remark_where" rule scope - rule where
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
- --"remark_enumeration_item" schema scope - enumeration item
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.remark_where" schema scope - entity where
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.remark_where" schema scope - rule where
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.remark_enumeration_item" universal scope - enumeration item
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.remark_where" universal scope - entity where
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.remark_where" universal scope - rule where
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