source: ruby/trunk/lib/adl_parser/lib/parser.y@ 283

Last change on this file since 283 was 283, checked in by Tatsukawa, Akimichi, 15 years ago

Scanners for ADL parser do not need yaparc library any more
File size: 39.8 KB
Line 
1
2class OpenEHR::ADL::Parser
3
4#options omit_action_call
5
6prechigh
7
8 nonassoc UMINUS UPLUS
9 left '*' '/'
10 left '+' '-'
11
12 nonassoc SYM_EQ
13 nonassoc SYM_NE
14 nonassoc SYM_LT
15 nonassoc SYM_START_DBLOCK
16 nonassoc SYM_START_CBLOCK
17 nonassoc SYM_GT
18 nonassoc SYM_END_CBLOCK
19 nonassoc SYM_END_DBLOCK
20 nonassoc SYM_LE
21 nonassoc SYM_GE
22
23preclow
24
25
26rule
27### http://svn.openehr.org/ref_impl_eiffel/TRUNK/components/adl_parser/src/syntax/adl/parser/adl_validator.y
28
29input: archetype EOF
30 {
31 result = val[0]
32 }
33 | error
34
35archetype: arch_identification arch_specialisation arch_concept arch_language arch_description arch_definition arch_invariant arch_ontology
36 {
37 assert_at(__FILE__,__LINE__) do
38 val[4].instance_of?(OpenEHR::AM::Archetype::Archetype_Description::ARCHETYPE_DESCRIPTION) and val[5].instance_of?(OpenEHR::AM::Archetype::Constraint_Model::C_COMPLEX_OBJECT) and val[7].instance_of?(OpenEHR::AM::Archetype::Ontology::ARCHETYPE_ONTOLOGY)
39 end
40
41 archetype_id = val[0][:archetype_id]
42 parent_archtype_id = val[1][:parent_archtype_id] if val[1]
43 adl_version = val[0][:arch_head][:arch_meta_data][:adl_version]
44 concept = val[2]
45 language = val[3][:arch_language]
46 archetype = OpenEHR::AM::Archetype::ARCHETYPE.create(
47 :archetype_id => archetype_id,
48 :parent_archtype_id => parent_archtype_id,
49 :adl_version => adl_version,
50 :concept => concept,
51 :description => val[4],
52 :definition => val[5],
53 :ontology => val[7]
54 ) do |archetype|
55 archetype.original_language = language
56 end
57 @@logger.debug("#{__FILE__}:#{__LINE__}: archetype = #{archetype.to_yaml} at #{@filename}:#{@lineno}")
58 result = archetype
59 }
60
61
62arch_identification: arch_head V_ARCHETYPE_ID
63 {
64 result = {:arch_head => val[0], :archetype_id => val[1] }
65 }
66 | SYM_ARCHETYPE error
67 {
68 raise
69 }
70
71arch_head: SYM_ARCHETYPE
72 {
73 result = {:arch_meta_data => nil }
74 }
75 | SYM_ARCHETYPE arch_meta_data
76 {
77 result = val[1]
78 }
79
80arch_meta_data: Left_parenthesis_code arch_meta_data_items Right_parenthesis_code
81 {
82 result = {:arch_meta_data => val[1] }
83 }
84
85arch_meta_data_items: arch_meta_data_item
86 {
87 result = val[0]
88 }
89 | arch_meta_data_items Semicolon_code arch_meta_data_item
90 {
91 result = val[0].merge(val[2])
92 }
93
94
95arch_meta_data_item: SYM_ADL_VERSION SYM_EQ V_VERSION_STRING
96 {
97 result = {:adl_version => val[2], :is_controlled => false }
98 }
99 | SYM_IS_CONTROLLED
100 {
101 result = {:is_controlled => true }
102 }
103
104# Define specialization in which its constraints are narrower than those of the parent.
105# Any data created via the use of the specialized archetype shall be conformant both to it and its parent.
106arch_specialisation: #-- empty is ok
107 | SYM_SPECIALIZE V_ARCHETYPE_ID
108 {
109 result = {:parent_archtype_id => val[1]}
110 }
111 | SYM_SPECIALIZE error
112
113arch_concept: SYM_CONCEPT V_LOCAL_TERM_CODE_REF
114 {
115 result = {:arch_concept => val[1] }
116 }
117 | SYM_CONCEPT error
118
119#arch_language: #-- empty is ok for ADL 1.4 tools
120# | SYM_LANGUAGE V_DADL_TEXT
121# | SYM_LANGUAGE error
122
123arch_language: #-- empty is ok for ADL 1.4 tools
124 {
125 result = {:arch_language => nil}
126 }
127 | SYM_LANGUAGE dadl_section
128 {
129 result = {:arch_language => val[1]}
130 }
131 | SYM_LANGUAGE error
132
133#arch_description: #-- no meta-data ok
134# | SYM_DESCRIPTION V_DADL_TEXT
135# | SYM_DESCRIPTION error
136
137arch_description: #-- no meta-data ok
138 | SYM_DESCRIPTION dadl_section
139 {
140 result = OpenEHR::AM::Archetype::Archetype_Description::ARCHETYPE_DESCRIPTION.new(:details => val[1])
141 }
142 | SYM_DESCRIPTION error
143
144#arch_definition: SYM_DEFINITION V_CADL_TEXT
145# | SYM_DEFINITION error
146arch_definition: SYM_DEFINITION cadl_section
147 {
148 result = val[1]
149 }
150 | SYM_DEFINITION error
151
152
153### cADL section
154cadl_section: c_complex_object
155 {
156 assert_at(__FILE__,__LINE__){val[0].instance_of?(OpenEHR::AM::Archetype::Constraint_Model::C_COMPLEX_OBJECT)}
157 @@logger.debug("#{__FILE__}:#{__LINE__}: c_complex_object = #{val[0]} at #{@filename}:#{@lineno}")
158 result = val[0]
159 }
160 | assertions
161 {
162 result = val[0]
163 }
164# | error
165
166#c_complex_object: c_complex_object_head SYM_MATCHES SYM_START_CBLOCK c_complex_object_body SYM_END_CBLOCK
167c_complex_object: c_complx_object_head SYM_MATCHES START_REGEXP_BLOCK REGEXP_BODY END_REGEXP_BLOCK # added by akimichi
168 {
169 result = OpenEHR::AM::Archetype::Constraint_Model::C_COMPLEX_OBJECT.create(:attributes => val[3]) do |c_complex_object|
170 c_complex_object.node_id = val[0][:c_complex_object_id][:local_term_code_ref]
171 c_complex_object.rm_type_name = val[0][:c_complex_object_id][:type_identifier]
172 c_complex_object.occurrences = val[0][:c_occurrences]
173 end
174 }
175 | c_complex_object_head SYM_MATCHES SYM_START_CBLOCK c_complex_object_body SYM_END_CBLOCK
176 {
177 result = OpenEHR::AM::Archetype::Constraint_Model::C_COMPLEX_OBJECT.create(:attributes => val[3]) do |c_complex_object|
178 c_complex_object.node_id = val[0][:c_complex_object_id][:local_term_code_ref]
179 c_complex_object.rm_type_name = val[0][:c_complex_object_id][:type_identifier]
180 c_complex_object.occurrences = val[0][:c_occurrences]
181 end
182 }
183# | c_complex_object_head error SYM_END_CBLOCK
184# | c_complex_object_head SYM_MATCHES SYM_START_CBLOCK c_complex_object_body c_invariants SYM_END_CBLOCK
185
186c_complex_object_head: c_complex_object_id c_occurrences
187 {
188 result = {:c_complex_object_id => val[0], :c_occurrences => val[1]}
189 }
190
191c_complex_object_id: type_identifier
192 {
193 result = {:type_identifier => val[0]}
194 }
195 | type_identifier V_LOCAL_TERM_CODE_REF
196 {
197 result = {:type_identifier => val[0], :local_term_code_ref => val[1]}
198 }
199
200c_complex_object_body: c_any #-- used to indicate that any value of a type is ok
201 | c_attributes
202 {
203 result = OpenEHR::AM::Archetype::Constraint_Model::C_COMPLEX_OBJECT.new(:attributes => val[0])
204 }
205
206
207#------------------------- node types -----------------------
208### http://www.openehr.org/svn/ref_impl_eiffel/TRUNK/components/adl_parser/src/syntax/cadl/parser/cadl_validator.html
209### c_object: c_complex_object
210### | archetype_internal_ref
211### | archetype_slot
212### | constraint_ref
213### | c_code_phrase
214### | c_ordinal
215### | c_primitive_object
216### | V_C_DOMAIN_TYPE
217### | ERR_C_DOMAIN_TYPE
218### | error
219c_object: c_complex_object
220 {
221 @@logger.debug("#{__FILE__}:#{__LINE__}: c_complex_object = #{val[0].inspect} at #{@filename}:#{@lineno}")
222 result = val[0]
223 }
224 | archetype_internal_ref
225 {
226 result = OpenEHR::AM::Archetype::Constraint_Model::ARCHETYPE_INTERNAL_REF.create do |archetype_internal_ref|
227 archetype_internal_ref.target_path = val[0][:absolute_path]
228 archetype_internal_ref.rm_type_name = val[0][:type_identifier]
229 archetype_internal_ref.occurrences = val[0][:c_occurrences]
230 end
231 }
232 | archetype_slot
233 {
234 result = val[0]
235 }
236 | constraint_ref
237 {
238 result = OpenEHR::AM::Archetype::Constraint_Model::CONSTRAINT_REF.create do |constraint_ref|
239 constraint_ref.reference = val[0]
240 end
241 }
242 | c_code_phrase
243 {
244 result = val[0]
245 }
246 | c_ordinal
247 {
248 result = val[0]
249 }
250 | c_primitive_object
251 {
252 result = val[0]
253 }
254 | v_c_domain_type
255 {
256 result = val[0]
257 }
258
259# | v_c_domain_type
260# | V_C_DOMAIN_TYPE
261 # this is an attempt to match a dADL section inside cADL. It will
262 # probably never work 100% properly since there can be '>' inside "||"
263 # ranges, and also strings containing any character, e.g. units string
264 # contining "{}" chars. The real solution is to use the dADL parser on
265 # the buffer from the current point on and be able to fast-forward the
266 # cursor to the last character matched by the dADL scanner
267 | ERR_C_DOMAIN_TYPE
268 | error
269
270v_c_domain_type: START_V_C_DOMAIN_TYPE_BLOCK dadl_section END_V_C_DOMAIN_TYPE_BLOCK
271 {
272 result = val[1]
273 }
274
275# 'archetype_internal_ref' is a node that refers to a previously defined object node in the same archetype.
276archetype_internal_ref: SYM_USE_NODE type_identifier c_occurrences absolute_path
277 {
278 result = {:type_identifier => val[1], :c_occurrences => val[2], :absolute_path => val[3] }
279 }
280 | SYM_USE_NODE type_identifier error
281
282# 'archetype_slot' is a node whose statements define a constraint that determines which other archetypes may appear at that point in the current archetype.
283archetype_slot: c_archetype_slot_head SYM_MATCHES SYM_START_CBLOCK c_includes c_excludes SYM_END_CBLOCK
284 {
285 result = OpenEHR::AM::Archetype::Constraint_Model::ARCHETYPE_SLOT.create do |archetype_slot|
286 archetype_slot.includes = val[3]
287 archetype_slot.excludes = val[4]
288 archetype_slot.rm_type_name = val[0][:c_archetype_slot_id]
289 archetype_slot.occurrences = val[0][:c_occurrences]
290 end
291 }
292c_archetype_slot_head: c_archetype_slot_id c_occurrences
293 {
294 result = {:c_archetype_slot_id => val[0],:c_occurrences => val[1]}
295 }
296
297c_archetype_slot_id: SYM_ALLOW_ARCHETYPE type_identifier
298 {
299 result = val[1]
300 }
301 | SYM_ALLOW_ARCHETYPE type_identifier V_LOCAL_TERM_CODE_REF
302 | SYM_ALLOW_ARCHETYPE error
303
304# 'c_primitive_object' is an node representing a constraint on a primitive object type.
305c_primitive_object: c_primitive
306 {
307 assert_at(__FILE__,__LINE__){val[0].kind_of?(OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_PRIMITIVE)}
308 result = OpenEHR::AM::Archetype::Constraint_Model::C_PRIMITIVE_OBJECT.create do |c_primitive_object|
309 c_primitive_object.item = val[0]
310 end
311 }
312
313c_primitive: c_integer
314 {
315 @@logger.debug("#{__FILE__}:#{__LINE__}: c_integer = #{val[0]} at #{@filename}:#{@lineno}")
316 result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_INTEGER.create do |c_integer|
317 c_integer.list
318 c_integer.range
319 c_integer.assumed_value
320 end
321 }
322 | c_real
323 {
324 @@logger.debug("#{__FILE__}:#{__LINE__}: c_real = #{val[0]} at #{@filename}:#{@lineno}")
325 result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_REAL.new
326 }
327 | c_date
328 {
329 @@logger.debug("#{__FILE__}:#{__LINE__}: c_date = #{val[0]} at #{@filename}:#{@lineno}")
330 result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_DATE.new
331 }
332 | c_time
333 {
334 @@logger.debug("#{__FILE__}:#{__LINE__}: c_time = #{val[0]} at #{@filename}:#{@lineno}")
335 result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_TIME.new
336 }
337 | c_date_time
338 {
339 @@logger.debug("#{__FILE__}:#{__LINE__}: c_date_time = #{val[0]} at #{@filename}:#{@lineno}")
340 result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_DATE_TIME.new
341 }
342 | c_duration
343 {
344 @@logger.debug("#{__FILE__}:#{__LINE__}: c_duration = #{val[0]} at #{@filename}:#{@lineno}")
345 result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_DURATION.new
346 }
347 | c_string
348 {
349 @@logger.debug("#{__FILE__}:#{__LINE__}: c_string = #{val[0]} at #{@filename}:#{@lineno}")
350 result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_STRING.new
351 }
352 | c_boolean
353 {
354 assert_at(__FILE__,__LINE__){val[0].instance_of?(OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN)}
355 @@logger.debug("#{__FILE__}:#{__LINE__}: c_boolean = #{val[0]} at #{@filename}:#{@lineno}")
356 result = val[0]
357 }
358
359c_any: Star_code
360#c_any: '*'
361
362#---------------- BODY - relationships ----------------
363
364c_attributes: c_attribute
365 {
366 result = [val[0]]
367 }
368 | c_attributes c_attribute
369 {
370 result = (val[0] << val[1])
371 }
372
373# 'c_attribute' is a node representing a constraint on an attribute in an object model.
374c_attribute: c_attr_head SYM_MATCHES SYM_START_CBLOCK c_attr_values SYM_END_CBLOCK
375 {
376 assert_at(__FILE__,__LINE__){ val[0].kind_of?(OpenEHR::AM::Archetype::Constraint_Model::C_ATTRIBUTE)}
377 c_attribute = val[0]
378 c_attribute.children = val[3]
379 result = c_attribute
380 }
381 | c_attr_head SYM_MATCHES START_REGEXP_BLOCK REGEXP_BODY END_REGEXP_BLOCK # added by akimichi
382 {
383 assert_at(__FILE__,__LINE__){ val[0].kind_of?(OpenEHR::AM::Archetype::Constraint_Model::C_ATTRIBUTE)}
384 result = val[0]
385 }
386 | c_attr_head SYM_MATCHES SYM_START_CBLOCK error SYM_END_CBLOCK
387 {
388 assert_at(__FILE__,__LINE__){ val[0].kind_of?(OpenEHR::AM::Archetype::Constraint_Model::C_ATTRIBUTE)}
389 result = val[0]
390 }
391
392
393c_attr_head: V_ATTRIBUTE_IDENTIFIER c_existence
394 {
395 @@logger.debug("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER = #{val[0]}, c_existence = #{val[1]} at #{@filename}")
396 result = OpenEHR::AM::Archetype::Constraint_Model::C_SINGLE_ATTRIBUTE.new(
397 :rm_attribute_name => val[0],
398 :existence => val[1]
399 )
400
401 }
402 | V_ATTRIBUTE_IDENTIFIER c_existence c_cardinality
403 {
404 assert_at(__FILE__,__LINE__){ val[2].instance_of?(OpenEHR::AM::Archetype::Constraint_Model::CARDINALITY) }
405 @@logger.debug("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER: #{val[0]}, c_existence = #{val[1]}, c_cardinality = #{val[2]} at #{@filename}")
406 result = OpenEHR::AM::Archetype::Constraint_Model::C_MULTIPLE_ATTRIBUTE.new(
407 :rm_attribute_name => val[0],
408 :existence => val[1],
409 :cardinality => val[2]
410 )
411 }
412
413c_attr_values: c_object
414 {
415 result = Array[val[0]]
416 }
417 | c_attr_values c_object
418 {
419 result = (val[0] << val[1])
420 }
421 | c_any # -- to allow a property to have any value
422 {
423 result = Array[val[0]]
424 }
425
426### c_includes: #-- Empty
427### | SYM_INCLUDE assertions
428c_includes: #-- Empty
429 | SYM_INCLUDE invariants
430{
431 result = val[1]
432}
433
434### c_excludes: #-- Empty
435### | SYM_EXCLUDE assertions
436c_excludes: #-- Empty
437 | SYM_EXCLUDE invariants
438{
439 result = val[1]
440}
441
442invariants: invariant
443 | invariants invariant
444
445invariant: any_identifier ':' boolean_expression
446 | boolean_expression
447 | any_identifier ':' error
448
449arch_invariant: #-- no invariant ok
450 | SYM_INVARIANT V_ASSERTION_TEXT
451 | SYM_INVARIANT error
452
453# define all linguistic entries in this part as dADL.
454#arch_ontology: SYM_ONTOLOGY V_DADL_TEXT
455# | SYM_ONTOLOGY error
456
457arch_ontology: SYM_ONTOLOGY dadl_section
458 {
459 dadl_section = val[1]
460 result = OpenEHR::AM::Archetype::Ontology::ARCHETYPE_ONTOLOGY.new
461 }
462 | SYM_ONTOLOGY error
463
464
465### dADL section
466dadl_section: dadl_input
467
468dadl_input: attr_vals
469 | complex_object_block
470# | error
471
472attr_vals: attr_val
473 {
474 result = Array[val[0]]
475 }
476 | attr_vals attr_val
477 {
478 result = (val[0] << val[1])
479 }
480 | attr_vals Semicolon_code attr_val
481 {
482 result = (val[0] << val[2])
483 }
484
485attr_val: attr_id SYM_EQ object_block
486 {
487 @@logger.debug("#{__FILE__}:#{__LINE__}: attr_id = #{val[0]} at #{@filename}:#{@lineno}")
488 result = {:attr_id => val[0], :object_block => val[2]}
489 }
490
491attr_id: V_ATTRIBUTE_IDENTIFIER
492 {
493 @@logger.debug("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER = #{val[0]} at #{@filename}:#{@lineno}")
494 result = val[0]
495 }
496 | V_ATTRIBUTE_IDENTIFIER error
497
498object_block: complex_object_block
499 {
500 result = val[0]
501 }
502 | primitive_object_block
503 {
504 result = val[0]
505 }
506
507complex_object_block: single_attr_object_block
508 {
509 result = val[0]
510 }
511 | multiple_attr_object_block
512 {
513 result = val[0]
514 }
515
516multiple_attr_object_block: untyped_multiple_attr_object_block
517 {
518 result = {:untyped_multiple_attr_object_block => val[0]}
519 }
520 | type_identifier untyped_multiple_attr_object_block
521 {
522 result = {:type_identifier => val[0], :untyped_multiple_attr_object_block => val[1]}
523 }
524
525untyped_multiple_attr_object_block: multiple_attr_object_block_head keyed_objects SYM_END_DBLOCK
526 {
527 result = {:multiple_attr_object_block_head => val[0], :keyed_objects => val[1]}
528 }
529
530multiple_attr_object_block_head: SYM_START_DBLOCK
531 {
532 result = val[0]
533 }
534
535keyed_objects: keyed_object
536 {
537 result = Array[val[0]]
538 }
539 | keyed_objects keyed_object
540 {
541 result = (val[0] << val[1])
542 }
543
544keyed_object: object_key SYM_EQ object_block
545 {
546 @@logger.debug("#{__FILE__}:#{__LINE__}: keyed_object = #{val[0]} at #{@filename}:#{@lineno}")
547 result = {:object_key => val[0], :object_block => val[2]}
548 }
549
550object_key: Left_bracket_code simple_value Right_bracket_code
551 {
552 @@logger.debug("object_key: [#{val[1]}] at #{@filename}:#{@lineno}")
553 result = val[1]
554 }
555
556single_attr_object_block: untyped_single_attr_object_block
557 {
558 result = {:untyped_single_attr_object_block => val[0]}
559 }
560 | type_identifier untyped_single_attr_object_block
561 {
562 result = {:type_identifier => val[0], :untyped_single_attr_object_block => val[1]}
563 }
564
565untyped_single_attr_object_block: single_attr_object_complex_head SYM_END_DBLOCK # >
566 {
567 @@logger.debug("#{__FILE__}:#{__LINE__}: single_attr_object_complex_head = #{val[0]} at #{@filename}:#{@lineno}")
568 result = {:single_attr_object_complex_head => val[0]}
569 }
570 | single_attr_object_complex_head attr_vals SYM_END_DBLOCK
571 {
572 @@logger.debug("#{__FILE__}:#{__LINE__}: attr_vals = #{val[1]} at #{@filename}:#{@lineno}")
573 result = {:single_attr_object_complex_head => val[0], :attr_vals => val[1]}
574 }
575single_attr_object_complex_head: SYM_START_DBLOCK
576primitive_object_block: untyped_primitive_object_block
577 {
578 @@logger.debug("#{__FILE__}:#{__LINE__}: untyped_primitive_object_block = #{val[0]} at #{@filename}:#{@lineno}")
579 result = {:untyped_primitive_object_block => val[0]}
580 }
581 | type_identifier untyped_primitive_object_block
582 {
583 @@logger.debug("#{__FILE__}:#{__LINE__}: type_identifier = #{val[0]}, untyped_primitive_object_block = #{val[1]} at #{@filename}:#{@lineno}")
584 result = {:type_identifier => val[0], :untyped_primitive_object_block => val[1]}
585 }
586untyped_primitive_object_block: SYM_START_DBLOCK primitive_object_value SYM_END_DBLOCK
587 {
588 @@logger.debug("#{__FILE__}:#{__LINE__}: primitive_object_block = <#{val[1]}> at #{@filename}:#{@lineno}")
589 result = val[1]
590 }
591primitive_object_value: simple_value
592 {
593 result = val[0]
594 }
595 | simple_list_value
596 {
597 result = val[0]
598 }
599 | simple_interval_value
600 {
601 result = val[0]
602 }
603 | term_code
604 {
605 result = val[0]
606 }
607 | term_code_list_value
608 {
609 result = val[0]
610 }
611simple_value: string_value
612 {
613 @@logger.debug("string_value: #{val[0]} at #{@filename}:#{@lineno}")
614 result = val[0]
615 }
616 | integer_value
617 {
618 @@logger.debug("integer_value: #{val[0]} at #{@filename}:#{@lineno}")
619 result = val[0]
620 }
621 | real_value
622 {
623 @@logger.debug("real_value: #{val[0]} at #{@filename}:#{@lineno}")
624 result = val[0]
625 }
626 | boolean_value
627 {
628 @@logger.debug("boolean_value: #{val[0]} at #{@filename}:#{@lineno}")
629 result = val[0]
630 }
631 | character_value
632 {
633 @@logger.debug("character_value: #{val[0]} at #{@filename}:#{@lineno}")
634 result = val[0]
635 }
636 | date_value
637 {
638 @@logger.debug("date_value: #{val[0]} at #{@filename}:#{@lineno}")
639 result = val[0]
640 }
641 | time_value
642 {
643 @@logger.debug("time_value: #{val[0]} at #{@filename}:#{@lineno}")
644 result = val[0]
645 }
646 | date_time_value
647 {
648 @@logger.debug("date_time_value: #{val[0]} at #{@filename}:#{@lineno}")
649 result = val[0]
650 }
651 | duration_value
652 {
653 @@logger.debug("duration_value: #{val[0]} at #{@filename}:#{@lineno}")
654 result = val[0]
655 }
656 | uri_value
657 {
658 @@logger.debug("uri_value: #{val[0]} at #{@filename}:#{@lineno}")
659 result = val[0]
660 }
661
662simple_list_value: string_list_value
663 | integer_list_value
664 | real_list_value
665 | boolean_list_value
666 | character_list_value
667 | date_list_value
668 | time_list_value
669 | date_time_list_value
670 | duration_list_value
671
672simple_interval_value: integer_interval_value
673 | real_interval_value
674 | date_interval_value
675 | time_interval_value
676 | date_time_interval_value
677 | duration_interval_value
678
679type_identifier: V_TYPE_IDENTIFIER
680 {
681 @@logger.debug("V_TYPE_IDENTIFIER: #{val[0]} at #{@filename}:#{@lineno}")
682 result = val[0]
683 }
684 | V_GENERIC_TYPE_IDENTIFIER
685 {
686 @@logger.debug("V_GENERIC_TYPE_IDENTIFIER: #{val[0]} at #{@filename}:#{@lineno}")
687 result = val[0]
688 }
689
690string_value: V_STRING
691 {
692 @@logger.debug("V_STRING: #{val[0]} at #{@filename}:#{@lineno}")
693 result = val[0]
694 }
695
696string_list_value: V_STRING Comma_code V_STRING
697 | string_list_value Comma_code V_STRING
698 | V_STRING Comma_code SYM_LIST_CONTINUE
699
700integer_value: V_INTEGER
701 {
702 begin
703 integer = Integer(val[0])
704 rescue
705 raise
706 end
707 result = integer
708 }
709 | Plus_code V_INTEGER
710 {
711 begin
712 integer = Integer(val[0])
713 rescue
714 raise
715 end
716 result = integer
717 }
718 | Minus_code V_INTEGER
719 {
720 begin
721 integer = Integer(val[0])
722 rescue
723 raise
724 end
725 result = - integer
726 }
727### | '+' V_INTEGER
728### | '-' V_INTEGER
729
730integer_list_value: integer_value Comma_code integer_value
731 | integer_list_value Comma_code integer_value
732 | integer_value Comma_code SYM_LIST_CONTINUE
733
734integer_interval_value: SYM_INTERVAL_DELIM integer_value SYM_ELLIPSIS integer_value SYM_INTERVAL_DELIM
735 | SYM_INTERVAL_DELIM SYM_GT integer_value SYM_ELLIPSIS integer_value SYM_INTERVAL_DELIM
736 | SYM_INTERVAL_DELIM integer_value SYM_ELLIPSIS SYM_LT integer_value SYM_INTERVAL_DELIM
737 | SYM_INTERVAL_DELIM SYM_GT integer_value SYM_ELLIPSIS SYM_LT integer_value SYM_INTERVAL_DELIM
738 | SYM_INTERVAL_DELIM SYM_LT integer_value SYM_INTERVAL_DELIM
739 | SYM_INTERVAL_DELIM SYM_LE integer_value SYM_INTERVAL_DELIM
740 | SYM_INTERVAL_DELIM SYM_GT integer_value SYM_INTERVAL_DELIM
741 | SYM_INTERVAL_DELIM SYM_GE integer_value SYM_INTERVAL_DELIM
742 | SYM_INTERVAL_DELIM integer_value SYM_INTERVAL_DELIM
743
744real_value: V_REAL
745 {
746 begin
747 real = Float(val[0])
748 rescue
749 raise
750 end
751 result = real
752 }
753 | Plus_code V_REAL
754 {
755 begin
756 real = Float(val[1])
757 rescue
758 raise
759 end
760 result = real
761 }
762 | Minus_code V_REAL
763 {
764 begin
765 real = Float(val[1])
766 rescue
767 raise
768 end
769 result = - real
770 }
771
772real_list_value: real_value Comma_code real_value
773 | real_list_value Comma_code real_value
774 | real_value Comma_code SYM_LIST_CONTINUE
775
776real_interval_value: SYM_INTERVAL_DELIM real_value SYM_ELLIPSIS real_value SYM_INTERVAL_DELIM
777 | SYM_INTERVAL_DELIM SYM_GT real_value SYM_ELLIPSIS real_value SYM_INTERVAL_DELIM
778 | SYM_INTERVAL_DELIM real_value SYM_ELLIPSIS SYM_LT real_value SYM_INTERVAL_DELIM
779 | SYM_INTERVAL_DELIM SYM_GT real_value SYM_ELLIPSIS SYM_LT real_value SYM_INTERVAL_DELIM
780 | SYM_INTERVAL_DELIM SYM_LT real_value SYM_INTERVAL_DELIM
781 | SYM_INTERVAL_DELIM SYM_LE real_value SYM_INTERVAL_DELIM
782 | SYM_INTERVAL_DELIM SYM_GT real_value SYM_INTERVAL_DELIM
783 | SYM_INTERVAL_DELIM SYM_GE real_value SYM_INTERVAL_DELIM
784 | SYM_INTERVAL_DELIM real_value SYM_INTERVAL_DELIM
785
786
787boolean_value: SYM_TRUE
788 {
789 result = true
790 }
791 | SYM_FALSE
792 {
793 result = false
794 }
795
796boolean_list_value: boolean_value Comma_code boolean_value
797 | boolean_list_value Comma_code boolean_value
798 | boolean_value Comma_code SYM_LIST_CONTINUE
799
800character_value: V_CHARACTER
801
802character_list_value: character_value Comma_code character_value
803 | character_list_value Comma_code character_value
804 | character_value Comma_code SYM_LIST_CONTINUE
805
806date_value: V_ISO8601_EXTENDED_DATE
807 {
808 result = val[0]
809 }
810
811date_list_value: date_value Comma_code date_value
812 | date_list_value Comma_code date_value
813 | date_value Comma_code SYM_LIST_CONTINUE
814
815date_interval_value: SYM_INTERVAL_DELIM date_value SYM_ELLIPSIS date_value SYM_INTERVAL_DELIM
816 | SYM_INTERVAL_DELIM SYM_GT date_value SYM_ELLIPSIS date_value SYM_INTERVAL_DELIM
817 | SYM_INTERVAL_DELIM date_value SYM_ELLIPSIS SYM_LT date_value SYM_INTERVAL_DELIM
818 | SYM_INTERVAL_DELIM SYM_GT date_value SYM_ELLIPSIS SYM_LT date_value SYM_INTERVAL_DELIM
819 | SYM_INTERVAL_DELIM SYM_LT date_value SYM_INTERVAL_DELIM
820 | SYM_INTERVAL_DELIM SYM_LE date_value SYM_INTERVAL_DELIM
821 | SYM_INTERVAL_DELIM SYM_GT date_value SYM_INTERVAL_DELIM
822 | SYM_INTERVAL_DELIM SYM_GE date_value SYM_INTERVAL_DELIM
823 | SYM_INTERVAL_DELIM date_value SYM_INTERVAL_DELIM
824
825time_value: V_ISO8601_EXTENDED_TIME
826
827time_list_value: time_value Comma_code time_value
828 | time_list_value Comma_code time_value
829 | time_value Comma_code SYM_LIST_CONTINUE
830
831time_interval_value: SYM_INTERVAL_DELIM time_value SYM_ELLIPSIS time_value SYM_INTERVAL_DELIM
832 | SYM_INTERVAL_DELIM SYM_GT time_value SYM_ELLIPSIS time_value SYM_INTERVAL_DELIM
833 | SYM_INTERVAL_DELIM time_value SYM_ELLIPSIS SYM_LT time_value SYM_INTERVAL_DELIM
834 | SYM_INTERVAL_DELIM SYM_GT time_value SYM_ELLIPSIS SYM_LT time_value SYM_INTERVAL_DELIM
835 | SYM_INTERVAL_DELIM SYM_LT time_value SYM_INTERVAL_DELIM
836 | SYM_INTERVAL_DELIM SYM_LE time_value SYM_INTERVAL_DELIM
837 | SYM_INTERVAL_DELIM SYM_GT time_value SYM_INTERVAL_DELIM
838 | SYM_INTERVAL_DELIM SYM_GE time_value SYM_INTERVAL_DELIM
839 | SYM_INTERVAL_DELIM time_value SYM_INTERVAL_DELIM
840
841date_time_value: V_ISO8601_EXTENDED_DATE_TIME
842
843date_time_list_value: date_time_value Comma_code date_time_value
844 | date_time_list_value Comma_code date_time_value
845 | date_time_value Comma_code SYM_LIST_CONTINUE
846
847date_time_interval_value: SYM_INTERVAL_DELIM date_time_value SYM_ELLIPSIS date_time_value SYM_INTERVAL_DELIM
848 | SYM_INTERVAL_DELIM SYM_GT date_time_value SYM_ELLIPSIS date_time_value SYM_INTERVAL_DELIM
849 | SYM_INTERVAL_DELIM date_time_value SYM_ELLIPSIS SYM_LT date_time_value SYM_INTERVAL_DELIM
850 | SYM_INTERVAL_DELIM SYM_GT date_time_value SYM_ELLIPSIS SYM_LT date_time_value SYM_INTERVAL_DELIM
851 | SYM_INTERVAL_DELIM SYM_LT date_time_value SYM_INTERVAL_DELIM
852 | SYM_INTERVAL_DELIM SYM_LE date_time_value SYM_INTERVAL_DELIM
853 | SYM_INTERVAL_DELIM SYM_GT date_time_value SYM_INTERVAL_DELIM
854 | SYM_INTERVAL_DELIM SYM_GE date_time_value SYM_INTERVAL_DELIM
855 | SYM_INTERVAL_DELIM date_time_value SYM_INTERVAL_DELIM
856
857duration_value: V_ISO8601_DURATION
858 {
859 @@logger.debug("V_ISO8601_DURATION: #{val[0]} at #{@filename}:#{@lineno}")
860 result = val[0]
861 }
862
863duration_list_value: duration_value Comma_code duration_value
864 | duration_list_value Comma_code duration_value
865 | duration_value Comma_code SYM_LIST_CONTINUE
866
867duration_interval_value: SYM_INTERVAL_DELIM duration_value SYM_ELLIPSIS duration_value SYM_INTERVAL_DELIM
868 | SYM_INTERVAL_DELIM SYM_GT duration_value SYM_ELLIPSIS duration_value SYM_INTERVAL_DELIM
869 | SYM_INTERVAL_DELIM duration_value SYM_ELLIPSIS SYM_LT duration_value SYM_INTERVAL_DELIM
870 | SYM_INTERVAL_DELIM SYM_GT duration_value SYM_ELLIPSIS SYM_LT duration_value SYM_INTERVAL_DELIM
871 | SYM_INTERVAL_DELIM SYM_LT duration_value SYM_INTERVAL_DELIM
872 | SYM_INTERVAL_DELIM SYM_LE duration_value SYM_INTERVAL_DELIM
873 | SYM_INTERVAL_DELIM SYM_GT duration_value SYM_INTERVAL_DELIM
874 | SYM_INTERVAL_DELIM SYM_GE duration_value SYM_INTERVAL_DELIM
875 | SYM_INTERVAL_DELIM duration_value SYM_INTERVAL_DELIM
876
877term_code: V_QUALIFIED_TERM_CODE_REF
878 {
879 @@logger.debug("#{__FILE__}:#{__LINE__}: V_QUALIFIED_TERM_CODE_REF = #{val[0]} at #{@filename}:#{@lineno}")
880 result = val[0]
881 }
882
883term_code_list_value: term_code Comma_code term_code
884 | term_code_list_value Comma_code term_code
885 | term_code Comma_code SYM_LIST_CONTINUE
886
887uri_value: V_URI
888 {
889 @@logger.debug("#{__FILE__}:#{__LINE__}: V_URI = #{val[0]} at #{@filename}:#{@lineno}")
890 result = val[0]
891 }
892
893
894#---------------------- ASSERTIONS ------------------------
895
896assertions: assertion
897 | assertions assertion
898
899assertion: any_identifier ':' boolean_expression
900 | boolean_expression
901 | any_identifier ':' error
902
903#---------------------- expressions ---------------------
904
905boolean_expression: boolean_leaf
906 | boolean_node
907
908boolean_node: SYM_EXISTS absolute_path
909# | absolute_path
910 | SYM_EXISTS error
911 | relative_path SYM_MATCHES SYM_START_CBLOCK c_primitive SYM_END_CBLOCK
912 | relative_path SYM_MATCHES START_REGEXP_BLOCK REGEXP_BODY END_REGEXP_BLOCK # added by akimichi
913 | SYM_NOT boolean_leaf
914 | arithmetic_expression '=' arithmetic_expression
915 | arithmetic_expression SYM_NE arithmetic_expression
916 | arithmetic_expression SYM_LT arithmetic_expression
917 | arithmetic_expression SYM_GT arithmetic_expression
918 | arithmetic_expression SYM_LE arithmetic_expression
919 | arithmetic_expression SYM_GE arithmetic_expression
920 | boolean_expression SYM_AND boolean_expression
921 | boolean_expression SYM_OR boolean_expression
922 | boolean_expression SYM_XOR boolean_expression
923 | boolean_expression SYM_IMPLIES boolean_expression
924
925boolean_leaf: Left_parenthesis_code boolean_expression Right_parenthesis_code
926 | SYM_TRUE
927 | SYM_FALSE
928
929arithmetic_expression: arithmetic_leaf
930 | arithmetic_node
931
932arithmetic_node: arithmetic_expression '+' arithmetic_leaf
933 | arithmetic_expression '-' arithmetic_leaf
934 | arithmetic_expression Star_code arithmetic_leaf
935 | arithmetic_expression Slash_code arithmetic_leaf
936 | arithmetic_expression '^' arithmetic_leaf
937
938arithmetic_leaf: Left_parenthesis_code arithmetic_expression Right_parenthesis_code
939 | integer_value
940 | real_value
941 | absolute_path
942
943
944#--------------- THE FOLLOWING SOURCE TAKEN FROM OG_PATH_VALIDATOR.Y -------------
945#--------------- except to remove movable_path ----------------------------------------------------
946
947
948absolute_path: Slash_code
949 | Slash_code relative_path
950# | absolute_path Slash_code relative_path
951
952
953
954relative_path: path_segment
955 | relative_path Slash_code path_segment
956
957path_segment: V_ATTRIBUTE_IDENTIFIER V_LOCAL_TERM_CODE_REF
958 {
959 @@logger.debug("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{val[0]} at #{@filename}")
960 }
961 | V_ATTRIBUTE_IDENTIFIER
962 {
963 @@logger.debug("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{val[0]} at #{@filename}")
964 }
965
966
967#-------------------------------- END SOURCE TAKEN FROM OG_PATH_VALIDATOR.Y ----------------------
968
969
970#---------------- existence, occurrences, cardinality ----------------
971
972c_existence: #-- default to 1..1
973 {
974 result = Range.new(1,1)
975 }
976 | SYM_EXISTENCE SYM_MATCHES SYM_START_CBLOCK existence_spec SYM_END_CBLOCK
977 {
978 result = val[3]
979 }
980
981existence_spec: V_INTEGER #-- can only be 0 or 1
982 {
983 begin
984 integer = Integer(val[0])
985 rescue
986 raise
987 end
988 result = integer
989 }
990 | V_INTEGER SYM_ELLIPSIS V_INTEGER #-- can only be 0..0, 0..1, 1..1
991 {
992 begin
993 from_integer = Integer(val[0])
994 to_integer = Integer(val[2])
995 rescue
996 raise
997 end
998 result = Range.new(from_integer,to_integer)
999 }
1000
1001c_cardinality: SYM_CARDINALITY SYM_MATCHES SYM_START_CBLOCK cardinality_spec SYM_END_CBLOCK
1002 {
1003 result = OpenEHR::AM::Archetype::Constraint_Model::CARDINALITY.new
1004 }
1005
1006cardinality_spec: occurrence_spec
1007 | occurrence_spec Semicolon_code SYM_ORDERED
1008 | occurrence_spec Semicolon_code SYM_UNORDERED
1009 | occurrence_spec Semicolon_code SYM_UNIQUE
1010 | occurrence_spec Semicolon_code SYM_ORDERED Semicolon_code SYM_UNIQUE
1011 | occurrence_spec Semicolon_code SYM_UNORDERED Semicolon_code SYM_UNIQUE
1012 | occurrence_spec Semicolon_code SYM_UNIQUE Semicolon_code SYM_ORDERED
1013 | occurrence_spec Semicolon_code SYM_UNIQUE Semicolon_code SYM_UNORDERED
1014
1015cardinality_limit_value: integer_value
1016 {
1017 result = val[0]
1018 }
1019 | Star_code # '*'
1020 {
1021 result = val[0]
1022 }
1023
1024
1025c_occurrences: #-- default to 1..1
1026 | SYM_OCCURRENCES SYM_MATCHES SYM_START_CBLOCK occurrence_spec SYM_END_CBLOCK
1027 {
1028 result = val[3]
1029 }
1030 | SYM_OCCURRENCES error
1031
1032occurrence_spec: cardinality_limit_value #-- single integer or '*'
1033 | V_INTEGER SYM_ELLIPSIS cardinality_limit_value
1034
1035#---------------------- leaf constraint types -----------------------
1036
1037c_integer_spec: integer_value
1038 | integer_list_value
1039 | integer_interval_value
1040
1041c_integer: c_integer_spec
1042 | c_integer_spec Semicolon_code integer_value
1043 | c_integer_spec Semicolon_code error
1044
1045c_real_spec: real_value
1046 | real_list_value
1047 | real_interval_value
1048
1049c_real: c_real_spec
1050 | c_real_spec Semicolon_code real_value
1051 | c_real_spec Semicolon_code error
1052
1053c_date_constraint: V_ISO8601_DATE_CONSTRAINT_PATTERN
1054 | date_value
1055 | date_interval_value
1056
1057c_date: c_date_constraint
1058 | c_date_constraint Semicolon_code date_value
1059 | c_date_constraint Semicolon_code error
1060
1061c_time_constraint: V_ISO8601_TIME_CONSTRAINT_PATTERN
1062 | time_value
1063 | time_interval_value
1064
1065c_time: c_time_constraint
1066 | c_time_constraint Semicolon_code time_value
1067 | c_time_constraint Semicolon_code error
1068
1069c_date_time_constraint: V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN
1070 | date_time_value
1071 | date_time_interval_value
1072
1073c_date_time: c_date_time_constraint
1074 | c_date_time_constraint Semicolon_code date_time_value
1075 | c_date_time_constraint Semicolon_code error
1076
1077c_duration_constraint: duration_pattern
1078 | duration_pattern Slash_code duration_interval_value
1079 | duration_value
1080 | duration_interval_value
1081
1082c_duration: c_duration_constraint
1083 | c_duration_constraint Semicolon_code duration_value
1084 | c_duration_constraint Semicolon_code error
1085
1086c_string_spec: V_STRING #-- single value, generates closed list
1087 | string_list_value #-- closed list
1088 | string_list_value Comma_code SYM_LIST_CONTINUE #-- open list
1089# | string_list_value ',' SYM_LIST_CONTINUE #-- open list
1090# | V_REGEXP #-- regular expression with "//" or "^^" delimiters
1091
1092c_string: c_string_spec
1093 | c_string_spec Semicolon_code string_value
1094 | c_string_spec Semicolon_code error
1095
1096c_boolean_spec: SYM_TRUE
1097 {
1098 result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => true)
1099 }
1100 | SYM_FALSE
1101 {
1102 result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => false)
1103 }
1104 | SYM_TRUE Comma_code SYM_FALSE
1105 {
1106 result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => true,:false_valid => false)
1107 }
1108 | SYM_FALSE Comma_code SYM_TRUE
1109 {
1110 result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => false,:false_valid => true)
1111 }
1112
1113c_boolean: c_boolean_spec
1114 {
1115 result = val[0]
1116 }
1117 | c_boolean_spec Semicolon_code boolean_value
1118 {
1119 raise 'Not implemented yet'
1120 }
1121 | c_boolean_spec Semicolon_code error
1122 {
1123 raise 'Not implemented yet'
1124 }
1125
1126c_ordinal: c_ordinal_spec
1127 | c_ordinal_spec Semicolon_code integer_value
1128 | c_ordinal_spec Semicolon_code error
1129
1130c_ordinal_spec: ordinal
1131 | c_ordinal_spec Comma_code ordinal
1132
1133ordinal: integer_value SYM_INTERVAL_DELIM V_QUALIFIED_TERM_CODE_REF
1134 {
1135 @in_interval = false
1136 @@logger.debug("#{__FILE__}:#{__LINE__}, #{val[0]}|#{val[2]} at #{@filename}")
1137 }
1138
1139#c_code_phrase: V_TERM_CODE_CONSTRAINT #-- e.g. "[local::at0040, at0041; at0040]"
1140c_code_phrase: term_code_constraint_section #-- e.g. "[local::at0040, at0041; at0040]"
1141 {
1142 result = val[0]
1143 }
1144 | V_QUALIFIED_TERM_CODE_REF
1145 {
1146 result = val[0]
1147 }
1148
1149# [[a-zA-Z0-9\(\)\._\-]+::[ \t\n]* [[a-zA-Z0-9\._\-]*[ \t]*]
1150term_code_constraint_section: START_TERM_CODE_CONSTRAINT term_code_body END_TERM_CODE_CONSTRAINT
1151 {
1152 @@logger.debug("#{__FILE__}:#{__LINE__}, START_TERM_CODE_CONSTRAINT = #{val[0]} at #{@filename}")
1153 @@logger.debug("#{__FILE__}:#{__LINE__}, term_code_body = #{val[1]}")
1154 @@logger.debug("#{__FILE__}:#{__LINE__}, END_TERM_CODE_CONSTRAINT = #{val[2]}")
1155 result = val[1]
1156 }
1157
1158
1159term_code_body: # empty
1160 | TERM_CODE
1161 | term_code_body TERM_CODE
1162### term_code_body: TERM_CODE
1163### | term_code_body TERM_CODE
1164
1165# A Constraint_Ref is a proxy for a set of constraints on an object.
1166constraint_ref: V_LOCAL_TERM_CODE_REF #-- e.g. "ac0003"
1167 {
1168 result = val[0]
1169 }
1170
1171any_identifier: type_identifier
1172 {
1173 result = val[0]
1174 }
1175 | V_ATTRIBUTE_IDENTIFIER
1176 {
1177 @@logger.debug("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{word} at #{@filename}")
1178 result = val[0]
1179 }
1180
1181
1182#----------------- TAKEN FROM DADL_VALIDATOR.Y -------------------
1183#----------------- DO NOT MODIFY -------------------
1184#---------------------- BASIC DATA VALUES -----------------------
1185
1186duration_pattern: V_ISO8601_DURATION_CONSTRAINT_PATTERN
1187 {
1188 result = val[0]
1189 }
1190
1191
1192
1193---- header
1194
1195
1196$:.unshift File.join(File.dirname(__FILE__))
1197require 'logger'
1198require 'yaml'
1199require 'rubygems'
1200require 'adl_parser.rb'
1201require 'am.rb'
1202require 'rm.rb'
1203$DEBUG = false
1204
1205
1206
1207---- inner
1208
1209def assert_at(file,line, message = "")
1210 unless yield
1211 raise "Assertion failed !: #{file}, #{line}: #{message}"
1212 end
1213end
1214
1215if $DEBUG
1216 @@logger = Logger.new('log/parser.log','daily')
1217 @@logger.level = Logger::DEBUG
1218else
1219 @@logger = Logger.new(STDOUT)
1220 @@logger.level = Logger::WARN
1221end
1222
1223
1224###----------/* keywords */ ---------------------------------------------
1225@@adl_reserved = {
1226 'archetype' => :SYM_ARCHETYPE,
1227 'adl_version' => :SYM_ADL_VERSION,
1228 'controlled' => :SYM_IS_CONTROLLED,
1229 'specialize' => :SYM_SPECIALIZE,
1230 'concept' => :SYM_CONCEPT,
1231 'language' => :SYM_LANGUAGE,
1232 'description' => :SYM_DESCRIPTION,
1233 'definition' => :SYM_DEFINITION,
1234 'invariant' => :SYM_INVARIANT,
1235 'ontology' => :SYM_ONTOLOGY,
1236 'matches' => :SYM_MATCHES,
1237 'is_in' => :SYM_MATCHES,
1238 'occurrences' => :SYM_OCCURRENCES,
1239 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
1240 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
1241 'infinity' => :SYM_INFINITY # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
1242}
1243
1244@@dadl_reserved = {
1245 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
1246 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
1247 'infinity' => :SYM_INFINITY # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
1248}
1249
1250@@cadl_reserved = {
1251 'then' => :SYM_THEN, # [Tt][Hh][Ee][Nn]
1252 'else' => :SYM_ELSE, # [Ee][Ll][Ss][Ee]
1253 'and' => :SYM_AND, # [Aa][Nn][Dd]
1254 'or' => :SYM_OR, # [Oo][Rr]
1255 'xor' => :SYM_XOR, # [Xx][Oo][Rr]
1256 'not' => :SYM_NOT, # [Nn][Oo][Tt]
1257 'implies' => :SYM_IMPLIES, # [Ii][Mm][Pp][Ll][Ii][Ee][Ss]
1258 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
1259 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
1260 'forall' => :SYM_FORALL, # [Ff][Oo][Rr][_][Aa][Ll][Ll]
1261 'exists' => :SYM_EXISTS, # [Ee][Xx][Ii][Ss][Tt][Ss]
1262 'existence' => :SYM_EXISTENCE, # [Ee][Xx][Iu][Ss][Tt][Ee][Nn][Cc][Ee]
1263 'occurrences' => :SYM_OCCURRENCES, # [Oo][Cc][Cc][Uu][Rr][Rr][Ee][Nn][Cc][Ee][Ss]
1264 'cardinality' => :SYM_CARDINALITY, # [Cc][Aa][Rr][Dd][Ii][Nn][Aa][Ll][Ii][Tt][Yy]
1265 'ordered' => :SYM_ORDERED, # [Oo][Rr][Dd][Ee][Rr][Ee][Dd]
1266 'unordered' => :SYM_UNORDERED, # [Uu][Nn][Oo][Rr][Dd][Ee][Rr][Ee][Dd]
1267 'unique' => :SYM_UNIQUE, # [Uu][Nn][Ii][Qq][Uu][Ee]
1268 'matches' => :SYM_MATCHES, # [Mm][Aa][Tt][Cc][Hh][Ee][Ss]
1269 'is_in' => :SYM_MATCHES, # [Ii][Ss][_][Ii][Nn]
1270 'invariant' => :SYM_INVARIANT, # [Ii][Nn][Vv][Aa][Rr][Ii][Aa][Nn][Tt]
1271 'infinity' => :SYM_INFINITY, # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
1272 'use_node' => :SYM_USE_NODE, # [Uu][Ss][Ee][_][Nn][Oo][Dd][Ee]
1273 'use_archetype' => :SYM_ALLOW_ARCHETYPE, # [Uu][Ss][Ee][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
1274 'allow_archetype' => :SYM_ALLOW_ARCHETYPE, # [Aa][Ll][Ll][Oo][Ww][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
1275 'include' => :SYM_INCLUDE, # [Ii][Nn][Cc][Ll][Uu][Dd][Ee]
1276 'exclude' => :SYM_EXCLUDE # [Ee][Xx][Cc][Ll][Uu][Dd][Ee]
1277}
1278
1279
1280###----------/* Scanner */ -----------------------------------------------
1281
1282
1283def scan
1284 @@logger.debug("#{__FILE__}:#{__LINE__}: Entering scan at #{@filename}:#{@lineno}:")
1285 scanner = OpenEHR::ADL::Scanner::ADLScanner.new(@adl_type, @filename)
1286
1287 until @data.nil? do
1288 @data = scanner.scan(@data) do |sym, val|
1289 yield sym, val
1290 end
1291 @data = $' # variable $' receives the string after the match
1292 end
1293 yield :EOF, nil
1294 yield false, '$'
1295end # of scan
1296
1297
1298def parse(data, filename, lineno = 1, debug = false)
1299 @yydebug = true
1300 @parsestring = data
1301 @data = data
1302 @lineno = lineno
1303 @filename = filename
1304 @adl_type = [:adl] # {:adl, :cadl, :dadl}
1305 @in_regexp = false
1306 @in_interval = false
1307 @in_c_domain_type = false
1308 yyparse self, :scan
1309end
1310
1311def on_error( t, v, values)
1312 raise Racc::ParseError, "#{@filename}:#{@lineno}: Inline syntax error on #{v.inspect}"
1313end
1314
1315
1316__END__
1317
1318
1319
1320
1321### Local Variables:
1322### mode:ruby
1323### mode:font-lock
1324### comment-column:0
1325### comment-start: "### "
1326### comment-end:""
1327### End:
1328
1329
1330
1331
Note: See TracBrowser for help on using the repository browser.