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

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

ADL parser is roughly coupled with open_ehr model classes
File size: 41.7 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][:arch_concept]
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# | v_c_domain_type
259# | V_C_DOMAIN_TYPE
260 # this is an attempt to match a dADL section inside cADL. It will
261 # probably never work 100% properly since there can be '>' inside "||"
262 # ranges, and also strings containing any character, e.g. units string
263 # contining "{}" chars. The real solution is to use the dADL parser on
264 # the buffer from the current point on and be able to fast-forward the
265 # cursor to the last character matched by the dADL scanner
266### ----------/* V_C_DOMAIN_TYPE - sections of dADL syntax */ ------------------------------------------------- ----------/* V_C_DOMAIN_TYPE - sections of dADL syntax */ -------------------------------------------------
267
268
269### [A-Z][a-zA-Z0-9_]*[ \n]*< { -- match a pattern like 'Type_Identifier whitespace <' [A-Z][a-zA-Z0-9_]*[ \n]*< { -- match a pattern like 'Type_Identifier whitespace <'
270### set_start_condition (IN_C_DOMAIN_TYPE) set_start_condition (IN_C_DOMAIN_TYPE)
271### } }
272
273### <IN_C_DOMAIN_TYPE>[^}>]*>[ \n]*[^>}A-Z] { -- match up to next > not followed by a '}' or '>' <IN_C_DOMAIN_TYPE>[^}>]*>[ \n]*[^>}A-Z] { -- match up to next > not followed by a '}' or '>'
274### in_buffer.append_string (text) in_buffer.append_string (text)
275### } }
276
277### <IN_C_DOMAIN_TYPE>[^}>]*>+[ \n]*[}A-Z] { -- final section - '...> whitespace } or beginning of a type identifier' <IN_C_DOMAIN_TYPE>[^}>]*>+[ \n]*[}A-Z] { -- final section - '...> whitespace } or beginning of a type identifier'
278
279### <IN_C_DOMAIN_TYPE>[^}>]*[ \n]*} { -- match up to next '}' not preceded by a '>' <IN_C_DOMAIN_TYPE>[^}>]*[ \n]*} { -- match up to next '}' not preceded by a '>'
280### in_buffer.append_string (text) in_buffer.append_string (text)
281### } }
282
283
284 | ERR_C_DOMAIN_TYPE
285 | error
286
287v_c_domain_type: START_V_C_DOMAIN_TYPE_BLOCK dadl_section END_V_C_DOMAIN_TYPE_BLOCK
288 {
289 result = val[1]
290 }
291
292# 'archetype_internal_ref' is a node that refers to a previously defined object node in the same archetype.
293archetype_internal_ref: SYM_USE_NODE type_identifier c_occurrences absolute_path
294 {
295 result = {:type_identifier => val[1], :c_occurrences => val[2], :absolute_path => val[3] }
296 }
297 | SYM_USE_NODE type_identifier error
298
299# 'archetype_slot' is a node whose statements define a constraint that determines which other archetypes may appear at that point in the current archetype.
300archetype_slot: c_archetype_slot_head SYM_MATCHES SYM_START_CBLOCK c_includes c_excludes SYM_END_CBLOCK
301 {
302 result = OpenEhr::AM::Archetype::Constraint_Model::ARCHETYPE_SLOT.create do |archetype_slot|
303 archetype_slot.includes = val[3]
304 archetype_slot.excludes = val[4]
305 archetype_slot.rm_type_name = val[0][:c_archetype_slot_id]
306 archetype_slot.occurrences = val[0][:c_occurrences]
307 end
308 }
309c_archetype_slot_head: c_archetype_slot_id c_occurrences
310 {
311 result = {:c_archetype_slot_id => val[0],:c_occurrences => val[1]}
312 }
313
314c_archetype_slot_id: SYM_ALLOW_ARCHETYPE type_identifier
315 {
316 result = val[1]
317 }
318 | SYM_ALLOW_ARCHETYPE type_identifier V_LOCAL_TERM_CODE_REF
319 | SYM_ALLOW_ARCHETYPE error
320
321# 'c_primitive_object' is an node representing a constraint on a primitive object type.
322c_primitive_object: c_primitive
323 {
324 assert_at(__FILE__,__LINE__){val[0].kind_of?(OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_PRIMITIVE)}
325 result = OpenEhr::AM::Archetype::Constraint_Model::C_PRIMITIVE_OBJECT.create do |c_primitive_object|
326 c_primitive_object.item = val[0]
327 end
328 }
329
330c_primitive: c_integer
331 {
332 @@logger.debug("#{__FILE__}:#{__LINE__}: c_integer = #{val[0]} at #{@filename}:#{@lineno}")
333 result = OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_INTEGER.create do |c_integer|
334 c_integer.list
335 c_integer.range
336 c_integer.assumed_value
337 end
338 }
339 | c_real
340 {
341 @@logger.debug("#{__FILE__}:#{__LINE__}: c_real = #{val[0]} at #{@filename}:#{@lineno}")
342 result = OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_REAL.new
343 }
344 | c_date
345 {
346 @@logger.debug("#{__FILE__}:#{__LINE__}: c_date = #{val[0]} at #{@filename}:#{@lineno}")
347 result = OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_DATE.new
348 }
349 | c_time
350 {
351 @@logger.debug("#{__FILE__}:#{__LINE__}: c_time = #{val[0]} at #{@filename}:#{@lineno}")
352 result = OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_TIME.new
353 }
354 | c_date_time
355 {
356 @@logger.debug("#{__FILE__}:#{__LINE__}: c_date_time = #{val[0]} at #{@filename}:#{@lineno}")
357 result = OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_DATE_TIME.new
358 }
359 | c_duration
360 {
361 @@logger.debug("#{__FILE__}:#{__LINE__}: c_duration = #{val[0]} at #{@filename}:#{@lineno}")
362 result = OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_DURATION.new
363 }
364 | c_string
365 {
366 @@logger.debug("#{__FILE__}:#{__LINE__}: c_string = #{val[0]} at #{@filename}:#{@lineno}")
367 result = OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_STRING.new
368 }
369 | c_boolean
370 {
371 assert_at(__FILE__,__LINE__){val[0].instance_of?(OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN)}
372 @@logger.debug("#{__FILE__}:#{__LINE__}: c_boolean = #{val[0]} at #{@filename}:#{@lineno}")
373 result = val[0]
374 }
375
376c_any: Star_code
377#c_any: '*'
378
379#---------------- BODY - relationships ----------------
380
381c_attributes: c_attribute
382 {
383 result = [val[0]]
384 }
385 | c_attributes c_attribute
386 {
387 result = (val[0] << val[1])
388 }
389
390# 'c_attribute' is a node representing a constraint on an attribute in an object model.
391c_attribute: c_attr_head SYM_MATCHES SYM_START_CBLOCK c_attr_values SYM_END_CBLOCK
392 {
393 assert_at(__FILE__,__LINE__){ val[0].kind_of?(OpenEhr::AM::Archetype::Constraint_Model::C_ATTRIBUTE)}
394 c_attribute = val[0]
395 c_attribute.children = val[3]
396 result = c_attribute
397 }
398 | c_attr_head SYM_MATCHES START_REGEXP_BLOCK REGEXP_BODY END_REGEXP_BLOCK # added by akimichi
399 {
400 assert_at(__FILE__,__LINE__){ val[0].kind_of?(OpenEhr::AM::Archetype::Constraint_Model::C_ATTRIBUTE)}
401 result = val[0]
402 }
403 | c_attr_head SYM_MATCHES SYM_START_CBLOCK error SYM_END_CBLOCK
404 {
405 assert_at(__FILE__,__LINE__){ val[0].kind_of?(OpenEhr::AM::Archetype::Constraint_Model::C_ATTRIBUTE)}
406 result = val[0]
407 }
408
409
410c_attr_head: V_ATTRIBUTE_IDENTIFIER c_existence
411 {
412 @@logger.debug("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER = #{val[0]}, c_existence = #{val[1]} at #{@filename}")
413 result = OpenEhr::AM::Archetype::Constraint_Model::C_SINGLE_ATTRIBUTE.new(
414 :rm_attribute_name => val[0],
415 :existence => val[1]
416 )
417
418 }
419 | V_ATTRIBUTE_IDENTIFIER c_existence c_cardinality
420 {
421 assert_at(__FILE__,__LINE__){ val[2].instance_of?(OpenEhr::AM::Archetype::Constraint_Model::CARDINALITY) }
422 @@logger.debug("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER: #{val[0]}, c_existence = #{val[1]}, c_cardinality = #{val[2]} at #{@filename}")
423 result = OpenEhr::AM::Archetype::Constraint_Model::C_MULTIPLE_ATTRIBUTE.new(
424 :rm_attribute_name => val[0],
425 :existence => val[1],
426 :cardinality => val[2]
427 )
428 }
429
430c_attr_values: c_object
431 {
432 result = Array[val[0]]
433 }
434 | c_attr_values c_object
435 {
436 result = (val[0] << val[1])
437 }
438 | c_any # -- to allow a property to have any value
439 {
440 result = Array[val[0]]
441 }
442
443### c_includes: #-- Empty
444### | SYM_INCLUDE assertions
445c_includes: #-- Empty
446 | SYM_INCLUDE invariants
447{
448 result = val[1]
449}
450
451### c_excludes: #-- Empty
452### | SYM_EXCLUDE assertions
453c_excludes: #-- Empty
454 | SYM_EXCLUDE invariants
455{
456 result = val[1]
457}
458
459invariants: invariant
460 | invariants invariant
461
462invariant: any_identifier ':' boolean_expression
463 | boolean_expression
464 | any_identifier ':' error
465
466arch_invariant: #-- no invariant ok
467 | SYM_INVARIANT V_ASSERTION_TEXT
468 | SYM_INVARIANT error
469
470# define all linguistic entries in this part as dADL.
471#arch_ontology: SYM_ONTOLOGY V_DADL_TEXT
472# | SYM_ONTOLOGY error
473
474arch_ontology: SYM_ONTOLOGY dadl_section
475 {
476 dadl_section = val[1]
477 result = OpenEhr::AM::Archetype::Ontology::ARCHETYPE_ONTOLOGY.new
478 }
479 | SYM_ONTOLOGY error
480
481
482### dADL section
483dadl_section: attr_vals
484 {
485 @@logger.debug("#{__FILE__}:#{__LINE__}:dadl_section attr_vals = \n#{val[0].to_yaml}")
486 result = val[0]
487 }
488 | complex_object_block
489 {
490 @@logger.debug("#{__FILE__}:#{__LINE__}:dadl_section complex_object_block = \n#{val[0].to_yaml}")
491 result = val[0]
492 }
493# | error
494
495attr_vals: attr_val
496 {
497 result = Array[val[0]]
498 }
499 | attr_vals attr_val
500 {
501 result = (val[0] << val[1])
502 }
503 | attr_vals Semicolon_code attr_val
504 {
505 result = (val[0] << val[2])
506 }
507
508attr_val: attr_id SYM_EQ object_block
509 {
510 @@logger.debug("#{__FILE__}:#{__LINE__}:attr_val\n attr_id = #{val[0]}, object_block = #{val[1]}")
511 result = {:attr_id => val[0], :object_block => val[2]}
512 }
513
514attr_id: V_ATTRIBUTE_IDENTIFIER
515 {
516 @@logger.debug("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER = #{val[0]}")
517 result = val[0]
518 }
519 | V_ATTRIBUTE_IDENTIFIER error
520
521object_block: complex_object_block
522 {
523 result = val[0]
524 }
525 | primitive_object_block
526 {
527 result = val[0]
528 }
529
530complex_object_block: single_attr_object_block
531 {
532 result = val[0]
533 }
534 | multiple_attr_object_block
535 {
536 result = val[0]
537 }
538
539multiple_attr_object_block: untyped_multiple_attr_object_block
540 {
541 result = {:untyped_multiple_attr_object_block => val[0]}
542 }
543 | type_identifier untyped_multiple_attr_object_block
544 {
545 result = {:type_identifier => val[0], :untyped_multiple_attr_object_block => val[1]}
546 }
547
548untyped_multiple_attr_object_block: multiple_attr_object_block_head keyed_objects SYM_END_DBLOCK
549 {
550 result = {:multiple_attr_object_block_head => val[0], :keyed_objects => val[1]}
551 }
552
553multiple_attr_object_block_head: SYM_START_DBLOCK
554 {
555 result = val[0]
556 }
557
558keyed_objects: keyed_object
559 {
560 result = Array[val[0]]
561 }
562 | keyed_objects keyed_object
563 {
564 result = (val[0] << val[1])
565 }
566
567keyed_object: object_key SYM_EQ object_block
568 {
569 @@logger.debug("#{__FILE__}:#{__LINE__}: keyed_object = #{val[0]} at #{@filename}:#{@lineno}")
570 result = {:object_key => val[0], :object_block => val[2]}
571 }
572
573object_key: Left_bracket_code simple_value Right_bracket_code
574 {
575 @@logger.debug("object_key: [#{val[1]}] at #{@filename}:#{@lineno}")
576 result = val[1]
577 }
578
579single_attr_object_block: untyped_single_attr_object_block
580 {
581 result = {:untyped_single_attr_object_block => val[0]}
582 }
583 | type_identifier untyped_single_attr_object_block
584 {
585 result = {:type_identifier => val[0], :untyped_single_attr_object_block => val[1]}
586 }
587
588untyped_single_attr_object_block: single_attr_object_complex_head SYM_END_DBLOCK # >
589 {
590 @@logger.debug("#{__FILE__}:#{__LINE__}: single_attr_object_complex_head = #{val[0]} at #{@filename}:#{@lineno}")
591 result = {:single_attr_object_complex_head => val[0]}
592 }
593 | single_attr_object_complex_head attr_vals SYM_END_DBLOCK
594 {
595 @@logger.debug("#{__FILE__}:#{__LINE__}: attr_vals = #{val[1]} at #{@filename}:#{@lineno}")
596 result = {:single_attr_object_complex_head => val[0], :attr_vals => val[1]}
597 }
598single_attr_object_complex_head: SYM_START_DBLOCK
599primitive_object_block: untyped_primitive_object_block
600 {
601 @@logger.debug("#{__FILE__}:#{__LINE__}: untyped_primitive_object_block = #{val[0]} at #{@filename}:#{@lineno}")
602 result = {:untyped_primitive_object_block => val[0]}
603 }
604 | type_identifier untyped_primitive_object_block
605 {
606 @@logger.debug("#{__FILE__}:#{__LINE__}: type_identifier = #{val[0]}, untyped_primitive_object_block = #{val[1]} at #{@filename}:#{@lineno}")
607 result = {:type_identifier => val[0], :untyped_primitive_object_block => val[1]}
608 }
609untyped_primitive_object_block: SYM_START_DBLOCK primitive_object_value SYM_END_DBLOCK
610 {
611 @@logger.debug("#{__FILE__}:#{__LINE__}: primitive_object_block = <#{val[1]}> at #{@filename}:#{@lineno}")
612 result = val[1]
613 }
614primitive_object_value: simple_value
615 {
616 result = val[0]
617 }
618 | simple_list_value
619 {
620 result = val[0]
621 }
622 | simple_interval_value
623 {
624 result = val[0]
625 }
626 | term_code
627 {
628 result = val[0]
629 }
630 | term_code_list_value
631 {
632 result = val[0]
633 }
634simple_value: string_value
635 {
636 @@logger.debug("string_value: #{val[0]} at #{@filename}:#{@lineno}")
637 result = val[0]
638 }
639 | integer_value
640 {
641 @@logger.debug("integer_value: #{val[0]} at #{@filename}:#{@lineno}")
642 result = val[0]
643 }
644 | real_value
645 {
646 @@logger.debug("real_value: #{val[0]} at #{@filename}:#{@lineno}")
647 result = val[0]
648 }
649 | boolean_value
650 {
651 @@logger.debug("boolean_value: #{val[0]} at #{@filename}:#{@lineno}")
652 result = val[0]
653 }
654 | character_value
655 {
656 @@logger.debug("character_value: #{val[0]} at #{@filename}:#{@lineno}")
657 result = val[0]
658 }
659 | date_value
660 {
661 @@logger.debug("date_value: #{val[0]} at #{@filename}:#{@lineno}")
662 result = val[0]
663 }
664 | time_value
665 {
666 @@logger.debug("time_value: #{val[0]} at #{@filename}:#{@lineno}")
667 result = val[0]
668 }
669 | date_time_value
670 {
671 @@logger.debug("date_time_value: #{val[0]} at #{@filename}:#{@lineno}")
672 result = val[0]
673 }
674 | duration_value
675 {
676 @@logger.debug("duration_value: #{val[0]} at #{@filename}:#{@lineno}")
677 result = val[0]
678 }
679 | uri_value
680 {
681 @@logger.debug("uri_value: #{val[0]} at #{@filename}:#{@lineno}")
682 result = val[0]
683 }
684
685simple_list_value: string_list_value
686 | integer_list_value
687 | real_list_value
688 | boolean_list_value
689 | character_list_value
690 | date_list_value
691 | time_list_value
692 | date_time_list_value
693 | duration_list_value
694
695simple_interval_value: integer_interval_value
696 | real_interval_value
697 | date_interval_value
698 | time_interval_value
699 | date_time_interval_value
700 | duration_interval_value
701
702type_identifier: V_TYPE_IDENTIFIER
703 {
704 @@logger.debug("V_TYPE_IDENTIFIER: #{val[0]} at #{@filename}:#{@lineno}")
705 result = val[0]
706 }
707 | V_GENERIC_TYPE_IDENTIFIER
708 {
709 @@logger.debug("V_GENERIC_TYPE_IDENTIFIER: #{val[0]} at #{@filename}:#{@lineno}")
710 result = val[0]
711 }
712
713string_value: V_STRING
714 {
715 @@logger.debug("V_STRING: #{val[0]} at #{@filename}:#{@lineno}")
716 result = val[0]
717 }
718
719string_list_value: V_STRING Comma_code V_STRING
720 | string_list_value Comma_code V_STRING
721 | V_STRING Comma_code SYM_LIST_CONTINUE
722
723integer_value: V_INTEGER
724 {
725 begin
726 integer = Integer(val[0])
727 rescue
728 raise
729 end
730 result = integer
731 }
732 | Plus_code V_INTEGER
733 {
734 begin
735 integer = Integer(val[0])
736 rescue
737 raise
738 end
739 result = integer
740 }
741 | Minus_code V_INTEGER
742 {
743 begin
744 integer = Integer(val[0])
745 rescue
746 raise
747 end
748 result = - integer
749 }
750### | '+' V_INTEGER
751### | '-' V_INTEGER
752
753integer_list_value: integer_value Comma_code integer_value
754 | integer_list_value Comma_code integer_value
755 | integer_value Comma_code SYM_LIST_CONTINUE
756
757integer_interval_value: SYM_INTERVAL_DELIM integer_value SYM_ELLIPSIS integer_value SYM_INTERVAL_DELIM
758 | SYM_INTERVAL_DELIM SYM_GT integer_value SYM_ELLIPSIS integer_value SYM_INTERVAL_DELIM
759 | SYM_INTERVAL_DELIM integer_value SYM_ELLIPSIS SYM_LT integer_value SYM_INTERVAL_DELIM
760 | SYM_INTERVAL_DELIM SYM_GT integer_value SYM_ELLIPSIS SYM_LT integer_value SYM_INTERVAL_DELIM
761 | SYM_INTERVAL_DELIM SYM_LT integer_value SYM_INTERVAL_DELIM
762 | SYM_INTERVAL_DELIM SYM_LE integer_value SYM_INTERVAL_DELIM
763 | SYM_INTERVAL_DELIM SYM_GT integer_value SYM_INTERVAL_DELIM
764 | SYM_INTERVAL_DELIM SYM_GE integer_value SYM_INTERVAL_DELIM
765 | SYM_INTERVAL_DELIM integer_value SYM_INTERVAL_DELIM
766
767real_value: V_REAL
768 {
769 begin
770 real = Float(val[0])
771 rescue
772 raise
773 end
774 result = real
775 }
776 | Plus_code V_REAL
777 {
778 begin
779 real = Float(val[1])
780 rescue
781 raise
782 end
783 result = real
784 }
785 | Minus_code V_REAL
786 {
787 begin
788 real = Float(val[1])
789 rescue
790 raise
791 end
792 result = - real
793 }
794
795real_list_value: real_value Comma_code real_value
796 | real_list_value Comma_code real_value
797 | real_value Comma_code SYM_LIST_CONTINUE
798
799real_interval_value: SYM_INTERVAL_DELIM real_value SYM_ELLIPSIS real_value SYM_INTERVAL_DELIM
800 | SYM_INTERVAL_DELIM SYM_GT real_value SYM_ELLIPSIS real_value SYM_INTERVAL_DELIM
801 | SYM_INTERVAL_DELIM real_value SYM_ELLIPSIS SYM_LT real_value SYM_INTERVAL_DELIM
802 | SYM_INTERVAL_DELIM SYM_GT real_value SYM_ELLIPSIS SYM_LT real_value SYM_INTERVAL_DELIM
803 | SYM_INTERVAL_DELIM SYM_LT real_value SYM_INTERVAL_DELIM
804 | SYM_INTERVAL_DELIM SYM_LE real_value SYM_INTERVAL_DELIM
805 | SYM_INTERVAL_DELIM SYM_GT real_value SYM_INTERVAL_DELIM
806 | SYM_INTERVAL_DELIM SYM_GE real_value SYM_INTERVAL_DELIM
807 | SYM_INTERVAL_DELIM real_value SYM_INTERVAL_DELIM
808
809
810boolean_value: SYM_TRUE
811 {
812 result = true
813 }
814 | SYM_FALSE
815 {
816 result = false
817 }
818
819boolean_list_value: boolean_value Comma_code boolean_value
820 | boolean_list_value Comma_code boolean_value
821 | boolean_value Comma_code SYM_LIST_CONTINUE
822
823character_value: V_CHARACTER
824
825character_list_value: character_value Comma_code character_value
826 | character_list_value Comma_code character_value
827 | character_value Comma_code SYM_LIST_CONTINUE
828
829date_value: V_ISO8601_EXTENDED_DATE
830 {
831 result = val[0]
832 }
833
834date_list_value: date_value Comma_code date_value
835 | date_list_value Comma_code date_value
836 | date_value Comma_code SYM_LIST_CONTINUE
837
838date_interval_value: SYM_INTERVAL_DELIM date_value SYM_ELLIPSIS date_value SYM_INTERVAL_DELIM
839 | SYM_INTERVAL_DELIM SYM_GT date_value SYM_ELLIPSIS date_value SYM_INTERVAL_DELIM
840 | SYM_INTERVAL_DELIM date_value SYM_ELLIPSIS SYM_LT date_value SYM_INTERVAL_DELIM
841 | SYM_INTERVAL_DELIM SYM_GT date_value SYM_ELLIPSIS SYM_LT date_value SYM_INTERVAL_DELIM
842 | SYM_INTERVAL_DELIM SYM_LT date_value SYM_INTERVAL_DELIM
843 | SYM_INTERVAL_DELIM SYM_LE date_value SYM_INTERVAL_DELIM
844 | SYM_INTERVAL_DELIM SYM_GT date_value SYM_INTERVAL_DELIM
845 | SYM_INTERVAL_DELIM SYM_GE date_value SYM_INTERVAL_DELIM
846 | SYM_INTERVAL_DELIM date_value SYM_INTERVAL_DELIM
847
848time_value: V_ISO8601_EXTENDED_TIME
849
850time_list_value: time_value Comma_code time_value
851 | time_list_value Comma_code time_value
852 | time_value Comma_code SYM_LIST_CONTINUE
853
854time_interval_value: SYM_INTERVAL_DELIM time_value SYM_ELLIPSIS time_value SYM_INTERVAL_DELIM
855 | SYM_INTERVAL_DELIM SYM_GT time_value SYM_ELLIPSIS time_value SYM_INTERVAL_DELIM
856 | SYM_INTERVAL_DELIM time_value SYM_ELLIPSIS SYM_LT time_value SYM_INTERVAL_DELIM
857 | SYM_INTERVAL_DELIM SYM_GT time_value SYM_ELLIPSIS SYM_LT time_value SYM_INTERVAL_DELIM
858 | SYM_INTERVAL_DELIM SYM_LT time_value SYM_INTERVAL_DELIM
859 | SYM_INTERVAL_DELIM SYM_LE time_value SYM_INTERVAL_DELIM
860 | SYM_INTERVAL_DELIM SYM_GT time_value SYM_INTERVAL_DELIM
861 | SYM_INTERVAL_DELIM SYM_GE time_value SYM_INTERVAL_DELIM
862 | SYM_INTERVAL_DELIM time_value SYM_INTERVAL_DELIM
863
864date_time_value: V_ISO8601_EXTENDED_DATE_TIME
865
866date_time_list_value: date_time_value Comma_code date_time_value
867 | date_time_list_value Comma_code date_time_value
868 | date_time_value Comma_code SYM_LIST_CONTINUE
869
870date_time_interval_value: SYM_INTERVAL_DELIM date_time_value SYM_ELLIPSIS date_time_value SYM_INTERVAL_DELIM
871 | SYM_INTERVAL_DELIM SYM_GT date_time_value SYM_ELLIPSIS date_time_value SYM_INTERVAL_DELIM
872 | SYM_INTERVAL_DELIM date_time_value SYM_ELLIPSIS SYM_LT date_time_value SYM_INTERVAL_DELIM
873 | SYM_INTERVAL_DELIM SYM_GT date_time_value SYM_ELLIPSIS SYM_LT date_time_value SYM_INTERVAL_DELIM
874 | SYM_INTERVAL_DELIM SYM_LT date_time_value SYM_INTERVAL_DELIM
875 | SYM_INTERVAL_DELIM SYM_LE date_time_value SYM_INTERVAL_DELIM
876 | SYM_INTERVAL_DELIM SYM_GT date_time_value SYM_INTERVAL_DELIM
877 | SYM_INTERVAL_DELIM SYM_GE date_time_value SYM_INTERVAL_DELIM
878 | SYM_INTERVAL_DELIM date_time_value SYM_INTERVAL_DELIM
879
880duration_value: V_ISO8601_DURATION
881 {
882 @@logger.debug("V_ISO8601_DURATION: #{val[0]} at #{@filename}:#{@lineno}")
883 result = val[0]
884 }
885
886duration_list_value: duration_value Comma_code duration_value
887 | duration_list_value Comma_code duration_value
888 | duration_value Comma_code SYM_LIST_CONTINUE
889
890duration_interval_value: SYM_INTERVAL_DELIM duration_value SYM_ELLIPSIS duration_value SYM_INTERVAL_DELIM
891 | SYM_INTERVAL_DELIM SYM_GT duration_value SYM_ELLIPSIS duration_value SYM_INTERVAL_DELIM
892 | SYM_INTERVAL_DELIM duration_value SYM_ELLIPSIS SYM_LT duration_value SYM_INTERVAL_DELIM
893 | SYM_INTERVAL_DELIM SYM_GT duration_value SYM_ELLIPSIS SYM_LT duration_value SYM_INTERVAL_DELIM
894 | SYM_INTERVAL_DELIM SYM_LT duration_value SYM_INTERVAL_DELIM
895 | SYM_INTERVAL_DELIM SYM_LE duration_value SYM_INTERVAL_DELIM
896 | SYM_INTERVAL_DELIM SYM_GT duration_value SYM_INTERVAL_DELIM
897 | SYM_INTERVAL_DELIM SYM_GE duration_value SYM_INTERVAL_DELIM
898 | SYM_INTERVAL_DELIM duration_value SYM_INTERVAL_DELIM
899
900term_code: V_QUALIFIED_TERM_CODE_REF
901 {
902 @@logger.debug("#{__FILE__}:#{__LINE__}: V_QUALIFIED_TERM_CODE_REF = #{val[0]} at #{@filename}:#{@lineno}")
903 result = val[0]
904 }
905
906term_code_list_value: term_code Comma_code term_code
907 | term_code_list_value Comma_code term_code
908 | term_code Comma_code SYM_LIST_CONTINUE
909
910uri_value: V_URI
911 {
912 @@logger.debug("#{__FILE__}:#{__LINE__}: V_URI = #{val[0]} at #{@filename}:#{@lineno}")
913 result = val[0]
914 }
915
916
917#---------------------- ASSERTIONS ------------------------
918
919assertions: assertion
920 | assertions assertion
921
922assertion: any_identifier ':' boolean_expression
923 | boolean_expression
924 | any_identifier ':' error
925
926#---------------------- expressions ---------------------
927
928boolean_expression: boolean_leaf
929 | boolean_node
930
931boolean_node: SYM_EXISTS absolute_path
932# | absolute_path
933 | SYM_EXISTS error
934 | relative_path SYM_MATCHES SYM_START_CBLOCK c_primitive SYM_END_CBLOCK
935 | relative_path SYM_MATCHES START_REGEXP_BLOCK REGEXP_BODY END_REGEXP_BLOCK # added by akimichi
936 | SYM_NOT boolean_leaf
937 | arithmetic_expression '=' arithmetic_expression
938 | arithmetic_expression SYM_NE arithmetic_expression
939 | arithmetic_expression SYM_LT arithmetic_expression
940 | arithmetic_expression SYM_GT arithmetic_expression
941 | arithmetic_expression SYM_LE arithmetic_expression
942 | arithmetic_expression SYM_GE arithmetic_expression
943 | boolean_expression SYM_AND boolean_expression
944 | boolean_expression SYM_OR boolean_expression
945 | boolean_expression SYM_XOR boolean_expression
946 | boolean_expression SYM_IMPLIES boolean_expression
947
948boolean_leaf: Left_parenthesis_code boolean_expression Right_parenthesis_code
949 | SYM_TRUE
950 | SYM_FALSE
951
952arithmetic_expression: arithmetic_leaf
953 | arithmetic_node
954
955arithmetic_node: arithmetic_expression '+' arithmetic_leaf
956 | arithmetic_expression '-' arithmetic_leaf
957 | arithmetic_expression Star_code arithmetic_leaf
958 | arithmetic_expression Slash_code arithmetic_leaf
959 | arithmetic_expression '^' arithmetic_leaf
960
961arithmetic_leaf: Left_parenthesis_code arithmetic_expression Right_parenthesis_code
962 | integer_value
963 | real_value
964 | absolute_path
965
966
967#--------------- THE FOLLOWING SOURCE TAKEN FROM OG_PATH_VALIDATOR.Y -------------
968#--------------- except to remove movable_path ----------------------------------------------------
969
970
971absolute_path: Slash_code
972 | Slash_code relative_path
973# | absolute_path Slash_code relative_path
974
975
976
977relative_path: path_segment
978 | relative_path Slash_code path_segment
979
980path_segment: V_ATTRIBUTE_IDENTIFIER V_LOCAL_TERM_CODE_REF
981 {
982 @@logger.debug("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{val[0]} at #{@filename}")
983 }
984 | V_ATTRIBUTE_IDENTIFIER
985 {
986 @@logger.debug("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{val[0]} at #{@filename}")
987 }
988
989
990#-------------------------------- END SOURCE TAKEN FROM OG_PATH_VALIDATOR.Y ----------------------
991
992
993#---------------- existence, occurrences, cardinality ----------------
994
995c_existence: #-- default to 1..1
996 {
997 result = Range.new(1,1)
998 }
999 | SYM_EXISTENCE SYM_MATCHES SYM_START_CBLOCK existence_spec SYM_END_CBLOCK
1000 {
1001 result = val[3]
1002 }
1003
1004existence_spec: V_INTEGER #-- can only be 0 or 1
1005 {
1006 begin
1007 integer = Integer(val[0])
1008 rescue
1009 raise
1010 end
1011 result = integer
1012 }
1013 | V_INTEGER SYM_ELLIPSIS V_INTEGER #-- can only be 0..0, 0..1, 1..1
1014 {
1015 begin
1016 from_integer = Integer(val[0])
1017 to_integer = Integer(val[2])
1018 rescue
1019 raise
1020 end
1021 result = Range.new(from_integer,to_integer)
1022 }
1023
1024c_cardinality: SYM_CARDINALITY SYM_MATCHES SYM_START_CBLOCK cardinality_spec SYM_END_CBLOCK
1025 {
1026 result = OpenEhr::AM::Archetype::Constraint_Model::CARDINALITY.new
1027 }
1028
1029cardinality_spec: occurrence_spec
1030 | occurrence_spec Semicolon_code SYM_ORDERED
1031 | occurrence_spec Semicolon_code SYM_UNORDERED
1032 | occurrence_spec Semicolon_code SYM_UNIQUE
1033 | occurrence_spec Semicolon_code SYM_ORDERED Semicolon_code SYM_UNIQUE
1034 | occurrence_spec Semicolon_code SYM_UNORDERED Semicolon_code SYM_UNIQUE
1035 | occurrence_spec Semicolon_code SYM_UNIQUE Semicolon_code SYM_ORDERED
1036 | occurrence_spec Semicolon_code SYM_UNIQUE Semicolon_code SYM_UNORDERED
1037
1038cardinality_limit_value: integer_value
1039 {
1040 result = val[0]
1041 }
1042 | Star_code # '*'
1043 {
1044 result = val[0]
1045 }
1046
1047
1048c_occurrences: #-- default to 1..1
1049 | SYM_OCCURRENCES SYM_MATCHES SYM_START_CBLOCK occurrence_spec SYM_END_CBLOCK
1050 {
1051 case val[3]
1052 when OpenEhr::RM::Support::AssumedTypes::Interval
1053 result = val[3]
1054 else
1055 result = val[3]
1056 end
1057 }
1058 | SYM_OCCURRENCES error
1059
1060occurrence_spec: cardinality_limit_value #-- single integer or '*'
1061 {
1062 result = val[0]
1063 }
1064 | V_INTEGER SYM_ELLIPSIS cardinality_limit_value
1065 {
1066 result = OpenEhr::RM::Support::AssumedTypes::Interval.new(val[0], val[2])
1067 }
1068
1069#---------------------- leaf constraint types -----------------------
1070
1071c_integer_spec: integer_value
1072 | integer_list_value
1073 | integer_interval_value
1074
1075c_integer: c_integer_spec
1076 | c_integer_spec Semicolon_code integer_value
1077 | c_integer_spec Semicolon_code error
1078
1079c_real_spec: real_value
1080 | real_list_value
1081 | real_interval_value
1082
1083c_real: c_real_spec
1084 | c_real_spec Semicolon_code real_value
1085 | c_real_spec Semicolon_code error
1086
1087c_date_constraint: V_ISO8601_DATE_CONSTRAINT_PATTERN
1088 | date_value
1089 | date_interval_value
1090
1091c_date: c_date_constraint
1092 | c_date_constraint Semicolon_code date_value
1093 | c_date_constraint Semicolon_code error
1094
1095c_time_constraint: V_ISO8601_TIME_CONSTRAINT_PATTERN
1096 | time_value
1097 | time_interval_value
1098
1099c_time: c_time_constraint
1100 | c_time_constraint Semicolon_code time_value
1101 | c_time_constraint Semicolon_code error
1102
1103c_date_time_constraint: V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN
1104 | date_time_value
1105 | date_time_interval_value
1106
1107c_date_time: c_date_time_constraint
1108 | c_date_time_constraint Semicolon_code date_time_value
1109 | c_date_time_constraint Semicolon_code error
1110
1111c_duration_constraint: duration_pattern
1112 | duration_pattern Slash_code duration_interval_value
1113 | duration_value
1114 | duration_interval_value
1115
1116c_duration: c_duration_constraint
1117 | c_duration_constraint Semicolon_code duration_value
1118 | c_duration_constraint Semicolon_code error
1119
1120c_string_spec: V_STRING #-- single value, generates closed list
1121 | string_list_value #-- closed list
1122 | string_list_value Comma_code SYM_LIST_CONTINUE #-- open list
1123# | string_list_value ',' SYM_LIST_CONTINUE #-- open list
1124# | V_REGEXP #-- regular expression with "//" or "^^" delimiters
1125
1126c_string: c_string_spec
1127 | c_string_spec Semicolon_code string_value
1128 | c_string_spec Semicolon_code error
1129
1130c_boolean_spec: SYM_TRUE
1131 {
1132 result = OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => true)
1133 }
1134 | SYM_FALSE
1135 {
1136 result = OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => false)
1137 }
1138 | SYM_TRUE Comma_code SYM_FALSE
1139 {
1140 result = OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => true,:false_valid => false)
1141 }
1142 | SYM_FALSE Comma_code SYM_TRUE
1143 {
1144 result = OpenEhr::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => false,:false_valid => true)
1145 }
1146
1147c_boolean: c_boolean_spec
1148 {
1149 result = val[0]
1150 }
1151 | c_boolean_spec Semicolon_code boolean_value
1152 {
1153 raise 'Not implemented yet'
1154 }
1155 | c_boolean_spec Semicolon_code error
1156 {
1157 raise 'Not implemented yet'
1158 }
1159
1160c_ordinal: c_ordinal_spec
1161 | c_ordinal_spec Semicolon_code integer_value
1162 | c_ordinal_spec Semicolon_code error
1163
1164c_ordinal_spec: ordinal
1165 | c_ordinal_spec Comma_code ordinal
1166
1167ordinal: integer_value SYM_INTERVAL_DELIM V_QUALIFIED_TERM_CODE_REF
1168 {
1169 @in_interval = false
1170 @@logger.debug("#{__FILE__}:#{__LINE__}, #{val[0]}|#{val[2]} at #{@filename}")
1171 }
1172
1173#c_code_phrase: V_TERM_CODE_CONSTRAINT #-- e.g. "[local::at0040, at0041; at0040]"
1174c_code_phrase: term_code_constraint_section #-- e.g. "[local::at0040, at0041; at0040]"
1175 {
1176 result = val[0]
1177 }
1178 | V_QUALIFIED_TERM_CODE_REF
1179 {
1180 result = val[0]
1181 }
1182
1183# [[a-zA-Z0-9\(\)\._\-]+::[ \t\n]* [[a-zA-Z0-9\._\-]*[ \t]*]
1184term_code_constraint_section: START_TERM_CODE_CONSTRAINT term_code_body END_TERM_CODE_CONSTRAINT
1185 {
1186 @@logger.debug("#{__FILE__}:#{__LINE__}, START_TERM_CODE_CONSTRAINT = #{val[0]} at #{@filename}")
1187 @@logger.debug("#{__FILE__}:#{__LINE__}, term_code_body = #{val[1]}")
1188 @@logger.debug("#{__FILE__}:#{__LINE__}, END_TERM_CODE_CONSTRAINT = #{val[2]}")
1189 result = val[1]
1190 }
1191
1192
1193term_code_body: # empty
1194 | TERM_CODE
1195 | term_code_body TERM_CODE
1196### term_code_body: TERM_CODE
1197### | term_code_body TERM_CODE
1198
1199# A Constraint_Ref is a proxy for a set of constraints on an object.
1200constraint_ref: V_LOCAL_TERM_CODE_REF #-- e.g. "ac0003"
1201 {
1202 result = val[0]
1203 }
1204
1205any_identifier: type_identifier
1206 {
1207 result = val[0]
1208 }
1209 | V_ATTRIBUTE_IDENTIFIER
1210 {
1211 @@logger.debug("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{word} at #{@filename}")
1212 result = val[0]
1213 }
1214
1215
1216#----------------- TAKEN FROM DADL_VALIDATOR.Y -------------------
1217#----------------- DO NOT MODIFY -------------------
1218#---------------------- BASIC DATA VALUES -----------------------
1219
1220duration_pattern: V_ISO8601_DURATION_CONSTRAINT_PATTERN
1221 {
1222 result = val[0]
1223 }
1224
1225
1226
1227---- header
1228
1229
1230$:.unshift File.join(File.dirname(__FILE__))
1231require 'logger'
1232require 'yaml'
1233require 'rubygems'
1234require 'open_ehr'
1235#require 'adl_parser.rb'
1236#require 'am.rb'
1237#require 'rm.rb'
1238#require 'rm/support/assumed_types.rb'
1239#require 'assumed_library_types.rb'
1240$DEBUG = true
1241
1242
1243
1244---- inner
1245
1246def assert_at(file,line, message = "")
1247 unless yield
1248 raise "Assertion failed !: #{file}, #{line}: #{message}"
1249 end
1250end
1251
1252if $DEBUG
1253 @@logger = Logger.new('log/parser.log','daily')
1254 @@logger.level = Logger::DEBUG
1255else
1256 @@logger = Logger.new(STDOUT)
1257 @@logger.level = Logger::WARN
1258end
1259
1260
1261###----------/* keywords */ ---------------------------------------------
1262@@adl_reserved = {
1263 'archetype' => :SYM_ARCHETYPE,
1264 'adl_version' => :SYM_ADL_VERSION,
1265 'controlled' => :SYM_IS_CONTROLLED,
1266 'specialize' => :SYM_SPECIALIZE,
1267 'concept' => :SYM_CONCEPT,
1268 'language' => :SYM_LANGUAGE,
1269 'description' => :SYM_DESCRIPTION,
1270 'definition' => :SYM_DEFINITION,
1271 'invariant' => :SYM_INVARIANT,
1272 'ontology' => :SYM_ONTOLOGY,
1273 'matches' => :SYM_MATCHES,
1274 'is_in' => :SYM_MATCHES,
1275 'occurrences' => :SYM_OCCURRENCES,
1276 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
1277 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
1278 'infinity' => :SYM_INFINITY # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
1279}
1280
1281@@dadl_reserved = {
1282 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
1283 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
1284 'infinity' => :SYM_INFINITY # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
1285}
1286
1287@@cadl_reserved = {
1288 'then' => :SYM_THEN, # [Tt][Hh][Ee][Nn]
1289 'else' => :SYM_ELSE, # [Ee][Ll][Ss][Ee]
1290 'and' => :SYM_AND, # [Aa][Nn][Dd]
1291 'or' => :SYM_OR, # [Oo][Rr]
1292 'xor' => :SYM_XOR, # [Xx][Oo][Rr]
1293 'not' => :SYM_NOT, # [Nn][Oo][Tt]
1294 'implies' => :SYM_IMPLIES, # [Ii][Mm][Pp][Ll][Ii][Ee][Ss]
1295 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
1296 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
1297 'forall' => :SYM_FORALL, # [Ff][Oo][Rr][_][Aa][Ll][Ll]
1298 'exists' => :SYM_EXISTS, # [Ee][Xx][Ii][Ss][Tt][Ss]
1299 'existence' => :SYM_EXISTENCE, # [Ee][Xx][Iu][Ss][Tt][Ee][Nn][Cc][Ee]
1300 'occurrences' => :SYM_OCCURRENCES, # [Oo][Cc][Cc][Uu][Rr][Rr][Ee][Nn][Cc][Ee][Ss]
1301 'cardinality' => :SYM_CARDINALITY, # [Cc][Aa][Rr][Dd][Ii][Nn][Aa][Ll][Ii][Tt][Yy]
1302 'ordered' => :SYM_ORDERED, # [Oo][Rr][Dd][Ee][Rr][Ee][Dd]
1303 'unordered' => :SYM_UNORDERED, # [Uu][Nn][Oo][Rr][Dd][Ee][Rr][Ee][Dd]
1304 'unique' => :SYM_UNIQUE, # [Uu][Nn][Ii][Qq][Uu][Ee]
1305 'matches' => :SYM_MATCHES, # [Mm][Aa][Tt][Cc][Hh][Ee][Ss]
1306 'is_in' => :SYM_MATCHES, # [Ii][Ss][_][Ii][Nn]
1307 'invariant' => :SYM_INVARIANT, # [Ii][Nn][Vv][Aa][Rr][Ii][Aa][Nn][Tt]
1308 'infinity' => :SYM_INFINITY, # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
1309 'use_node' => :SYM_USE_NODE, # [Uu][Ss][Ee][_][Nn][Oo][Dd][Ee]
1310 'use_archetype' => :SYM_ALLOW_ARCHETYPE, # [Uu][Ss][Ee][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
1311 'allow_archetype' => :SYM_ALLOW_ARCHETYPE, # [Aa][Ll][Ll][Oo][Ww][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
1312 'include' => :SYM_INCLUDE, # [Ii][Nn][Cc][Ll][Uu][Dd][Ee]
1313 'exclude' => :SYM_EXCLUDE # [Ee][Xx][Cc][Ll][Uu][Dd][Ee]
1314}
1315
1316
1317###----------/* Scanner */ -----------------------------------------------
1318
1319
1320def scan
1321 @@logger.debug("#{__FILE__}:#{__LINE__}: Entering scan at #{@filename}:#{@lineno}:")
1322 scanner = OpenEhr::ADL::Scanner::ADLScanner.new(@adl_type, @filename)
1323
1324 until @data.nil? do
1325 @data = scanner.scan(@data) do |sym, val|
1326 yield sym, val
1327 end
1328 @data = $' # variable $' receives the string after the match
1329 end
1330 yield :EOF, nil
1331 yield false, '$'
1332end # of scan
1333
1334
1335def parse(data, filename, lineno = 1, debug = false)
1336 @yydebug = true
1337 @parsestring = data
1338 @data = data
1339 @lineno = lineno
1340 @filename = filename
1341 @adl_type = [:adl] # {:adl, :cadl, :dadl}
1342 @in_regexp = false
1343 @in_interval = false
1344 @in_c_domain_type = false
1345 yyparse self, :scan
1346end
1347
1348def on_error( t, v, values)
1349 raise Racc::ParseError, "#{@filename}:#{@lineno}: Inline syntax error on #{v.inspect}"
1350end
1351
1352
1353__END__
1354
1355
1356
1357
1358### Local Variables:
1359### mode:ruby
1360### mode:font-lock
1361### comment-column:0
1362### comment-start: "### "
1363### comment-end:""
1364### End:
1365
1366
1367
1368
Note: See TracBrowser for help on using the repository browser.