Context Navigation

parser.y@ 290

Last change on this file since 290 was 290, checked in by KOBAYASHI, Shinji, 15 years ago
merged latest trunc change to branches/0.5
File size: 39.8 KB

Rev	Line
[4]	1
	2	class OpenEHR::ADL::Parser
	3
	4	#options omit_action_call
	5
	6	prechigh
	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
	23	preclow
	24
	25
	26	rule
	27	### http://svn.openehr.org/ref_impl_eiffel/TRUNK/components/adl_parser/src/syntax/adl/parser/adl_validator.y
	28
	29	input: archetype EOF
[21]	30	{
	31	result = val[0]
	32	}
[4]	33	\| error
	34
[21]	35	archetype: arch_identification arch_specialisation arch_concept arch_language arch_description arch_definition arch_invariant arch_ontology
	36	{
[22]	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
[26]	41	archetype_id = val[0][:archetype_id]
[290]	42	parent_archtype_id = val[1][:parent_archtype_id] if val[1]
[26]	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,
[290]	48	:parent_archtype_id => parent_archtype_id,
[26]	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
[290]	57	@@logger.debug("#{__FILE__}:#{__LINE__}: archetype = #{archetype.to_yaml} at #{@filename}:#{@lineno}")
[26]	58	result = archetype
[21]	59	}
[4]	60
	61
	62	arch_identification: arch_head V_ARCHETYPE_ID
[24]	63	{
	64	result = {:arch_head => val[0], :archetype_id => val[1] }
	65	}
[4]	66	\| SYM_ARCHETYPE error
[24]	67	{
	68	raise
	69	}
[4]	70
	71	arch_head: SYM_ARCHETYPE
[24]	72	{
	73	result = {:arch_meta_data => nil }
	74	}
[4]	75	\| SYM_ARCHETYPE arch_meta_data
[24]	76	{
[26]	77	result = val[1]
[24]	78	}
[4]	79
	80	arch_meta_data: Left_parenthesis_code arch_meta_data_items Right_parenthesis_code
[24]	81	{
[26]	82	result = {:arch_meta_data => val[1] }
[24]	83	}
[4]	84
	85	arch_meta_data_items: arch_meta_data_item
[24]	86	{
[26]	87	result = val[0]
[24]	88	}
[19]	89	\| arch_meta_data_items Semicolon_code arch_meta_data_item
[24]	90	{
[26]	91	result = val[0].merge(val[2])
[24]	92	}
[4]	93
[24]	94
[4]	95	arch_meta_data_item: SYM_ADL_VERSION SYM_EQ V_VERSION_STRING
[24]	96	{
[26]	97	result = {:adl_version => val[2], :is_controlled => false }
[24]	98	}
[4]	99	\| SYM_IS_CONTROLLED
[24]	100	{
[26]	101	result = {:is_controlled => true }
[24]	102	}
[4]	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.
	106	arch_specialisation: #-- empty is ok
	107	\| SYM_SPECIALIZE V_ARCHETYPE_ID
[290]	108	{
	109	result = {:parent_archtype_id => val[1]}
	110	}
[4]	111	\| SYM_SPECIALIZE error
	112
	113	arch_concept: SYM_CONCEPT V_LOCAL_TERM_CODE_REF
[26]	114	{
	115	result = {:arch_concept => val[1] }
	116	}
[4]	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
	123	arch_language: #-- empty is ok for ADL 1.4 tools
[26]	124	{
	125	result = {:arch_language => nil}
	126	}
[4]	127	\| SYM_LANGUAGE dadl_section
[16]	128	{
[26]	129	result = {:arch_language => val[1]}
[16]	130	}
	131	\| SYM_LANGUAGE error
[4]	132
	133	#arch_description: #-- no meta-data ok
	134	# \| SYM_DESCRIPTION V_DADL_TEXT
	135	# \| SYM_DESCRIPTION error
	136
	137	arch_description: #-- no meta-data ok
	138	\| SYM_DESCRIPTION dadl_section
[21]	139	{
	140	result = OpenEHR::AM::Archetype::Archetype_Description::ARCHETYPE_DESCRIPTION.new(:details => val[1])
	141	}
	142	\| SYM_DESCRIPTION error
	143
[4]	144	#arch_definition: SYM_DEFINITION V_CADL_TEXT
	145	# \| SYM_DEFINITION error
	146	arch_definition: SYM_DEFINITION cadl_section
[21]	147	{
	148	result = val[1]
	149	}
[4]	150	\| SYM_DEFINITION error
	151
	152
	153	### cADL section
	154	cadl_section: c_complex_object
[35]	155	{
[22]	156	assert_at(__FILE__,__LINE__){val[0].instance_of?(OpenEHR::AM::Archetype::Constraint_Model::C_COMPLEX_OBJECT)}
[290]	157	@@logger.debug("#{__FILE__}:#{__LINE__}: c_complex_object = #{val[0]} at #{@filename}:#{@lineno}")
[21]	158	result = val[0]
	159	}
[4]	160	\| assertions
[23]	161	{
	162	result = val[0]
	163	}
[4]	164	# \| error
	165
	166	#c_complex_object: c_complex_object_head SYM_MATCHES SYM_START_CBLOCK c_complex_object_body SYM_END_CBLOCK
[32]	167	c_complex_object: c_complx_object_head SYM_MATCHES START_REGEXP_BLOCK REGEXP_BODY END_REGEXP_BLOCK # added by akimichi
[21]	168	{
[23]	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
[21]	174	}
[4]	175	\| c_complex_object_head SYM_MATCHES SYM_START_CBLOCK c_complex_object_body SYM_END_CBLOCK
[21]	176	{
[23]	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
[21]	182	}
	183	# \| c_complex_object_head error SYM_END_CBLOCK
[4]	184	# \| c_complex_object_head SYM_MATCHES SYM_START_CBLOCK c_complex_object_body c_invariants SYM_END_CBLOCK
	185
	186	c_complex_object_head: c_complex_object_id c_occurrences
[23]	187	{
	188	result = {:c_complex_object_id => val[0], :c_occurrences => val[1]}
	189	}
[4]	190
	191	c_complex_object_id: type_identifier
[16]	192	{
[23]	193	result = {:type_identifier => val[0]}
[16]	194	}
[4]	195	\| type_identifier V_LOCAL_TERM_CODE_REF
[16]	196	{
[23]	197	result = {:type_identifier => val[0], :local_term_code_ref => val[1]}
[16]	198	}
[4]	199
	200	c_complex_object_body: c_any #-- used to indicate that any value of a type is ok
	201	\| c_attributes
[22]	202	{
	203	result = OpenEHR::AM::Archetype::Constraint_Model::C_COMPLEX_OBJECT.new(:attributes => val[0])
	204	}
[4]	205
	206
	207	#------------------------- node types -----------------------
[290]	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
	219	c_object: c_complex_object
[32]	220	{
[290]	221	@@logger.debug("#{__FILE__}:#{__LINE__}: c_complex_object = #{val[0].inspect} at #{@filename}:#{@lineno}")
[22]	222	result = val[0]
	223	}
[4]	224	\| archetype_internal_ref
[32]	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
[22]	231	}
[4]	232	\| archetype_slot
[32]	233	{
	234	result = val[0]
[22]	235	}
[4]	236	\| constraint_ref
[32]	237	{
	238	result = OpenEHR::AM::Archetype::Constraint_Model::CONSTRAINT_REF.create do \|constraint_ref\|
	239	constraint_ref.reference = val[0]
	240	end
[22]	241	}
[4]	242	\| c_code_phrase
[32]	243	{
[22]	244	result = val[0]
	245	}
[4]	246	\| c_ordinal
[32]	247	{
[22]	248	result = val[0]
	249	}
[4]	250	\| c_primitive_object
[32]	251	{
[22]	252	result = val[0]
	253	}
[290]	254	\| v_c_domain_type
	255	{
	256	result = val[0]
	257	}
	258
[19]	259	# \| v_c_domain_type
[14]	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
[4]	267	\| ERR_C_DOMAIN_TYPE
	268	\| error
	269
[16]	270	v_c_domain_type: START_V_C_DOMAIN_TYPE_BLOCK dadl_section END_V_C_DOMAIN_TYPE_BLOCK
[23]	271	{
	272	result = val[1]
	273	}
[14]	274
[4]	275	# 'archetype_internal_ref' is a node that refers to a previously defined object node in the same archetype.
	276	archetype_internal_ref: SYM_USE_NODE type_identifier c_occurrences absolute_path
[32]	277	{
	278	result = {:type_identifier => val[1], :c_occurrences => val[2], :absolute_path => val[3] }
	279	}
[4]	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.
	283	archetype_slot: c_archetype_slot_head SYM_MATCHES SYM_START_CBLOCK c_includes c_excludes SYM_END_CBLOCK
[32]	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	}
[4]	292	c_archetype_slot_head: c_archetype_slot_id c_occurrences
[32]	293	{
	294	result = {:c_archetype_slot_id => val[0],:c_occurrences => val[1]}
	295	}
[4]	296
	297	c_archetype_slot_id: SYM_ALLOW_ARCHETYPE type_identifier
[32]	298	{
	299	result = val[1]
	300	}
[4]	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.
	305	c_primitive_object: c_primitive
[22]	306	{
	307	assert_at(__FILE__,__LINE__){val[0].kind_of?(OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_PRIMITIVE)}
[32]	308	result = OpenEHR::AM::Archetype::Constraint_Model::C_PRIMITIVE_OBJECT.create do \|c_primitive_object\|
	309	c_primitive_object.item = val[0]
	310	end
[22]	311	}
[4]	312
	313	c_primitive: c_integer
[21]	314	{
[290]	315	@@logger.debug("#{__FILE__}:#{__LINE__}: c_integer = #{val[0]} at #{@filename}:#{@lineno}")
[32]	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
[21]	321	}
[4]	322	\| c_real
[22]	323	{
[290]	324	@@logger.debug("#{__FILE__}:#{__LINE__}: c_real = #{val[0]} at #{@filename}:#{@lineno}")
[22]	325	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_REAL.new
	326	}
[4]	327	\| c_date
[22]	328	{
[290]	329	@@logger.debug("#{__FILE__}:#{__LINE__}: c_date = #{val[0]} at #{@filename}:#{@lineno}")
[22]	330	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_DATE.new
	331	}
[4]	332	\| c_time
[22]	333	{
[290]	334	@@logger.debug("#{__FILE__}:#{__LINE__}: c_time = #{val[0]} at #{@filename}:#{@lineno}")
[22]	335	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_TIME.new
	336	}
[4]	337	\| c_date_time
[22]	338	{
[290]	339	@@logger.debug("#{__FILE__}:#{__LINE__}: c_date_time = #{val[0]} at #{@filename}:#{@lineno}")
[22]	340	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_DATE_TIME.new
	341	}
[4]	342	\| c_duration
[22]	343	{
[290]	344	@@logger.debug("#{__FILE__}:#{__LINE__}: c_duration = #{val[0]} at #{@filename}:#{@lineno}")
[22]	345	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_DURATION.new
	346	}
[4]	347	\| c_string
[22]	348	{
[290]	349	@@logger.debug("#{__FILE__}:#{__LINE__}: c_string = #{val[0]} at #{@filename}:#{@lineno}")
[22]	350	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_STRING.new
	351	}
[4]	352	\| c_boolean
[22]	353	{
	354	assert_at(__FILE__,__LINE__){val[0].instance_of?(OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN)}
[290]	355	@@logger.debug("#{__FILE__}:#{__LINE__}: c_boolean = #{val[0]} at #{@filename}:#{@lineno}")
[22]	356	result = val[0]
	357	}
[4]	358
	359	c_any: Star_code
	360	#c_any: '*'
	361
	362	#---------------- BODY - relationships ----------------
	363
	364	c_attributes: c_attribute
[22]	365	{
	366	result = [val[0]]
	367	}
[4]	368	\| c_attributes c_attribute
[22]	369	{
	370	result = (val[0] << val[1])
	371	}
[4]	372
	373	# 'c_attribute' is a node representing a constraint on an attribute in an object model.
	374	c_attribute: c_attr_head SYM_MATCHES SYM_START_CBLOCK c_attr_values SYM_END_CBLOCK
[22]	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	}
[4]	381	\| c_attr_head SYM_MATCHES START_REGEXP_BLOCK REGEXP_BODY END_REGEXP_BLOCK # added by akimichi
[22]	382	{
	383	assert_at(__FILE__,__LINE__){ val[0].kind_of?(OpenEHR::AM::Archetype::Constraint_Model::C_ATTRIBUTE)}
	384	result = val[0]
	385	}
[4]	386	\| c_attr_head SYM_MATCHES SYM_START_CBLOCK error SYM_END_CBLOCK
[22]	387	{
	388	assert_at(__FILE__,__LINE__){ val[0].kind_of?(OpenEHR::AM::Archetype::Constraint_Model::C_ATTRIBUTE)}
	389	result = val[0]
	390	}
[4]	391
	392
	393	c_attr_head: V_ATTRIBUTE_IDENTIFIER c_existence
[19]	394	{
[290]	395	@@logger.debug("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER = #{val[0]}, c_existence = #{val[1]} at #{@filename}")
[22]	396	result = OpenEHR::AM::Archetype::Constraint_Model::C_SINGLE_ATTRIBUTE.new(
	397	:rm_attribute_name => val[0],
	398	:existence => val[1]
	399	)
	400
[19]	401	}
[4]	402	\| V_ATTRIBUTE_IDENTIFIER c_existence c_cardinality
[19]	403	{
[22]	404	assert_at(__FILE__,__LINE__){ val[2].instance_of?(OpenEHR::AM::Archetype::Constraint_Model::CARDINALITY) }
[290]	405	@@logger.debug("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER: #{val[0]}, c_existence = #{val[1]}, c_cardinality = #{val[2]} at #{@filename}")
[22]	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	)
[19]	411	}
[4]	412
	413	c_attr_values: c_object
[22]	414	{
	415	result = Array[val[0]]
	416	}
[4]	417	\| c_attr_values c_object
[22]	418	{
	419	result = (val[0] << val[1])
	420	}
[4]	421	\| c_any # -- to allow a property to have any value
[22]	422	{
	423	result = Array[val[0]]
	424	}
[4]	425
	426	### c_includes: #-- Empty
	427	### \| SYM_INCLUDE assertions
	428	c_includes: #-- Empty
	429	\| SYM_INCLUDE invariants
[32]	430	{
	431	result = val[1]
	432	}
[4]	433
	434	### c_excludes: #-- Empty
	435	### \| SYM_EXCLUDE assertions
	436	c_excludes: #-- Empty
	437	\| SYM_EXCLUDE invariants
[32]	438	{
	439	result = val[1]
	440	}
[4]	441
	442	invariants: invariant
	443	\| invariants invariant
	444
	445	invariant: any_identifier ':' boolean_expression
	446	\| boolean_expression
	447	\| any_identifier ':' error
	448
	449	arch_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
	457	arch_ontology: SYM_ONTOLOGY dadl_section
[22]	458	{
[26]	459	dadl_section = val[1]
[22]	460	result = OpenEHR::AM::Archetype::Ontology::ARCHETYPE_ONTOLOGY.new
	461	}
[4]	462	\| SYM_ONTOLOGY error
	463
	464
	465	### dADL section
	466	dadl_section: dadl_input
	467
	468	dadl_input: attr_vals
	469	\| complex_object_block
	470	# \| error
	471
	472	attr_vals: attr_val
[23]	473	{
	474	result = Array[val[0]]
	475	}
[4]	476	\| attr_vals attr_val
[23]	477	{
	478	result = (val[0] << val[1])
	479	}
[19]	480	\| attr_vals Semicolon_code attr_val
[23]	481	{
	482	result = (val[0] << val[2])
	483	}
[4]	484
	485	attr_val: attr_id SYM_EQ object_block
[19]	486	{
[290]	487	@@logger.debug("#{__FILE__}:#{__LINE__}: attr_id = #{val[0]} at #{@filename}:#{@lineno}")
[23]	488	result = {:attr_id => val[0], :object_block => val[2]}
[19]	489	}
[4]	490
	491	attr_id: V_ATTRIBUTE_IDENTIFIER
[18]	492	{
[290]	493	@@logger.debug("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER = #{val[0]} at #{@filename}:#{@lineno}")
[22]	494	result = val[0]
[18]	495	}
[4]	496	\| V_ATTRIBUTE_IDENTIFIER error
	497
	498	object_block: complex_object_block
[22]	499	{
	500	result = val[0]
	501	}
[4]	502	\| primitive_object_block
[22]	503	{
	504	result = val[0]
	505	}
[4]	506
	507	complex_object_block: single_attr_object_block
[22]	508	{
	509	result = val[0]
	510	}
[4]	511	\| multiple_attr_object_block
[22]	512	{
	513	result = val[0]
	514	}
[4]	515
	516	multiple_attr_object_block: untyped_multiple_attr_object_block
[22]	517	{
[23]	518	result = {:untyped_multiple_attr_object_block => val[0]}
[22]	519	}
[4]	520	\| type_identifier untyped_multiple_attr_object_block
[22]	521	{
[23]	522	result = {:type_identifier => val[0], :untyped_multiple_attr_object_block => val[1]}
[22]	523	}
[4]	524
	525	untyped_multiple_attr_object_block: multiple_attr_object_block_head keyed_objects SYM_END_DBLOCK
[22]	526	{
[23]	527	result = {:multiple_attr_object_block_head => val[0], :keyed_objects => val[1]}
[22]	528	}
[4]	529
	530	multiple_attr_object_block_head: SYM_START_DBLOCK
[22]	531	{
	532	result = val[0]
[20]	533	}
[4]	534
	535	keyed_objects: keyed_object
[23]	536	{
	537	result = Array[val[0]]
	538	}
[4]	539	\| keyed_objects keyed_object
[23]	540	{
	541	result = (val[0] << val[1])
	542	}
[4]	543
	544	keyed_object: object_key SYM_EQ object_block
[20]	545	{
[290]	546	@@logger.debug("#{__FILE__}:#{__LINE__}: keyed_object = #{val[0]} at #{@filename}:#{@lineno}")
	547	result = {:object_key => val[0], :object_block => val[2]}
[20]	548	}
[4]	549
	550	object_key: Left_bracket_code simple_value Right_bracket_code
[19]	551	{
[290]	552	@@logger.debug("object_key: [#{val[1]}] at #{@filename}:#{@lineno}")
[22]	553	result = val[1]
[19]	554	}
[4]	555
	556	single_attr_object_block: untyped_single_attr_object_block
[23]	557	{
	558	result = {:untyped_single_attr_object_block => val[0]}
	559	}
[4]	560	\| type_identifier untyped_single_attr_object_block
[23]	561	{
	562	result = {:type_identifier => val[0], :untyped_single_attr_object_block => val[1]}
	563	}
	564
[290]	565	untyped_single_attr_object_block: single_attr_object_complex_head SYM_END_DBLOCK # >
[22]	566	{
[290]	567	@@logger.debug("#{__FILE__}:#{__LINE__}: single_attr_object_complex_head = #{val[0]} at #{@filename}:#{@lineno}")
[23]	568	result = {:single_attr_object_complex_head => val[0]}
[22]	569	}
[4]	570	\| single_attr_object_complex_head attr_vals SYM_END_DBLOCK
[22]	571	{
[290]	572	@@logger.debug("#{__FILE__}:#{__LINE__}: attr_vals = #{val[1]} at #{@filename}:#{@lineno}")
[23]	573	result = {:single_attr_object_complex_head => val[0], :attr_vals => val[1]}
[22]	574	}
[4]	575	single_attr_object_complex_head: SYM_START_DBLOCK
	576	primitive_object_block: untyped_primitive_object_block
[22]	577	{
[290]	578	@@logger.debug("#{__FILE__}:#{__LINE__}: untyped_primitive_object_block = #{val[0]} at #{@filename}:#{@lineno}")
[23]	579	result = {:untyped_primitive_object_block => val[0]}
[22]	580	}
[4]	581	\| type_identifier untyped_primitive_object_block
[22]	582	{
[290]	583	@@logger.debug("#{__FILE__}:#{__LINE__}: type_identifier = #{val[0]}, untyped_primitive_object_block = #{val[1]} at #{@filename}:#{@lineno}")
[23]	584	result = {:type_identifier => val[0], :untyped_primitive_object_block => val[1]}
[22]	585	}
[4]	586	untyped_primitive_object_block: SYM_START_DBLOCK primitive_object_value SYM_END_DBLOCK
[20]	587	{
[290]	588	@@logger.debug("#{__FILE__}:#{__LINE__}: primitive_object_block = <#{val[1]}> at #{@filename}:#{@lineno}")
[22]	589	result = val[1]
[20]	590	}
[4]	591	primitive_object_value: simple_value
[22]	592	{
	593	result = val[0]
	594	}
[4]	595	\| simple_list_value
[22]	596	{
	597	result = val[0]
	598	}
[4]	599	\| simple_interval_value
[22]	600	{
	601	result = val[0]
	602	}
[4]	603	\| term_code
[22]	604	{
	605	result = val[0]
	606	}
[4]	607	\| term_code_list_value
[22]	608	{
	609	result = val[0]
	610	}
[4]	611	simple_value: string_value
[19]	612	{
[290]	613	@@logger.debug("string_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	614	result = val[0]
[19]	615	}
[4]	616	\| integer_value
[19]	617	{
[290]	618	@@logger.debug("integer_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	619	result = val[0]
[19]	620	}
[4]	621	\| real_value
[19]	622	{
[290]	623	@@logger.debug("real_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	624	result = val[0]
[19]	625	}
[4]	626	\| boolean_value
[19]	627	{
[290]	628	@@logger.debug("boolean_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	629	result = val[0]
[19]	630	}
[4]	631	\| character_value
[19]	632	{
[290]	633	@@logger.debug("character_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	634	result = val[0]
[19]	635	}
[4]	636	\| date_value
[19]	637	{
[290]	638	@@logger.debug("date_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	639	result = val[0]
[19]	640	}
[4]	641	\| time_value
[19]	642	{
[290]	643	@@logger.debug("time_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	644	result = val[0]
[19]	645	}
[4]	646	\| date_time_value
[19]	647	{
[290]	648	@@logger.debug("date_time_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	649	result = val[0]
[19]	650	}
[4]	651	\| duration_value
[19]	652	{
[290]	653	@@logger.debug("duration_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	654	result = val[0]
[19]	655	}
[4]	656	\| uri_value
[19]	657	{
[290]	658	@@logger.debug("uri_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	659	result = val[0]
[19]	660	}
[22]	661
[4]	662	simple_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
	672	simple_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
	679	type_identifier: V_TYPE_IDENTIFIER
[19]	680	{
[290]	681	@@logger.debug("V_TYPE_IDENTIFIER: #{val[0]} at #{@filename}:#{@lineno}")
[22]	682	result = val[0]
[19]	683	}
[4]	684	\| V_GENERIC_TYPE_IDENTIFIER
[19]	685	{
[290]	686	@@logger.debug("V_GENERIC_TYPE_IDENTIFIER: #{val[0]} at #{@filename}:#{@lineno}")
[22]	687	result = val[0]
[19]	688	}
[4]	689
	690	string_value: V_STRING
[18]	691	{
[290]	692	@@logger.debug("V_STRING: #{val[0]} at #{@filename}:#{@lineno}")
[22]	693	result = val[0]
[18]	694	}
[4]	695
	696	string_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
	700	integer_value: V_INTEGER
[22]	701	{
	702	begin
	703	integer = Integer(val[0])
	704	rescue
	705	raise
	706	end
	707	result = integer
	708	}
[18]	709	\| Plus_code V_INTEGER
[22]	710	{
	711	begin
	712	integer = Integer(val[0])
	713	rescue
	714	raise
	715	end
	716	result = integer
	717	}
[18]	718	\| Minus_code V_INTEGER
[22]	719	{
	720	begin
	721	integer = Integer(val[0])
	722	rescue
	723	raise
	724	end
	725	result = - integer
	726	}
[18]	727	### \| '+' V_INTEGER
	728	### \| '-' V_INTEGER
[4]	729
	730	integer_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
	734	integer_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
	744	real_value: V_REAL
[23]	745	{
	746	begin
	747	real = Float(val[0])
	748	rescue
	749	raise
	750	end
	751	result = real
	752	}
[18]	753	\| Plus_code V_REAL
[23]	754	{
	755	begin
[25]	756	real = Float(val[1])
[23]	757	rescue
	758	raise
	759	end
	760	result = real
	761	}
[18]	762	\| Minus_code V_REAL
[23]	763	{
	764	begin
[25]	765	real = Float(val[1])
[23]	766	rescue
	767	raise
	768	end
	769	result = - real
	770	}
[4]	771
	772	real_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
	776	real_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
	787	boolean_value: SYM_TRUE
[23]	788	{
	789	result = true
	790	}
[4]	791	\| SYM_FALSE
[23]	792	{
	793	result = false
	794	}
[4]	795
	796	boolean_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
	800	character_value: V_CHARACTER
	801
	802	character_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
	806	date_value: V_ISO8601_EXTENDED_DATE
[290]	807	{
	808	result = val[0]
	809	}
[4]	810
	811	date_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
	815	date_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
	825	time_value: V_ISO8601_EXTENDED_TIME
	826
	827	time_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
	831	time_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
	841	date_time_value: V_ISO8601_EXTENDED_DATE_TIME
	842
	843	date_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
	847	date_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
	857	duration_value: V_ISO8601_DURATION
[19]	858	{
[290]	859	@@logger.debug("V_ISO8601_DURATION: #{val[0]} at #{@filename}:#{@lineno}")
[22]	860	result = val[0]
[19]	861	}
[4]	862
	863	duration_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
	867	duration_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
	877	term_code: V_QUALIFIED_TERM_CODE_REF
[20]	878	{
[290]	879	@@logger.debug("#{__FILE__}:#{__LINE__}: V_QUALIFIED_TERM_CODE_REF = #{val[0]} at #{@filename}:#{@lineno}")
[26]	880	result = val[0]
[20]	881	}
[4]	882
	883	term_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
	887	uri_value: V_URI
[20]	888	{
[290]	889	@@logger.debug("#{__FILE__}:#{__LINE__}: V_URI = #{val[0]} at #{@filename}:#{@lineno}")
[26]	890	result = val[0]
[20]	891	}
[4]	892
	893
	894	#---------------------- ASSERTIONS ------------------------
	895
	896	assertions: assertion
	897	\| assertions assertion
	898
	899	assertion: any_identifier ':' boolean_expression
	900	\| boolean_expression
	901	\| any_identifier ':' error
	902
	903	#---------------------- expressions ---------------------
	904
	905	boolean_expression: boolean_leaf
	906	\| boolean_node
	907
	908	boolean_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
	925	boolean_leaf: Left_parenthesis_code boolean_expression Right_parenthesis_code
	926	\| SYM_TRUE
	927	\| SYM_FALSE
	928
	929	arithmetic_expression: arithmetic_leaf
	930	\| arithmetic_node
	931
	932	arithmetic_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
	938	arithmetic_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
	948	absolute_path: Slash_code
	949	\| Slash_code relative_path
	950	# \| absolute_path Slash_code relative_path
	951
	952
	953
	954	relative_path: path_segment
	955	\| relative_path Slash_code path_segment
	956
	957	path_segment: V_ATTRIBUTE_IDENTIFIER V_LOCAL_TERM_CODE_REF
[19]	958	{
[290]	959	@@logger.debug("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{val[0]} at #{@filename}")
[19]	960	}
[4]	961	\| V_ATTRIBUTE_IDENTIFIER
[19]	962	{
[290]	963	@@logger.debug("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{val[0]} at #{@filename}")
[19]	964	}
[4]	965
	966
	967	#-------------------------------- END SOURCE TAKEN FROM OG_PATH_VALIDATOR.Y ----------------------
	968
	969
	970	#---------------- existence, occurrences, cardinality ----------------
	971
	972	c_existence: #-- default to 1..1
[22]	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	}
[4]	980
	981	existence_spec: V_INTEGER #-- can only be 0 or 1
[22]	982	{
	983	begin
	984	integer = Integer(val[0])
	985	rescue
	986	raise
	987	end
	988	result = integer
	989	}
[4]	990	\| V_INTEGER SYM_ELLIPSIS V_INTEGER #-- can only be 0..0, 0..1, 1..1
[22]	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	}
[4]	1000
	1001	c_cardinality: SYM_CARDINALITY SYM_MATCHES SYM_START_CBLOCK cardinality_spec SYM_END_CBLOCK
[22]	1002	{
	1003	result = OpenEHR::AM::Archetype::Constraint_Model::CARDINALITY.new
	1004	}
[4]	1005
	1006	cardinality_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
	1015	cardinality_limit_value: integer_value
[35]	1016	{
	1017	result = val[0]
	1018	}
	1019	\| Star_code # '*'
	1020	{
	1021	result = val[0]
	1022	}
[4]	1023
[35]	1024
[4]	1025	c_occurrences: #-- default to 1..1
	1026	\| SYM_OCCURRENCES SYM_MATCHES SYM_START_CBLOCK occurrence_spec SYM_END_CBLOCK
[23]	1027	{
	1028	result = val[3]
	1029	}
[4]	1030	\| SYM_OCCURRENCES error
	1031
	1032	occurrence_spec: cardinality_limit_value #-- single integer or '*'
	1033	\| V_INTEGER SYM_ELLIPSIS cardinality_limit_value
	1034
	1035	#---------------------- leaf constraint types -----------------------
	1036
	1037	c_integer_spec: integer_value
	1038	\| integer_list_value
	1039	\| integer_interval_value
	1040
	1041	c_integer: c_integer_spec
	1042	\| c_integer_spec Semicolon_code integer_value
	1043	\| c_integer_spec Semicolon_code error
	1044
	1045	c_real_spec: real_value
	1046	\| real_list_value
	1047	\| real_interval_value
	1048
	1049	c_real: c_real_spec
	1050	\| c_real_spec Semicolon_code real_value
	1051	\| c_real_spec Semicolon_code error
	1052
	1053	c_date_constraint: V_ISO8601_DATE_CONSTRAINT_PATTERN
	1054	\| date_value
	1055	\| date_interval_value
	1056
	1057	c_date: c_date_constraint
	1058	\| c_date_constraint Semicolon_code date_value
	1059	\| c_date_constraint Semicolon_code error
	1060
	1061	c_time_constraint: V_ISO8601_TIME_CONSTRAINT_PATTERN
	1062	\| time_value
	1063	\| time_interval_value
	1064
	1065	c_time: c_time_constraint
	1066	\| c_time_constraint Semicolon_code time_value
	1067	\| c_time_constraint Semicolon_code error
	1068
	1069	c_date_time_constraint: V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN
	1070	\| date_time_value
	1071	\| date_time_interval_value
	1072
	1073	c_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
	1077	c_duration_constraint: duration_pattern
	1078	\| duration_pattern Slash_code duration_interval_value
	1079	\| duration_value
	1080	\| duration_interval_value
	1081
	1082	c_duration: c_duration_constraint
	1083	\| c_duration_constraint Semicolon_code duration_value
	1084	\| c_duration_constraint Semicolon_code error
	1085
	1086	c_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
	1092	c_string: c_string_spec
	1093	\| c_string_spec Semicolon_code string_value
	1094	\| c_string_spec Semicolon_code error
	1095
	1096	c_boolean_spec: SYM_TRUE
[22]	1097	{
	1098	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => true)
	1099	}
[4]	1100	\| SYM_FALSE
[22]	1101	{
	1102	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => false)
	1103	}
[4]	1104	\| SYM_TRUE Comma_code SYM_FALSE
[22]	1105	{
	1106	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => true,:false_valid => false)
	1107	}
[4]	1108	\| SYM_FALSE Comma_code SYM_TRUE
[22]	1109	{
	1110	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => false,:false_valid => true)
	1111	}
[4]	1112
	1113	c_boolean: c_boolean_spec
[22]	1114	{
	1115	result = val[0]
	1116	}
[4]	1117	\| c_boolean_spec Semicolon_code boolean_value
[22]	1118	{
	1119	raise 'Not implemented yet'
	1120	}
[19]	1121	\| c_boolean_spec Semicolon_code error
[22]	1122	{
	1123	raise 'Not implemented yet'
	1124	}
[4]	1125
	1126	c_ordinal: c_ordinal_spec
	1127	\| c_ordinal_spec Semicolon_code integer_value
[19]	1128	\| c_ordinal_spec Semicolon_code error
[4]	1129
	1130	c_ordinal_spec: ordinal
	1131	\| c_ordinal_spec Comma_code ordinal
	1132
	1133	ordinal: integer_value SYM_INTERVAL_DELIM V_QUALIFIED_TERM_CODE_REF
[20]	1134	{
	1135	@in_interval = false
[290]	1136	@@logger.debug("#{__FILE__}:#{__LINE__}, #{val[0]}\|#{val[2]} at #{@filename}")
[20]	1137	}
[4]	1138
	1139	#c_code_phrase: V_TERM_CODE_CONSTRAINT #-- e.g. "[local::at0040, at0041; at0040]"
	1140	c_code_phrase: term_code_constraint_section #-- e.g. "[local::at0040, at0041; at0040]"
[32]	1141	{
	1142	result = val[0]
	1143	}
[4]	1144	\| V_QUALIFIED_TERM_CODE_REF
[32]	1145	{
	1146	result = val[0]
	1147	}
[4]	1148
[290]	1149	# [[a-zA-Z0-9\._\-]+::[ \t\n]* [[a-zA-Z0-9\._\-][ \t]]
[4]	1150	term_code_constraint_section: START_TERM_CODE_CONSTRAINT term_code_body END_TERM_CODE_CONSTRAINT
[290]	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
[4]	1159	term_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.
	1166	constraint_ref: V_LOCAL_TERM_CODE_REF #-- e.g. "ac0003"
[32]	1167	{
	1168	result = val[0]
	1169	}
[4]	1170
	1171	any_identifier: type_identifier
[32]	1172	{
	1173	result = val[0]
	1174	}
[4]	1175	\| V_ATTRIBUTE_IDENTIFIER
[19]	1176	{
[290]	1177	@@logger.debug("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{word} at #{@filename}")
[32]	1178	result = val[0]
[19]	1179	}
[4]	1180
	1181
	1182	#----------------- TAKEN FROM DADL_VALIDATOR.Y -------------------
	1183	#----------------- DO NOT MODIFY -------------------
	1184	#---------------------- BASIC DATA VALUES -----------------------
	1185
	1186	duration_pattern: V_ISO8601_DURATION_CONSTRAINT_PATTERN
[26]	1187	{
	1188	result = val[0]
	1189	}
[4]	1190
	1191
	1192
	1193	---- header
	1194
[49]	1195
[4]	1196	$:.unshift File.join(File.dirname(__FILE__))
[17]	1197	require 'logger'
[290]	1198	require 'yaml'
[21]	1199	require 'rubygems'
[290]	1200	require 'adl_parser.rb'
[21]	1201	require 'am.rb'
[290]	1202	require 'rm.rb'
[49]	1203	$DEBUG = false
[4]	1204
	1205
[17]	1206
[4]	1207	---- inner
[17]	1208
[22]	1209	def assert_at(file,line, message = "")
	1210	unless yield
	1211	raise "Assertion failed !: #{file}, #{line}: #{message}"
	1212	end
	1213	end
	1214
[49]	1215	if $DEBUG
[290]	1216	@@logger = Logger.new('log/parser.log','daily')
	1217	@@logger.level = Logger::DEBUG
[49]	1218	else
[290]	1219	@@logger = Logger.new(STDOUT)
	1220	@@logger.level = Logger::WARN
[49]	1221	end
	1222
[17]	1223
[4]	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
[290]	1282
[4]	1283	def scan
[290]	1284	@@logger.debug("#{__FILE__}:#{__LINE__}: Entering scan at #{@filename}:#{@lineno}:")
	1285	scanner = OpenEHR::ADL::Scanner::ADLScanner.new(@adl_type, @filename)
	1286
[4]	1287	until @data.nil? do
[290]	1288	@data = scanner.scan(@data) do \|sym, val\|
[4]	1289	yield sym, val
	1290	end
	1291	@data = $' # variable $' receives the string after the match
	1292	end
	1293	yield :EOF, nil
	1294	yield false, '$'
	1295	end # of scan
	1296
	1297
	1298	def 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
[14]	1307	@in_c_domain_type = false
[4]	1308	yyparse self, :scan
	1309	end
	1310
	1311	def on_error( t, v, values)
	1312	raise Racc::ParseError, "#{@filename}:#{@lineno}: Inline syntax error on #{v.inspect}"
	1313	end
	1314
	1315
[290]	1316	__END__
[4]	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.

Download in other formats:

Original Format