Context Navigation

parser.y@ 35

Last change on this file since 35 was 35, checked in by Tatsukawa, Akimichi, 16 years ago
update archetype_constraint
File size: 63.4 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]
	42	adl_version = val[0][:arch_head][:arch_meta_data][:adl_version]
	43	concept = val[2]
	44	language = val[3][:arch_language]
	45	archetype = OpenEHR::AM::Archetype::ARCHETYPE.create(
	46	:archetype_id => archetype_id,
	47	:adl_version => adl_version,
	48	:concept => concept,
	49	:description => val[4],
	50	:definition => val[5],
	51	:ontology => val[7]
	52	) do \|archetype\|
	53	archetype.original_language = language
	54	end
	55	@@log.info("#{__FILE__}:#{__LINE__}: archetype = #{archetype} at #{@filename}:#{@lineno}")
	56	result = archetype
[21]	57	}
[4]	58
	59
	60	arch_identification: arch_head V_ARCHETYPE_ID
[24]	61	{
	62	result = {:arch_head => val[0], :archetype_id => val[1] }
	63	}
[4]	64	\| SYM_ARCHETYPE error
[24]	65	{
	66	raise
	67	}
[4]	68
	69	arch_head: SYM_ARCHETYPE
[24]	70	{
	71	result = {:arch_meta_data => nil }
	72	}
[4]	73	\| SYM_ARCHETYPE arch_meta_data
[24]	74	{
[26]	75	result = val[1]
[24]	76	}
[4]	77
	78	arch_meta_data: Left_parenthesis_code arch_meta_data_items Right_parenthesis_code
[24]	79	{
[26]	80	result = {:arch_meta_data => val[1] }
[24]	81	}
[4]	82
	83	arch_meta_data_items: arch_meta_data_item
[24]	84	{
[26]	85	result = val[0]
[24]	86	}
[19]	87	\| arch_meta_data_items Semicolon_code arch_meta_data_item
[24]	88	{
[26]	89	result = val[0].merge(val[2])
[24]	90	}
[4]	91
[24]	92
[4]	93	arch_meta_data_item: SYM_ADL_VERSION SYM_EQ V_VERSION_STRING
[24]	94	{
[26]	95	result = {:adl_version => val[2], :is_controlled => false }
[24]	96	}
[4]	97	\| SYM_IS_CONTROLLED
[24]	98	{
[26]	99	result = {:is_controlled => true }
[24]	100	}
[4]	101
	102	# Define specialization in which its constraints are narrower than those of the parent.
	103	# Any data created via the use of the specialized archetype shall be conformant both to it and its parent.
	104	arch_specialisation: #-- empty is ok
	105	\| SYM_SPECIALIZE V_ARCHETYPE_ID
	106	\| SYM_SPECIALIZE error
	107
	108	arch_concept: SYM_CONCEPT V_LOCAL_TERM_CODE_REF
[26]	109	{
	110	result = {:arch_concept => val[1] }
	111	}
[4]	112	\| SYM_CONCEPT error
	113
	114	#arch_language: #-- empty is ok for ADL 1.4 tools
	115	# \| SYM_LANGUAGE V_DADL_TEXT
	116	# \| SYM_LANGUAGE error
	117
	118	arch_language: #-- empty is ok for ADL 1.4 tools
[26]	119	{
	120	result = {:arch_language => nil}
	121	}
[4]	122	\| SYM_LANGUAGE dadl_section
[16]	123	{
[26]	124	result = {:arch_language => val[1]}
[16]	125	}
	126	\| SYM_LANGUAGE error
[4]	127
	128	#arch_description: #-- no meta-data ok
	129	# \| SYM_DESCRIPTION V_DADL_TEXT
	130	# \| SYM_DESCRIPTION error
	131
	132	arch_description: #-- no meta-data ok
	133	\| SYM_DESCRIPTION dadl_section
[21]	134	{
	135	result = OpenEHR::AM::Archetype::Archetype_Description::ARCHETYPE_DESCRIPTION.new(:details => val[1])
	136	}
	137	\| SYM_DESCRIPTION error
	138
[4]	139	#arch_definition: SYM_DEFINITION V_CADL_TEXT
	140	# \| SYM_DEFINITION error
	141	arch_definition: SYM_DEFINITION cadl_section
[21]	142	{
	143	result = val[1]
	144	}
[4]	145	\| SYM_DEFINITION error
	146
	147
	148	### cADL section
	149	cadl_section: c_complex_object
[35]	150	{
[22]	151	assert_at(__FILE__,__LINE__){val[0].instance_of?(OpenEHR::AM::Archetype::Constraint_Model::C_COMPLEX_OBJECT)}
[23]	152	@@log.info("#{__FILE__}:#{__LINE__}: c_complex_object = #{val[0]} at #{@filename}:#{@lineno}")
[21]	153	result = val[0]
	154	}
[4]	155	\| assertions
[23]	156	{
	157	result = val[0]
	158	}
[4]	159	# \| error
	160
	161	#c_complex_object: c_complex_object_head SYM_MATCHES SYM_START_CBLOCK c_complex_object_body SYM_END_CBLOCK
[32]	162	c_complex_object: c_complx_object_head SYM_MATCHES START_REGEXP_BLOCK REGEXP_BODY END_REGEXP_BLOCK # added by akimichi
[21]	163	{
[23]	164	result = OpenEHR::AM::Archetype::Constraint_Model::C_COMPLEX_OBJECT.create(:attributes => val[3]) do \|c_complex_object\|
	165	c_complex_object.node_id = val[0][:c_complex_object_id][:local_term_code_ref]
	166	c_complex_object.rm_type_name = val[0][:c_complex_object_id][:type_identifier]
	167	c_complex_object.occurrences = val[0][:c_occurrences]
	168	end
[21]	169	}
[4]	170	\| c_complex_object_head SYM_MATCHES SYM_START_CBLOCK c_complex_object_body SYM_END_CBLOCK
[21]	171	{
[23]	172	result = OpenEHR::AM::Archetype::Constraint_Model::C_COMPLEX_OBJECT.create(:attributes => val[3]) do \|c_complex_object\|
	173	c_complex_object.node_id = val[0][:c_complex_object_id][:local_term_code_ref]
	174	c_complex_object.rm_type_name = val[0][:c_complex_object_id][:type_identifier]
	175	c_complex_object.occurrences = val[0][:c_occurrences]
	176	end
[21]	177	}
	178	# \| c_complex_object_head error SYM_END_CBLOCK
[4]	179	# \| c_complex_object_head SYM_MATCHES SYM_START_CBLOCK c_complex_object_body c_invariants SYM_END_CBLOCK
	180
	181	c_complex_object_head: c_complex_object_id c_occurrences
[23]	182	{
	183	result = {:c_complex_object_id => val[0], :c_occurrences => val[1]}
	184	}
[4]	185
	186	c_complex_object_id: type_identifier
[16]	187	{
[23]	188	result = {:type_identifier => val[0]}
[16]	189	}
[4]	190	\| type_identifier V_LOCAL_TERM_CODE_REF
[16]	191	{
[23]	192	result = {:type_identifier => val[0], :local_term_code_ref => val[1]}
[16]	193	}
[4]	194
	195	c_complex_object_body: c_any #-- used to indicate that any value of a type is ok
	196	\| c_attributes
[22]	197	{
	198	result = OpenEHR::AM::Archetype::Constraint_Model::C_COMPLEX_OBJECT.new(:attributes => val[0])
	199	}
[4]	200
	201
	202	#------------------------- node types -----------------------
	203
[19]	204	c_object: v_c_domain_type
[32]	205	{
[22]	206	result = val[0]
	207	}
[19]	208	\| c_complex_object
[32]	209	{
	210	@@log.info("#{__FILE__}:#{__LINE__}: c_complex_object = #{val[0].inspect} at #{@filename}:#{@lineno}")
	211	result = val[0]
[22]	212	}
[4]	213	\| archetype_internal_ref
[32]	214	{
	215	result = OpenEHR::AM::Archetype::Constraint_Model::ARCHETYPE_INTERNAL_REF.create do \|archetype_internal_ref\|
	216	archetype_internal_ref.target_path = val[0][:absolute_path]
	217	archetype_internal_ref.rm_type_name = val[0][:type_identifier]
	218	archetype_internal_ref.occurrences = val[0][:c_occurrences]
	219	end
[22]	220	}
[4]	221	\| archetype_slot
[32]	222	{
	223	result = val[0]
[22]	224	}
[4]	225	\| constraint_ref
[32]	226	{
	227	result = OpenEHR::AM::Archetype::Constraint_Model::CONSTRAINT_REF.create do \|constraint_ref\|
	228	constraint_ref.reference = val[0]
	229	end
[22]	230	}
[4]	231	\| c_code_phrase
[32]	232	{
[22]	233	result = val[0]
	234	}
[4]	235	\| c_ordinal
[32]	236	{
[22]	237	result = val[0]
	238	}
[4]	239	\| c_primitive_object
[32]	240	{
[22]	241	result = val[0]
	242	}
[19]	243	# \| v_c_domain_type
[14]	244	# \| V_C_DOMAIN_TYPE
	245	# this is an attempt to match a dADL section inside cADL. It will
	246	# probably never work 100% properly since there can be '>' inside "\|\|"
	247	# ranges, and also strings containing any character, e.g. units string
	248	# contining "{}" chars. The real solution is to use the dADL parser on
	249	# the buffer from the current point on and be able to fast-forward the
	250	# cursor to the last character matched by the dADL scanner
[4]	251	\| ERR_C_DOMAIN_TYPE
	252	\| error
	253
[16]	254	v_c_domain_type: START_V_C_DOMAIN_TYPE_BLOCK dadl_section END_V_C_DOMAIN_TYPE_BLOCK
[23]	255	{
	256	result = val[1]
	257	}
[14]	258
[4]	259	# 'archetype_internal_ref' is a node that refers to a previously defined object node in the same archetype.
	260	archetype_internal_ref: SYM_USE_NODE type_identifier c_occurrences absolute_path
[32]	261	{
	262	result = {:type_identifier => val[1], :c_occurrences => val[2], :absolute_path => val[3] }
	263	}
[4]	264	\| SYM_USE_NODE type_identifier error
	265
	266	# 'archetype_slot' is a node whose statements define a constraint that determines which other archetypes may appear at that point in the current archetype.
	267	archetype_slot: c_archetype_slot_head SYM_MATCHES SYM_START_CBLOCK c_includes c_excludes SYM_END_CBLOCK
[32]	268	{
	269	result = OpenEHR::AM::Archetype::Constraint_Model::ARCHETYPE_SLOT.create do \|archetype_slot\|
	270	archetype_slot.includes = val[3]
	271	archetype_slot.excludes = val[4]
	272	archetype_slot.rm_type_name = val[0][:c_archetype_slot_id]
	273	archetype_slot.occurrences = val[0][:c_occurrences]
	274	end
	275	}
[4]	276	c_archetype_slot_head: c_archetype_slot_id c_occurrences
[32]	277	{
	278	result = {:c_archetype_slot_id => val[0],:c_occurrences => val[1]}
	279	}
[4]	280
	281	c_archetype_slot_id: SYM_ALLOW_ARCHETYPE type_identifier
[32]	282	{
	283	result = val[1]
	284	}
[4]	285	\| SYM_ALLOW_ARCHETYPE type_identifier V_LOCAL_TERM_CODE_REF
	286	\| SYM_ALLOW_ARCHETYPE error
	287
	288	# 'c_primitive_object' is an node representing a constraint on a primitive object type.
	289	c_primitive_object: c_primitive
[22]	290	{
	291	assert_at(__FILE__,__LINE__){val[0].kind_of?(OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_PRIMITIVE)}
[32]	292	result = OpenEHR::AM::Archetype::Constraint_Model::C_PRIMITIVE_OBJECT.create do \|c_primitive_object\|
	293	c_primitive_object.item = val[0]
	294	end
[22]	295	}
[4]	296
	297	c_primitive: c_integer
[21]	298	{
[22]	299	@@log.info("#{__FILE__}:#{__LINE__}: c_integer = #{val[0]} at #{@filename}:#{@lineno}")
[32]	300	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_INTEGER.create do \|c_integer\|
	301	c_integer.list
	302	c_integer.range
	303	c_integer.assumed_value
	304	end
[21]	305	}
[4]	306	\| c_real
[22]	307	{
	308	@@log.info("#{__FILE__}:#{__LINE__}: c_real = #{val[0]} at #{@filename}:#{@lineno}")
	309	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_REAL.new
	310	}
[4]	311	\| c_date
[22]	312	{
	313	@@log.info("#{__FILE__}:#{__LINE__}: c_date = #{val[0]} at #{@filename}:#{@lineno}")
	314	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_DATE.new
	315	}
[4]	316	\| c_time
[22]	317	{
	318	@@log.info("#{__FILE__}:#{__LINE__}: c_time = #{val[0]} at #{@filename}:#{@lineno}")
	319	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_TIME.new
	320	}
[4]	321	\| c_date_time
[22]	322	{
	323	@@log.info("#{__FILE__}:#{__LINE__}: c_date_time = #{val[0]} at #{@filename}:#{@lineno}")
	324	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_DATE_TIME.new
	325	}
[4]	326	\| c_duration
[22]	327	{
	328	@@log.info("#{__FILE__}:#{__LINE__}: c_duration = #{val[0]} at #{@filename}:#{@lineno}")
	329	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_DURATION.new
	330	}
[4]	331	\| c_string
[22]	332	{
	333	@@log.info("#{__FILE__}:#{__LINE__}: c_string = #{val[0]} at #{@filename}:#{@lineno}")
	334	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_STRING.new
	335	}
[4]	336	\| c_boolean
[22]	337	{
	338	assert_at(__FILE__,__LINE__){val[0].instance_of?(OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN)}
	339	@@log.info("#{__FILE__}:#{__LINE__}: c_boolean = #{val[0]} at #{@filename}:#{@lineno}")
	340	result = val[0]
	341	}
[4]	342
	343	c_any: Star_code
	344	#c_any: '*'
	345
	346	#---------------- BODY - relationships ----------------
	347
	348	c_attributes: c_attribute
[22]	349	{
	350	result = [val[0]]
	351	}
[4]	352	\| c_attributes c_attribute
[22]	353	{
	354	result = (val[0] << val[1])
	355	}
[4]	356
	357	# 'c_attribute' is a node representing a constraint on an attribute in an object model.
	358	c_attribute: c_attr_head SYM_MATCHES SYM_START_CBLOCK c_attr_values SYM_END_CBLOCK
[22]	359	{
	360	assert_at(__FILE__,__LINE__){ val[0].kind_of?(OpenEHR::AM::Archetype::Constraint_Model::C_ATTRIBUTE)}
	361	c_attribute = val[0]
	362	c_attribute.children = val[3]
	363	result = c_attribute
	364	}
[4]	365	\| c_attr_head SYM_MATCHES START_REGEXP_BLOCK REGEXP_BODY END_REGEXP_BLOCK # added by akimichi
[22]	366	{
	367	assert_at(__FILE__,__LINE__){ val[0].kind_of?(OpenEHR::AM::Archetype::Constraint_Model::C_ATTRIBUTE)}
	368	result = val[0]
	369	}
[4]	370	\| c_attr_head SYM_MATCHES SYM_START_CBLOCK error SYM_END_CBLOCK
[22]	371	{
	372	assert_at(__FILE__,__LINE__){ val[0].kind_of?(OpenEHR::AM::Archetype::Constraint_Model::C_ATTRIBUTE)}
	373	result = val[0]
	374	}
[4]	375
	376
	377	c_attr_head: V_ATTRIBUTE_IDENTIFIER c_existence
[19]	378	{
	379	@@log.info("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER = #{val[0]}, c_existence = #{val[1]} at #{@filename}")
[22]	380	result = OpenEHR::AM::Archetype::Constraint_Model::C_SINGLE_ATTRIBUTE.new(
	381	:rm_attribute_name => val[0],
	382	:existence => val[1]
	383	)
	384
[19]	385	}
[4]	386	\| V_ATTRIBUTE_IDENTIFIER c_existence c_cardinality
[19]	387	{
[22]	388	assert_at(__FILE__,__LINE__){ val[2].instance_of?(OpenEHR::AM::Archetype::Constraint_Model::CARDINALITY) }
[19]	389	@@log.info("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER: #{val[0]}, c_existence = #{val[1]}, c_cardinality = #{val[2]} at #{@filename}")
[22]	390	result = OpenEHR::AM::Archetype::Constraint_Model::C_MULTIPLE_ATTRIBUTE.new(
	391	:rm_attribute_name => val[0],
	392	:existence => val[1],
	393	:cardinality => val[2]
	394	)
[19]	395	}
[4]	396
	397	c_attr_values: c_object
[22]	398	{
	399	result = Array[val[0]]
	400	}
[4]	401	\| c_attr_values c_object
[22]	402	{
	403	result = (val[0] << val[1])
	404	}
[4]	405	\| c_any # -- to allow a property to have any value
[22]	406	{
	407	result = Array[val[0]]
	408	}
[4]	409
	410	### c_includes: #-- Empty
	411	### \| SYM_INCLUDE assertions
	412	c_includes: #-- Empty
	413	\| SYM_INCLUDE invariants
[32]	414	{
	415	result = val[1]
	416	}
[4]	417
	418	### c_excludes: #-- Empty
	419	### \| SYM_EXCLUDE assertions
	420	c_excludes: #-- Empty
	421	\| SYM_EXCLUDE invariants
[32]	422	{
	423	result = val[1]
	424	}
[4]	425
	426	invariants: invariant
	427	\| invariants invariant
	428
	429	invariant: any_identifier ':' boolean_expression
	430	\| boolean_expression
	431	\| any_identifier ':' error
	432
	433	arch_invariant: #-- no invariant ok
	434	\| SYM_INVARIANT V_ASSERTION_TEXT
	435	\| SYM_INVARIANT error
	436
	437	# define all linguistic entries in this part as dADL.
	438	#arch_ontology: SYM_ONTOLOGY V_DADL_TEXT
	439	# \| SYM_ONTOLOGY error
	440
	441	arch_ontology: SYM_ONTOLOGY dadl_section
[22]	442	{
[26]	443	dadl_section = val[1]
[22]	444	result = OpenEHR::AM::Archetype::Ontology::ARCHETYPE_ONTOLOGY.new
	445	}
[4]	446	\| SYM_ONTOLOGY error
	447
	448
	449	### dADL section
	450	dadl_section: dadl_input
	451
	452	dadl_input: attr_vals
	453	\| complex_object_block
	454	# \| error
	455
	456	attr_vals: attr_val
[23]	457	{
	458	result = Array[val[0]]
	459	}
[4]	460	\| attr_vals attr_val
[23]	461	{
	462	result = (val[0] << val[1])
	463	}
[19]	464	\| attr_vals Semicolon_code attr_val
[23]	465	{
	466	result = (val[0] << val[2])
	467	}
[4]	468
	469	attr_val: attr_id SYM_EQ object_block
[19]	470	{
[20]	471	@@log.info("#{__FILE__}:#{__LINE__}: attr_id = #{val[0]}, object_block = #{val[2]} at #{@filename}:#{@lineno}")
[23]	472	result = {:attr_id => val[0], :object_block => val[2]}
[19]	473	}
[4]	474
	475	attr_id: V_ATTRIBUTE_IDENTIFIER
[18]	476	{
[19]	477	@@log.info("#{__FILE__}:#{__LINE__}: V_ATTRIBUTE_IDENTIFIER = #{val[0]} at #{@filename}:#{@lineno}")
[22]	478	result = val[0]
[18]	479	}
[4]	480	\| V_ATTRIBUTE_IDENTIFIER error
	481
	482	object_block: complex_object_block
[22]	483	{
	484	result = val[0]
	485	}
[4]	486	\| primitive_object_block
[22]	487	{
	488	result = val[0]
	489	}
[4]	490
	491	complex_object_block: single_attr_object_block
[22]	492	{
	493	result = val[0]
	494	}
[4]	495	\| multiple_attr_object_block
[22]	496	{
	497	result = val[0]
	498	}
[4]	499
	500	multiple_attr_object_block: untyped_multiple_attr_object_block
[22]	501	{
[23]	502	result = {:untyped_multiple_attr_object_block => val[0]}
[22]	503	}
[4]	504	\| type_identifier untyped_multiple_attr_object_block
[22]	505	{
[23]	506	result = {:type_identifier => val[0], :untyped_multiple_attr_object_block => val[1]}
[22]	507	}
[4]	508
	509	untyped_multiple_attr_object_block: multiple_attr_object_block_head keyed_objects SYM_END_DBLOCK
[22]	510	{
[23]	511	result = {:multiple_attr_object_block_head => val[0], :keyed_objects => val[1]}
[22]	512	}
[4]	513
	514	multiple_attr_object_block_head: SYM_START_DBLOCK
[22]	515	{
[20]	516	@@log.info("SYM_START_DBLOCK: #{val[0]} at #{@filename}:#{@lineno}")
[22]	517	result = val[0]
[20]	518	}
[4]	519
	520	keyed_objects: keyed_object
[23]	521	{
	522	result = Array[val[0]]
	523	}
[4]	524	\| keyed_objects keyed_object
[23]	525	{
	526	result = (val[0] << val[1])
	527	}
[4]	528
	529	keyed_object: object_key SYM_EQ object_block
[20]	530	{
	531	@@log.info("#{__FILE__}:#{__LINE__}: keyed_object = #{val[0]}, object_block = #{val[2]} at #{@filename}:#{@lineno}")
[23]	532	result = {:object_key => val[0], :object_block => val[1]}
[20]	533	}
[4]	534
	535	object_key: Left_bracket_code simple_value Right_bracket_code
[19]	536	{
	537	@@log.info("object_key: [#{val[1]}] at #{@filename}:#{@lineno}")
[22]	538	result = val[1]
[19]	539	}
[4]	540
	541	single_attr_object_block: untyped_single_attr_object_block
[23]	542	{
	543	result = {:untyped_single_attr_object_block => val[0]}
	544	}
[4]	545	\| type_identifier untyped_single_attr_object_block
[23]	546	{
	547	result = {:type_identifier => val[0], :untyped_single_attr_object_block => val[1]}
	548	}
	549
[16]	550	untyped_single_attr_object_block: single_attr_object_complex_head SYM_END_DBLOCK # <>
[22]	551	{
	552	@@log.info("#{__FILE__}:#{__LINE__}: single_attr_object_complex_head = #{val[0]} at #{@filename}:#{@lineno}")
[23]	553	result = {:single_attr_object_complex_head => val[0]}
[22]	554	}
[4]	555	\| single_attr_object_complex_head attr_vals SYM_END_DBLOCK
[22]	556	{
	557	@@log.info("#{__FILE__}:#{__LINE__}: single_attr_object_complex_head = #{val[0]}, attr_vals = #{val[1]} at #{@filename}:#{@lineno}")
[23]	558	result = {:single_attr_object_complex_head => val[0], :attr_vals => val[1]}
[22]	559	}
[4]	560	single_attr_object_complex_head: SYM_START_DBLOCK
	561	primitive_object_block: untyped_primitive_object_block
[22]	562	{
	563	@@log.info("#{__FILE__}:#{__LINE__}: untyped_primitive_object_block = #{val[0]} at #{@filename}:#{@lineno}")
[23]	564	result = {:untyped_primitive_object_block => val[0]}
[22]	565	}
[4]	566	\| type_identifier untyped_primitive_object_block
[22]	567	{
	568	@@log.info("#{__FILE__}:#{__LINE__}: type_identifier = #{val[0]}, untyped_primitive_object_block = #{val[1]} at #{@filename}:#{@lineno}")
[23]	569	result = {:type_identifier => val[0], :untyped_primitive_object_block => val[1]}
[22]	570	}
[4]	571	untyped_primitive_object_block: SYM_START_DBLOCK primitive_object_value SYM_END_DBLOCK
[20]	572	{
[22]	573	@@log.info("#{__FILE__}:#{__LINE__}: primitive_object_block = <#{val[1]}> at #{@filename}:#{@lineno}")
	574	result = val[1]
[20]	575	}
[4]	576	primitive_object_value: simple_value
[22]	577	{
	578	result = val[0]
	579	}
[4]	580	\| simple_list_value
[22]	581	{
	582	result = val[0]
	583	}
[4]	584	\| simple_interval_value
[22]	585	{
	586	result = val[0]
	587	}
[4]	588	\| term_code
[22]	589	{
	590	result = val[0]
	591	}
[4]	592	\| term_code_list_value
[22]	593	{
	594	result = val[0]
	595	}
[4]	596	simple_value: string_value
[19]	597	{
	598	@@log.info("string_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	599	result = val[0]
[19]	600	}
[4]	601	\| integer_value
[19]	602	{
	603	@@log.info("integer_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	604	result = val[0]
[19]	605	}
[4]	606	\| real_value
[19]	607	{
	608	@@log.info("real_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	609	result = val[0]
[19]	610	}
[4]	611	\| boolean_value
[19]	612	{
	613	@@log.info("boolean_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	614	result = val[0]
[19]	615	}
[4]	616	\| character_value
[19]	617	{
	618	@@log.info("character_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	619	result = val[0]
[19]	620	}
[4]	621	\| date_value
[19]	622	{
	623	@@log.info("date_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	624	result = val[0]
[19]	625	}
[4]	626	\| time_value
[19]	627	{
	628	@@log.info("time_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	629	result = val[0]
[19]	630	}
[4]	631	\| date_time_value
[19]	632	{
	633	@@log.info("date_time_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	634	result = val[0]
[19]	635	}
[4]	636	\| duration_value
[19]	637	{
	638	@@log.info("duration_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	639	result = val[0]
[19]	640	}
[4]	641	\| uri_value
[19]	642	{
	643	@@log.info("uri_value: #{val[0]} at #{@filename}:#{@lineno}")
[22]	644	result = val[0]
[19]	645	}
[22]	646
[4]	647	simple_list_value: string_list_value
	648	\| integer_list_value
	649	\| real_list_value
	650	\| boolean_list_value
	651	\| character_list_value
	652	\| date_list_value
	653	\| time_list_value
	654	\| date_time_list_value
	655	\| duration_list_value
	656
	657	simple_interval_value: integer_interval_value
	658	\| real_interval_value
	659	\| date_interval_value
	660	\| time_interval_value
	661	\| date_time_interval_value
	662	\| duration_interval_value
	663
	664	type_identifier: V_TYPE_IDENTIFIER
[19]	665	{
	666	@@log.info("V_TYPE_IDENTIFIER: #{val[0]} at #{@filename}:#{@lineno}")
[22]	667	result = val[0]
[19]	668	}
[4]	669	\| V_GENERIC_TYPE_IDENTIFIER
[19]	670	{
	671	@@log.info("V_GENERIC_TYPE_IDENTIFIER: #{val[0]} at #{@filename}:#{@lineno}")
[22]	672	result = val[0]
[19]	673	}
[4]	674
	675	string_value: V_STRING
[18]	676	{
[19]	677	@@log.info("V_STRING: #{val[0]} at #{@filename}:#{@lineno}")
[22]	678	result = val[0]
[18]	679	}
[4]	680
	681	string_list_value: V_STRING Comma_code V_STRING
	682	\| string_list_value Comma_code V_STRING
	683	\| V_STRING Comma_code SYM_LIST_CONTINUE
	684
	685	integer_value: V_INTEGER
[22]	686	{
	687	begin
	688	integer = Integer(val[0])
	689	rescue
	690	raise
	691	end
	692	result = integer
	693	}
[18]	694	\| Plus_code V_INTEGER
[22]	695	{
	696	begin
	697	integer = Integer(val[0])
	698	rescue
	699	raise
	700	end
	701	result = integer
	702	}
[18]	703	\| Minus_code V_INTEGER
[22]	704	{
	705	begin
	706	integer = Integer(val[0])
	707	rescue
	708	raise
	709	end
	710	result = - integer
	711	}
[18]	712	### \| '+' V_INTEGER
	713	### \| '-' V_INTEGER
[4]	714
	715	integer_list_value: integer_value Comma_code integer_value
	716	\| integer_list_value Comma_code integer_value
	717	\| integer_value Comma_code SYM_LIST_CONTINUE
	718
	719	integer_interval_value: SYM_INTERVAL_DELIM integer_value SYM_ELLIPSIS integer_value SYM_INTERVAL_DELIM
	720	\| SYM_INTERVAL_DELIM SYM_GT integer_value SYM_ELLIPSIS integer_value SYM_INTERVAL_DELIM
	721	\| SYM_INTERVAL_DELIM integer_value SYM_ELLIPSIS SYM_LT integer_value SYM_INTERVAL_DELIM
	722	\| SYM_INTERVAL_DELIM SYM_GT integer_value SYM_ELLIPSIS SYM_LT integer_value SYM_INTERVAL_DELIM
	723	\| SYM_INTERVAL_DELIM SYM_LT integer_value SYM_INTERVAL_DELIM
	724	\| SYM_INTERVAL_DELIM SYM_LE integer_value SYM_INTERVAL_DELIM
	725	\| SYM_INTERVAL_DELIM SYM_GT integer_value SYM_INTERVAL_DELIM
	726	\| SYM_INTERVAL_DELIM SYM_GE integer_value SYM_INTERVAL_DELIM
	727	\| SYM_INTERVAL_DELIM integer_value SYM_INTERVAL_DELIM
	728
	729	real_value: V_REAL
[23]	730	{
	731	begin
	732	real = Float(val[0])
	733	rescue
	734	raise
	735	end
	736	result = real
	737	}
[18]	738	\| Plus_code V_REAL
[23]	739	{
	740	begin
[25]	741	real = Float(val[1])
[23]	742	rescue
	743	raise
	744	end
	745	result = real
	746	}
[18]	747	\| Minus_code V_REAL
[23]	748	{
	749	begin
[25]	750	real = Float(val[1])
[23]	751	rescue
	752	raise
	753	end
	754	result = - real
	755	}
[4]	756
	757	real_list_value: real_value Comma_code real_value
	758	\| real_list_value Comma_code real_value
	759	\| real_value Comma_code SYM_LIST_CONTINUE
	760
	761	real_interval_value: SYM_INTERVAL_DELIM real_value SYM_ELLIPSIS real_value SYM_INTERVAL_DELIM
	762	\| SYM_INTERVAL_DELIM SYM_GT real_value SYM_ELLIPSIS real_value SYM_INTERVAL_DELIM
	763	\| SYM_INTERVAL_DELIM real_value SYM_ELLIPSIS SYM_LT real_value SYM_INTERVAL_DELIM
	764	\| SYM_INTERVAL_DELIM SYM_GT real_value SYM_ELLIPSIS SYM_LT real_value SYM_INTERVAL_DELIM
	765	\| SYM_INTERVAL_DELIM SYM_LT real_value SYM_INTERVAL_DELIM
	766	\| SYM_INTERVAL_DELIM SYM_LE real_value SYM_INTERVAL_DELIM
	767	\| SYM_INTERVAL_DELIM SYM_GT real_value SYM_INTERVAL_DELIM
	768	\| SYM_INTERVAL_DELIM SYM_GE real_value SYM_INTERVAL_DELIM
	769	\| SYM_INTERVAL_DELIM real_value SYM_INTERVAL_DELIM
	770
	771
	772	boolean_value: SYM_TRUE
[23]	773	{
	774	result = true
	775	}
[4]	776	\| SYM_FALSE
[23]	777	{
	778	result = false
	779	}
[4]	780
	781	boolean_list_value: boolean_value Comma_code boolean_value
	782	\| boolean_list_value Comma_code boolean_value
	783	\| boolean_value Comma_code SYM_LIST_CONTINUE
	784
	785	character_value: V_CHARACTER
	786
	787	character_list_value: character_value Comma_code character_value
	788	\| character_list_value Comma_code character_value
	789	\| character_value Comma_code SYM_LIST_CONTINUE
	790
	791	date_value: V_ISO8601_EXTENDED_DATE
	792
	793	date_list_value: date_value Comma_code date_value
	794	\| date_list_value Comma_code date_value
	795	\| date_value Comma_code SYM_LIST_CONTINUE
	796
	797	date_interval_value: SYM_INTERVAL_DELIM date_value SYM_ELLIPSIS date_value SYM_INTERVAL_DELIM
	798	\| SYM_INTERVAL_DELIM SYM_GT date_value SYM_ELLIPSIS date_value SYM_INTERVAL_DELIM
	799	\| SYM_INTERVAL_DELIM date_value SYM_ELLIPSIS SYM_LT date_value SYM_INTERVAL_DELIM
	800	\| SYM_INTERVAL_DELIM SYM_GT date_value SYM_ELLIPSIS SYM_LT date_value SYM_INTERVAL_DELIM
	801	\| SYM_INTERVAL_DELIM SYM_LT date_value SYM_INTERVAL_DELIM
	802	\| SYM_INTERVAL_DELIM SYM_LE date_value SYM_INTERVAL_DELIM
	803	\| SYM_INTERVAL_DELIM SYM_GT date_value SYM_INTERVAL_DELIM
	804	\| SYM_INTERVAL_DELIM SYM_GE date_value SYM_INTERVAL_DELIM
	805	\| SYM_INTERVAL_DELIM date_value SYM_INTERVAL_DELIM
	806
	807	time_value: V_ISO8601_EXTENDED_TIME
	808
	809	time_list_value: time_value Comma_code time_value
	810	\| time_list_value Comma_code time_value
	811	\| time_value Comma_code SYM_LIST_CONTINUE
	812
	813	time_interval_value: SYM_INTERVAL_DELIM time_value SYM_ELLIPSIS time_value SYM_INTERVAL_DELIM
	814	\| SYM_INTERVAL_DELIM SYM_GT time_value SYM_ELLIPSIS time_value SYM_INTERVAL_DELIM
	815	\| SYM_INTERVAL_DELIM time_value SYM_ELLIPSIS SYM_LT time_value SYM_INTERVAL_DELIM
	816	\| SYM_INTERVAL_DELIM SYM_GT time_value SYM_ELLIPSIS SYM_LT time_value SYM_INTERVAL_DELIM
	817	\| SYM_INTERVAL_DELIM SYM_LT time_value SYM_INTERVAL_DELIM
	818	\| SYM_INTERVAL_DELIM SYM_LE time_value SYM_INTERVAL_DELIM
	819	\| SYM_INTERVAL_DELIM SYM_GT time_value SYM_INTERVAL_DELIM
	820	\| SYM_INTERVAL_DELIM SYM_GE time_value SYM_INTERVAL_DELIM
	821	\| SYM_INTERVAL_DELIM time_value SYM_INTERVAL_DELIM
	822
	823	date_time_value: V_ISO8601_EXTENDED_DATE_TIME
	824
	825	date_time_list_value: date_time_value Comma_code date_time_value
	826	\| date_time_list_value Comma_code date_time_value
	827	\| date_time_value Comma_code SYM_LIST_CONTINUE
	828
	829	date_time_interval_value: SYM_INTERVAL_DELIM date_time_value SYM_ELLIPSIS date_time_value SYM_INTERVAL_DELIM
	830	\| SYM_INTERVAL_DELIM SYM_GT date_time_value SYM_ELLIPSIS date_time_value SYM_INTERVAL_DELIM
	831	\| SYM_INTERVAL_DELIM date_time_value SYM_ELLIPSIS SYM_LT date_time_value SYM_INTERVAL_DELIM
	832	\| SYM_INTERVAL_DELIM SYM_GT date_time_value SYM_ELLIPSIS SYM_LT date_time_value SYM_INTERVAL_DELIM
	833	\| SYM_INTERVAL_DELIM SYM_LT date_time_value SYM_INTERVAL_DELIM
	834	\| SYM_INTERVAL_DELIM SYM_LE date_time_value SYM_INTERVAL_DELIM
	835	\| SYM_INTERVAL_DELIM SYM_GT date_time_value SYM_INTERVAL_DELIM
	836	\| SYM_INTERVAL_DELIM SYM_GE date_time_value SYM_INTERVAL_DELIM
	837	\| SYM_INTERVAL_DELIM date_time_value SYM_INTERVAL_DELIM
	838
	839	duration_value: V_ISO8601_DURATION
[19]	840	{
	841	@@log.info("V_ISO8601_DURATION: #{val[0]} at #{@filename}:#{@lineno}")
[22]	842	result = val[0]
[19]	843	}
[4]	844
	845	duration_list_value: duration_value Comma_code duration_value
	846	\| duration_list_value Comma_code duration_value
	847	\| duration_value Comma_code SYM_LIST_CONTINUE
	848
	849	duration_interval_value: SYM_INTERVAL_DELIM duration_value SYM_ELLIPSIS duration_value SYM_INTERVAL_DELIM
	850	\| SYM_INTERVAL_DELIM SYM_GT duration_value SYM_ELLIPSIS duration_value SYM_INTERVAL_DELIM
	851	\| SYM_INTERVAL_DELIM duration_value SYM_ELLIPSIS SYM_LT duration_value SYM_INTERVAL_DELIM
	852	\| SYM_INTERVAL_DELIM SYM_GT duration_value SYM_ELLIPSIS SYM_LT duration_value SYM_INTERVAL_DELIM
	853	\| SYM_INTERVAL_DELIM SYM_LT duration_value SYM_INTERVAL_DELIM
	854	\| SYM_INTERVAL_DELIM SYM_LE duration_value SYM_INTERVAL_DELIM
	855	\| SYM_INTERVAL_DELIM SYM_GT duration_value SYM_INTERVAL_DELIM
	856	\| SYM_INTERVAL_DELIM SYM_GE duration_value SYM_INTERVAL_DELIM
	857	\| SYM_INTERVAL_DELIM duration_value SYM_INTERVAL_DELIM
	858
	859	term_code: V_QUALIFIED_TERM_CODE_REF
[20]	860	{
	861	@@log.info("#{__FILE__}:#{__LINE__}: V_QUALIFIED_TERM_CODE_REF = #{val[0]} at #{@filename}:#{@lineno}")
[26]	862	result = val[0]
[20]	863	}
[4]	864
	865	term_code_list_value: term_code Comma_code term_code
	866	\| term_code_list_value Comma_code term_code
	867	\| term_code Comma_code SYM_LIST_CONTINUE
	868
	869	uri_value: V_URI
[20]	870	{
	871	@@log.info("#{__FILE__}:#{__LINE__}: V_URI = #{val[0]} at #{@filename}:#{@lineno}")
[26]	872	result = val[0]
[20]	873	}
[4]	874
	875
	876	#---------------------- ASSERTIONS ------------------------
	877
	878	assertions: assertion
	879	\| assertions assertion
	880
	881	assertion: any_identifier ':' boolean_expression
	882	\| boolean_expression
	883	\| any_identifier ':' error
	884
	885	#---------------------- expressions ---------------------
	886
	887	boolean_expression: boolean_leaf
	888	\| boolean_node
	889
	890	boolean_node: SYM_EXISTS absolute_path
	891	# \| absolute_path
	892	\| SYM_EXISTS error
	893	\| relative_path SYM_MATCHES SYM_START_CBLOCK c_primitive SYM_END_CBLOCK
	894	\| relative_path SYM_MATCHES START_REGEXP_BLOCK REGEXP_BODY END_REGEXP_BLOCK # added by akimichi
	895	\| SYM_NOT boolean_leaf
	896	\| arithmetic_expression '=' arithmetic_expression
	897	\| arithmetic_expression SYM_NE arithmetic_expression
	898	\| arithmetic_expression SYM_LT arithmetic_expression
	899	\| arithmetic_expression SYM_GT arithmetic_expression
	900	\| arithmetic_expression SYM_LE arithmetic_expression
	901	\| arithmetic_expression SYM_GE arithmetic_expression
	902	\| boolean_expression SYM_AND boolean_expression
	903	\| boolean_expression SYM_OR boolean_expression
	904	\| boolean_expression SYM_XOR boolean_expression
	905	\| boolean_expression SYM_IMPLIES boolean_expression
	906
	907	boolean_leaf: Left_parenthesis_code boolean_expression Right_parenthesis_code
	908	\| SYM_TRUE
	909	\| SYM_FALSE
	910
	911	arithmetic_expression: arithmetic_leaf
	912	\| arithmetic_node
	913
	914	arithmetic_node: arithmetic_expression '+' arithmetic_leaf
	915	\| arithmetic_expression '-' arithmetic_leaf
	916	\| arithmetic_expression Star_code arithmetic_leaf
	917	\| arithmetic_expression Slash_code arithmetic_leaf
	918	\| arithmetic_expression '^' arithmetic_leaf
	919
	920	arithmetic_leaf: Left_parenthesis_code arithmetic_expression Right_parenthesis_code
	921	\| integer_value
	922	\| real_value
	923	\| absolute_path
	924
	925
	926	#--------------- THE FOLLOWING SOURCE TAKEN FROM OG_PATH_VALIDATOR.Y -------------
	927	#--------------- except to remove movable_path ----------------------------------------------------
	928
	929
	930	absolute_path: Slash_code
	931	\| Slash_code relative_path
	932	# \| absolute_path Slash_code relative_path
	933
	934
	935
	936	relative_path: path_segment
	937	\| relative_path Slash_code path_segment
	938
	939	path_segment: V_ATTRIBUTE_IDENTIFIER V_LOCAL_TERM_CODE_REF
[19]	940	{
	941	@@log.info("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{val[0]} at #{@filename}")
	942	}
[4]	943	\| V_ATTRIBUTE_IDENTIFIER
[19]	944	{
	945	@@log.info("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{val[0]} at #{@filename}")
	946	}
[4]	947
	948
	949	#-------------------------------- END SOURCE TAKEN FROM OG_PATH_VALIDATOR.Y ----------------------
	950
	951
	952	#---------------- existence, occurrences, cardinality ----------------
	953
	954	c_existence: #-- default to 1..1
[22]	955	{
	956	result = Range.new(1,1)
	957	}
	958	\| SYM_EXISTENCE SYM_MATCHES SYM_START_CBLOCK existence_spec SYM_END_CBLOCK
	959	{
	960	result = val[3]
	961	}
[4]	962
	963	existence_spec: V_INTEGER #-- can only be 0 or 1
[22]	964	{
	965	begin
	966	integer = Integer(val[0])
	967	rescue
	968	raise
	969	end
	970	result = integer
	971	}
[4]	972	\| V_INTEGER SYM_ELLIPSIS V_INTEGER #-- can only be 0..0, 0..1, 1..1
[22]	973	{
	974	begin
	975	from_integer = Integer(val[0])
	976	to_integer = Integer(val[2])
	977	rescue
	978	raise
	979	end
	980	result = Range.new(from_integer,to_integer)
	981	}
[4]	982
	983	c_cardinality: SYM_CARDINALITY SYM_MATCHES SYM_START_CBLOCK cardinality_spec SYM_END_CBLOCK
[22]	984	{
	985	result = OpenEHR::AM::Archetype::Constraint_Model::CARDINALITY.new
	986	}
[4]	987
	988	cardinality_spec: occurrence_spec
	989	\| occurrence_spec Semicolon_code SYM_ORDERED
	990	\| occurrence_spec Semicolon_code SYM_UNORDERED
	991	\| occurrence_spec Semicolon_code SYM_UNIQUE
	992	\| occurrence_spec Semicolon_code SYM_ORDERED Semicolon_code SYM_UNIQUE
	993	\| occurrence_spec Semicolon_code SYM_UNORDERED Semicolon_code SYM_UNIQUE
	994	\| occurrence_spec Semicolon_code SYM_UNIQUE Semicolon_code SYM_ORDERED
	995	\| occurrence_spec Semicolon_code SYM_UNIQUE Semicolon_code SYM_UNORDERED
	996
	997	cardinality_limit_value: integer_value
[35]	998	{
	999	result = val[0]
	1000	}
	1001	\| Star_code # '*'
	1002	{
	1003	result = val[0]
	1004	}
[4]	1005
[35]	1006
[4]	1007	c_occurrences: #-- default to 1..1
	1008	\| SYM_OCCURRENCES SYM_MATCHES SYM_START_CBLOCK occurrence_spec SYM_END_CBLOCK
[23]	1009	{
	1010	result = val[3]
	1011	}
[4]	1012	\| SYM_OCCURRENCES error
	1013
	1014	occurrence_spec: cardinality_limit_value #-- single integer or '*'
	1015	\| V_INTEGER SYM_ELLIPSIS cardinality_limit_value
	1016
	1017	#---------------------- leaf constraint types -----------------------
	1018
	1019	c_integer_spec: integer_value
	1020	\| integer_list_value
	1021	\| integer_interval_value
	1022
	1023	c_integer: c_integer_spec
	1024	\| c_integer_spec Semicolon_code integer_value
	1025	\| c_integer_spec Semicolon_code error
	1026
	1027	c_real_spec: real_value
	1028	\| real_list_value
	1029	\| real_interval_value
	1030
	1031	c_real: c_real_spec
	1032	\| c_real_spec Semicolon_code real_value
	1033	\| c_real_spec Semicolon_code error
	1034
	1035	c_date_constraint: V_ISO8601_DATE_CONSTRAINT_PATTERN
	1036	\| date_value
	1037	\| date_interval_value
	1038
	1039	c_date: c_date_constraint
	1040	\| c_date_constraint Semicolon_code date_value
	1041	\| c_date_constraint Semicolon_code error
	1042
	1043	c_time_constraint: V_ISO8601_TIME_CONSTRAINT_PATTERN
	1044	\| time_value
	1045	\| time_interval_value
	1046
	1047	c_time: c_time_constraint
	1048	\| c_time_constraint Semicolon_code time_value
	1049	\| c_time_constraint Semicolon_code error
	1050
	1051	c_date_time_constraint: V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN
	1052	\| date_time_value
	1053	\| date_time_interval_value
	1054
	1055	c_date_time: c_date_time_constraint
	1056	\| c_date_time_constraint Semicolon_code date_time_value
	1057	\| c_date_time_constraint Semicolon_code error
	1058
	1059	c_duration_constraint: duration_pattern
	1060	\| duration_pattern Slash_code duration_interval_value
	1061	\| duration_value
	1062	\| duration_interval_value
	1063
	1064	c_duration: c_duration_constraint
	1065	\| c_duration_constraint Semicolon_code duration_value
	1066	\| c_duration_constraint Semicolon_code error
	1067
	1068	c_string_spec: V_STRING #-- single value, generates closed list
	1069	\| string_list_value #-- closed list
	1070	\| string_list_value Comma_code SYM_LIST_CONTINUE #-- open list
	1071	# \| string_list_value ',' SYM_LIST_CONTINUE #-- open list
	1072	# \| V_REGEXP #-- regular expression with "//" or "^^" delimiters
	1073
	1074	c_string: c_string_spec
	1075	\| c_string_spec Semicolon_code string_value
	1076	\| c_string_spec Semicolon_code error
	1077
	1078	c_boolean_spec: SYM_TRUE
[22]	1079	{
	1080	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => true)
	1081	}
[4]	1082	\| SYM_FALSE
[22]	1083	{
	1084	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => false)
	1085	}
[4]	1086	\| SYM_TRUE Comma_code SYM_FALSE
[22]	1087	{
	1088	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => true,:false_valid => false)
	1089	}
[4]	1090	\| SYM_FALSE Comma_code SYM_TRUE
[22]	1091	{
	1092	result = OpenEHR::AM::Archetype::Constraint_Model::Primitive::C_BOOLEAN.new(:true_valid => false,:false_valid => true)
	1093	}
[4]	1094
	1095	c_boolean: c_boolean_spec
[22]	1096	{
	1097	result = val[0]
	1098	}
[4]	1099	\| c_boolean_spec Semicolon_code boolean_value
[22]	1100	{
	1101	raise 'Not implemented yet'
	1102	}
[19]	1103	\| c_boolean_spec Semicolon_code error
[22]	1104	{
	1105	raise 'Not implemented yet'
	1106	}
[4]	1107
	1108	c_ordinal: c_ordinal_spec
	1109	\| c_ordinal_spec Semicolon_code integer_value
[19]	1110	\| c_ordinal_spec Semicolon_code error
[4]	1111
	1112	c_ordinal_spec: ordinal
	1113	\| c_ordinal_spec Comma_code ordinal
	1114
	1115	ordinal: integer_value SYM_INTERVAL_DELIM V_QUALIFIED_TERM_CODE_REF
[20]	1116	{
	1117	@in_interval = false
	1118	@@log.info("#{__FILE__}:#{__LINE__}, #{val[0]}\|#{val[2]} at #{@filename}")
	1119	}
[4]	1120
	1121	#c_code_phrase: V_TERM_CODE_CONSTRAINT #-- e.g. "[local::at0040, at0041; at0040]"
	1122	c_code_phrase: term_code_constraint_section #-- e.g. "[local::at0040, at0041; at0040]"
[32]	1123	{
	1124	result = val[0]
	1125	}
[4]	1126	\| V_QUALIFIED_TERM_CODE_REF
[32]	1127	{
	1128	result = val[0]
	1129	}
[4]	1130
	1131	#term_code_constraint_section: START_TERM_CODE_CONSTRAINT term_code_body Right_bracket_code
	1132	term_code_constraint_section: START_TERM_CODE_CONSTRAINT term_code_body END_TERM_CODE_CONSTRAINT
	1133	term_code_body: # empty
	1134	\| TERM_CODE
	1135	\| term_code_body TERM_CODE
	1136	### term_code_constraint_section: START_TERM_CODE_CONSTRAINT term_code_body END_TERM_CODE_CONSTRAINT
	1137	### term_code_body: TERM_CODE
	1138	### \| term_code_body TERM_CODE
	1139
	1140	# A Constraint_Ref is a proxy for a set of constraints on an object.
	1141	constraint_ref: V_LOCAL_TERM_CODE_REF #-- e.g. "ac0003"
[32]	1142	{
	1143	result = val[0]
	1144	}
[4]	1145
	1146	any_identifier: type_identifier
[32]	1147	{
	1148	result = val[0]
	1149	}
[4]	1150	\| V_ATTRIBUTE_IDENTIFIER
[19]	1151	{
	1152	@@log.info("#{__FILE__}:#{__LINE__}, V_ATTRIBUTE_IDENTIFIER = #{word} at #{@filename}")
[32]	1153	result = val[0]
[19]	1154	}
[4]	1155
	1156
	1157	#----------------- TAKEN FROM DADL_VALIDATOR.Y -------------------
	1158	#----------------- DO NOT MODIFY -------------------
	1159	#---------------------- BASIC DATA VALUES -----------------------
	1160
	1161	duration_pattern: V_ISO8601_DURATION_CONSTRAINT_PATTERN
[26]	1162	{
	1163	result = val[0]
	1164	}
[4]	1165
	1166
	1167
	1168	---- header
	1169
	1170	$:.unshift File.join(File.dirname(__FILE__))
[17]	1171	require 'logger'
[4]	1172	require 'lib/util.rb'
[17]	1173	require 'lib/scanner.rb'
[21]	1174	require 'rubygems'
	1175	require 'am.rb'
[4]	1176	$DEBUG = true
	1177
	1178
[17]	1179
[4]	1180	---- inner
[17]	1181
[22]	1182	def assert_at(file,line, message = "")
	1183	unless yield
	1184	raise "Assertion failed !: #{file}, #{line}: #{message}"
	1185	end
	1186	end
	1187
[18]	1188	@@log = Logger.new('log/parser.log','daily')
[17]	1189	@@dadl_scanner = OpenEHR::ADL::Scanner::DADL::RootScanner.new
[19]	1190	@@cadl_scanner = OpenEHR::ADL::Scanner::CADL::RootScanner.new
[17]	1191
[4]	1192	###----------/* keywords */ ---------------------------------------------
	1193	@@adl_reserved = {
	1194	'archetype' => :SYM_ARCHETYPE,
	1195	'adl_version' => :SYM_ADL_VERSION,
	1196	'controlled' => :SYM_IS_CONTROLLED,
	1197	'specialize' => :SYM_SPECIALIZE,
	1198	'concept' => :SYM_CONCEPT,
	1199	'language' => :SYM_LANGUAGE,
	1200	'description' => :SYM_DESCRIPTION,
	1201	'definition' => :SYM_DEFINITION,
	1202	'invariant' => :SYM_INVARIANT,
	1203	'ontology' => :SYM_ONTOLOGY,
	1204	'matches' => :SYM_MATCHES,
	1205	'is_in' => :SYM_MATCHES,
	1206	'occurrences' => :SYM_OCCURRENCES,
	1207	'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
	1208	'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
	1209	'infinity' => :SYM_INFINITY # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
	1210	}
	1211
	1212	@@dadl_reserved = {
	1213	'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
	1214	'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
	1215	'infinity' => :SYM_INFINITY # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
	1216	}
	1217
	1218	@@cadl_reserved = {
	1219	'then' => :SYM_THEN, # [Tt][Hh][Ee][Nn]
	1220	'else' => :SYM_ELSE, # [Ee][Ll][Ss][Ee]
	1221	'and' => :SYM_AND, # [Aa][Nn][Dd]
	1222	'or' => :SYM_OR, # [Oo][Rr]
	1223	'xor' => :SYM_XOR, # [Xx][Oo][Rr]
	1224	'not' => :SYM_NOT, # [Nn][Oo][Tt]
	1225	'implies' => :SYM_IMPLIES, # [Ii][Mm][Pp][Ll][Ii][Ee][Ss]
	1226	'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
	1227	'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
	1228	'forall' => :SYM_FORALL, # [Ff][Oo][Rr][_][Aa][Ll][Ll]
	1229	'exists' => :SYM_EXISTS, # [Ee][Xx][Ii][Ss][Tt][Ss]
	1230	'existence' => :SYM_EXISTENCE, # [Ee][Xx][Iu][Ss][Tt][Ee][Nn][Cc][Ee]
	1231	'occurrences' => :SYM_OCCURRENCES, # [Oo][Cc][Cc][Uu][Rr][Rr][Ee][Nn][Cc][Ee][Ss]
	1232	'cardinality' => :SYM_CARDINALITY, # [Cc][Aa][Rr][Dd][Ii][Nn][Aa][Ll][Ii][Tt][Yy]
	1233	'ordered' => :SYM_ORDERED, # [Oo][Rr][Dd][Ee][Rr][Ee][Dd]
	1234	'unordered' => :SYM_UNORDERED, # [Uu][Nn][Oo][Rr][Dd][Ee][Rr][Ee][Dd]
	1235	'unique' => :SYM_UNIQUE, # [Uu][Nn][Ii][Qq][Uu][Ee]
	1236	'matches' => :SYM_MATCHES, # [Mm][Aa][Tt][Cc][Hh][Ee][Ss]
	1237	'is_in' => :SYM_MATCHES, # [Ii][Ss][_][Ii][Nn]
	1238	'invariant' => :SYM_INVARIANT, # [Ii][Nn][Vv][Aa][Rr][Ii][Aa][Nn][Tt]
	1239	'infinity' => :SYM_INFINITY, # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
	1240	'use_node' => :SYM_USE_NODE, # [Uu][Ss][Ee][_][Nn][Oo][Dd][Ee]
	1241	'use_archetype' => :SYM_ALLOW_ARCHETYPE, # [Uu][Ss][Ee][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
	1242	'allow_archetype' => :SYM_ALLOW_ARCHETYPE, # [Aa][Ll][Ll][Oo][Ww][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
	1243	'include' => :SYM_INCLUDE, # [Ii][Nn][Cc][Ll][Uu][Dd][Ee]
	1244	'exclude' => :SYM_EXCLUDE # [Ee][Xx][Cc][Ll][Uu][Dd][Ee]
	1245	}
	1246
	1247
	1248	###----------/* Scanner */ -----------------------------------------------
	1249
	1250	def scan
	1251	until @data.nil? do
	1252	case @adl_type.last
	1253	when :adl
	1254	@data = scan_adl(@data) do \|sym, val\|
	1255	yield sym, val
	1256	end
	1257	when :dadl
	1258	@data = scan_dadl(@data) do \|sym, val\|
	1259	yield sym, val
	1260	end
	1261	when :cadl
	1262	@data = scan_cadl(@data) do \|sym, val\|
	1263	yield sym, val
	1264	end
	1265	when :regexp
	1266	@data = scan_regexp(@data) do \|sym, val\|
	1267	yield sym, val
	1268	end
	1269	else
	1270	raise
	1271	end
	1272	@data = $' # variable $' receives the string after the match
	1273	end
	1274	yield :EOF, nil
	1275	yield false, '$'
	1276	end # of scan
	1277
	1278	def scan_adl(data)
	1279	until data.nil? do
	1280	case @adl_type.last
	1281	when :adl
	1282	# puts "Entering scan_adl"
	1283	case data
	1284	when /\A\n/ # carriage return
	1285	@lineno += 1
	1286	;
	1287	when /\A[ \t\r\f]+/ #just drop it
	1288	;
	1289	when /\A--.*\n/ # single line comment
	1290	@lineno += 1
[19]	1291	@@log.info("#{__FILE__}:#{__LINE__}: scan_adl: COMMENT = #{$&} at #{@filename}:#{@lineno}")
[4]	1292	;
	1293	when /\Adescription/ # description
	1294	yield :SYM_DESCRIPTION, :SYM_DESCRIPTION
	1295	when /\Adefinition/ # definition
	1296	yield :SYM_DEFINITION, :SYM_DEFINITION
	1297	# @adl_type.push(:cadl)
	1298	###----------/* symbols */ -------------------------------------------------
	1299	when /\A[A-Z][a-zA-Z0-9_]*/
	1300	yield :V_TYPE_IDENTIFIER, $&
	1301	when /\A[a-zA-Z][a-zA-Z0-9_-]+\.[a-zA-Z][a-zA-Z0-9_-]+\.[a-zA-Z0-9]+/ #V_ARCHETYPE_ID
	1302	yield :V_ARCHETYPE_ID, $&
	1303	when /\A[a-z][a-zA-Z0-9_]*/
	1304	# word = $&.downcase
	1305	word = $&
	1306	if @@adl_reserved[word]
[19]	1307	@@log.info("#{__FILE__}:#{__LINE__}: scan_adl: @@adl_reserved = #{@@adl_reserved[word]} at #{@filename}:#{@lineno}")
[4]	1308	yield @@adl_reserved[word], @@adl_reserved[word]
	1309	elsif #/\A[A-Z][a-zA-Z0-9_]*/
[19]	1310	@@log.info("#{__FILE__}:#{__LINE__}: scan_adl: V_ATTRIBUTE_IDENTIFIER = #{$&} at #{@filename}:#{@lineno}")
[4]	1311	yield :V_ATTRIBUTE_IDENTIFIER, $&
	1312	end
	1313	when /\A\=/ # =
	1314	yield :SYM_EQ, :SYM_EQ
	1315	when /\A\>=/ # >=
	1316	yield :SYM_GE, :SYM_GE
	1317	when /\A\<=/ # <=
	1318	yield :SYM_LE, :SYM_LE
	1319	when /\A\</ # <
	1320	if @in_interval
	1321	# @start_block_received = false
	1322	yield :SYM_LT, :SYM_LT
	1323	else
	1324	# @start_block_received = true
	1325	@adl_type.push(:dadl)
[16]	1326	yield :SYM_START_DBLOCK, $&
[4]	1327	end
	1328	when /\A\>/ # >
	1329	if @in_interval
	1330	yield :SYM_GT, :SYM_GT
	1331	else
	1332	adl_type = @adl_type.pop
	1333	# puts "Escaping #{adl_type}"
	1334	assert_at(__FILE__,__LINE__){adl_type == :dadl}
	1335	yield :SYM_END_DBLOCK, :SYM_END_DBLOCK
	1336	end
	1337	when /\A\{/ # {
	1338	@adl_type.push(:cadl)
[19]	1339	@@log.info("#{__FILE__}:#{__LINE__}: scan_cadl: entering cADL at #{@filename}:#{@lineno}")
[4]	1340	yield :SYM_START_CBLOCK, :SYM_START_CBLOCK
	1341	when /\A\}/ # }
	1342	adl_type = @adl_type.pop
	1343	# puts "Escaping #{adl_type}"
	1344	assert_at(__FILE__,__LINE__){adl_type == :cadl}
[19]	1345	@@log.info("#{__FILE__}:#{__LINE__}: scan_cadl: exiting cADL at #{@filename}:#{@lineno}")
[16]	1346	yield :SYM_END_CBLOCK, $&
[4]	1347	when /\A\-/ # -
	1348	yield :Minus_code, :Minus_code
	1349	when /\A\+/ # +
	1350	yield :Plus_code, :Plus_code
	1351	when /\A\/ #
	1352	yield :Star_code, :Star_code
	1353	when /\A\// # /
	1354	yield :Slash_code, :Slash_code
	1355	when /\A\^/ # ^
	1356	yield :Caret_code, :Caret_code
	1357	when /\A\=/ # =
	1358	yield :Equal_code, :Equal_code
	1359	when /\A\.\.\./ # ...
	1360	yield :SYM_LIST_CONTINUE, :SYM_LIST_CONTINUE
	1361	when /\A\.\./ # ..
	1362	yield :SYM_ELLIPSIS, :SYM_ELLIPSIS
	1363	when /\A\./ # .
	1364	yield :Dot_code, :Dot_code
	1365	when /\A\;/ # ;
	1366	yield :Semicolon_code, :Semicolon_code
	1367	when /\A\,/ # ,
	1368	yield :Comma_code, :Comma_code
	1369	when /\A\:/ # :
	1370	yield :Colon_code, :Colon_code
	1371	when /\A\!/ # !
	1372	yield :Exclamation_code, :Exclamation_code
	1373	when /\A\(/ # (
	1374	yield :Left_parenthesis_code, :Left_parenthesis_code
	1375	when /\A\)/ # )
	1376	yield :Right_parenthesis_code, :Right_parenthesis_code
	1377	when /\A\$/ # $
	1378	yield :Dollar_code, :Dollar_code
	1379	when /\A\?\?/ # ??
	1380	yield :SYM_DT_UNKNOWN, :SYM_DT_UNKNOWN
	1381	when /\A\?/ # ?
	1382	yield :Question_mark_code, :Question_mark_code
	1383	when /\A[0-9]+\.[0-9]+(\.[0-9]+)*/ # ?
	1384	yield :V_VERSION_STRING, :V_VERSION_STRING
	1385	when /\A\\|/ # \|
	1386	if @in_interval
	1387	@in_interval = false
	1388	else
	1389	@in_interval = true
	1390	end
	1391	yield :SYM_INTERVAL_DELIM, :SYM_INTERVAL_DELIM
	1392	when /\A\[[a-zA-Z0-9()\._-]+::[a-zA-Z0-9\._-]+\]/
	1393	# when /\A\[[a-zA-Z0-9()\._-]+\:\:[a-zA-Z0-9\._-]+\]/ #V_QUALIFIED_TERM_CODE_REF form [ICD10AM(1998)::F23]
	1394	yield :V_QUALIFIED_TERM_CODE_REF, $&
	1395	when /\A\[[a-zA-Z0-9][a-zA-Z0-9._\-]*\]/ #V_LOCAL_TERM_CODE_REF
	1396	yield :V_LOCAL_TERM_CODE_REF, $&
	1397	when /\A\[/ # [
	1398	yield :Left_bracket_code, :Left_bracket_code
	1399	when /\A\]/ # ]
	1400	yield :Right_bracket_code, :Right_bracket_code
	1401
	1402	when /\A\[[a-zA-Z0-9._\- ]+::[a-zA-Z0-9._\- ]+\]/ #ERR_V_QUALIFIED_TERM_CODE_REF
	1403	yield :ERR_V_QUALIFIED_TERM_CODE_REF, $&
	1404	when /\Aa[ct][0-9.]+/ #V_LOCAL_CODE
	1405	yield :V_LOCAL_CODE, $&
	1406	when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z\|[+-][0-9]{4})?\|[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9](Z\|[+-][0-9]{4})?\|[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9](Z\|[+-][0-9]{4})?/ #V_ISO8601_EXTENDED_DATE_TIME YYYY-MM-DDThh:mm:ss[,sss][Z\|+/- -n-n-n-n-]-
	1407	yield :V_ISO8601_EXTENDED_DATE_TIME, $&
	1408	when /\A[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z\|[+-][0-9]{4})?\|[0-2][0-9]:[0-6][0-9](Z\|[+-][0-9]{4})? / #V_ISO8601_EXTENDED_TIME hh:mm:ss[,sss][Z\|+/-nnnn]
	1409	yield :V_ISO8601_EXTENDED_TIME, $&
	1410	when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]\|[0-9]{4}-[0-1][0-9]/ #V_ISO8601_EXTENDED_DATE YYYY-MM-DD
	1411	yield :V_ISO8601_EXTENDED_DATE, $&
	1412	when /\A[A-Z][a-zA-Z0-9_]*<[a-zA-Z0-9,_<>]+>/ #V_GENERIC_TYPE_IDENTIFIER
	1413	yield :V_GENERIC_TYPE_IDENTIFIER, $&
	1414	when /\A[0-9]+\|[0-9]+[eE][+-]?[0-9]+/ #V_INTEGER
	1415	yield :V_INTEGER, $&
	1416	when /\A[0-9]+\.[0-9]+\|[0-9]+\.[0-9]+[eE][+-]?[0-9]+ / #V_REAL
	1417	yield :V_REAL, $&
	1418	# when /\A"((?:[^"\\]+\|\\.)*)"/ #V_STRING
	1419	when /\A"([^"]*)"/m #V_STRING
	1420	yield :V_STRING, $1
	1421	when /\A[a-z]+:\/\/[^<>\|\\{}^~"\[\] ]*/ #V_URI
	1422	yield :V_URI, $&
	1423	when /\AP([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?T([0-9]+[hH])?([0-9]+[mM])?([0-9]+[sS])?\|P([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?/ #V_ISO8601_DURATION PnYnMnWnDTnnHnnMnnS
	1424	yield :V_ISO8601_DURATION, $&
	1425	when /\A\S/ #UTF8CHAR
	1426	yield :UTF8CHAR, $&
	1427	end
	1428	data = $' # variable $' receives the string after the match
	1429	when :dadl
	1430	# puts "Entering scan_dadl"
	1431	data = scan_dadl(data) do \|sym, val\|
	1432	yield sym, val
	1433	end
	1434	when :cadl
	1435	# puts "Entering scan_cadl"
	1436	data = scan_cadl(data) do \|sym, val\|
	1437	yield sym, val
	1438	end
	1439	when :regexp
	1440	# puts "Entering scan_regexp"
	1441	data = scan_regexp(data) do \|sym, val\|
	1442	yield sym, val
	1443	end
	1444	when :term_constraint
	1445	# puts "Entering scan_term_constraint"
	1446	data = scan_term_constraint(data) do \|sym, val\|
	1447	yield sym, val
	1448	end
	1449	else
	1450	raise
	1451	end
	1452	end
	1453	end # scan_adl
	1454
	1455
	1456	def scan_cadl(data)
	1457	until data.nil? do
	1458	case @adl_type.last
	1459	when :cadl
	1460	# puts "Entering scan_cadl"
[19]	1461	case scanned = @@cadl_scanner.parse(data)
	1462	when Yaparc::Result::OK
	1463	if scanned.value[0] == :START_V_C_DOMAIN_TYPE_BLOCK
	1464	@in_c_domain_type = true
	1465	@adl_type.push(:dadl)
	1466	yield scanned.value
	1467	else
	1468	yield scanned.value
	1469	end
	1470	data = scanned.input
	1471	end
	1472
[4]	1473	case data
	1474	when /\A\n/ # carriage return
	1475	@lineno += 1
	1476	;
	1477	when /\A[ \t\r\f]+/ #just drop it
	1478	;
	1479	when /\A--.*\n/ # single line comment
	1480	@lineno += 1
[19]	1481	@@log.info("#{__FILE__}:#{__LINE__}: scan_cadl: COMMENT = #{$&} at #{@filename}:#{@lineno}")
[4]	1482	;
	1483	###----------/* symbols */ -------------------------------------------------
	1484	when /\A\=/ # =
	1485	yield :SYM_EQ, :SYM_EQ
	1486	when /\A\>=/ # >=
	1487	yield :SYM_GE, :SYM_GE
	1488	when /\A\<=/ # <=
	1489	yield :SYM_LE, :SYM_LE
[19]	1490	### when /\A[A-Z][a-zA-Z0-9_][ \n]\</ # V_C_DOMAIN_TYPE
	1491	### @in_c_domain_type = true
	1492	### @adl_type.push(:dadl)
	1493	### yield :START_V_C_DOMAIN_TYPE_BLOCK, $&
[4]	1494	when /\A\</ # <
	1495	if @in_interval
	1496	yield :SYM_LT, :SYM_LT
	1497	else
	1498	@adl_type.push(:dadl)
[16]	1499	yield :SYM_START_DBLOCK, $&
[4]	1500	end
	1501	when /\A\>/ # >
	1502	if @in_interval
	1503	yield :SYM_GT, :SYM_GT
	1504	else
	1505	adl_type = @adl_type.pop
	1506	# puts "Escaping #{adl_type}"
	1507	assert_at(__FILE__,__LINE__){adl_type == :dadl}
	1508	yield :SYM_END_DBLOCK, :SYM_END_DBLOCK
	1509	end
	1510	when /\A\-/ # -
	1511	yield :Minus_code, :Minus_code
	1512	when /\A\+/ # +
	1513	yield :Plus_code, :Plus_code
	1514	when /\A\/ #
	1515	yield :Star_code, :Star_code
	1516	when /\A\// # /
	1517	yield :Slash_code, :Slash_code
	1518	when /\A\^/ # ^
	1519	yield :Caret_code, :Caret_code
	1520	when /\A\.\.\./ # ...
	1521	yield :SYM_LIST_CONTINUE, :SYM_LIST_CONTINUE
	1522	when /\A\.\./ # ..
	1523	yield :SYM_ELLIPSIS, :SYM_ELLIPSIS
	1524	when /\A\./ # .
	1525	yield :Dot_code, :Dot_code
	1526	when /\A\;/ # ;
	1527	yield :Semicolon_code, :Semicolon_code
	1528	when /\A\,/ # ,
	1529	yield :Comma_code, :Comma_code
	1530	when /\A\:/ # :
	1531	yield :Colon_code, :Colon_code
	1532	when /\A\!/ # !
	1533	yield :Exclamation_code, :Exclamation_code
	1534	when /\A\(/ # (
	1535	yield :Left_parenthesis_code, :Left_parenthesis_code
	1536	when /\A\)/ # )
	1537	yield :Right_parenthesis_code, :Right_parenthesis_code
	1538	when /\A\{\// #V_REGEXP
	1539	if @adl_type.last != :regexp
	1540	@in_regexp = true
	1541	@adl_type.push(:regexp)
	1542	yield :START_REGEXP_BLOCK, :START_REGEXP_BLOCK
	1543	else
	1544	raise
	1545	end
	1546	# yield :V_REGEXP, :V_REGEXP
	1547	when /\A\{/ # {
	1548	@adl_type.push(:cadl)
[19]	1549	@@log.info("#{__FILE__}:#{__LINE__}: scan_cadl: entering cADL at #{@filename}:#{@lineno}")
[4]	1550	yield :SYM_START_CBLOCK, :SYM_START_CBLOCK
	1551	when /\A\}/ # }
	1552	adl_type = @adl_type.pop
	1553	# puts "Escaping #{adl_type}"
	1554	assert_at(__FILE__,__LINE__){adl_type == :cadl}
[19]	1555	@@log.info("#{__FILE__}:#{__LINE__}: scan_cadl: exiting cADL at #{@filename}:#{@lineno}")
[4]	1556	yield :SYM_END_CBLOCK, :SYM_END_CBLOCK
	1557	when /\A\$/ # $
	1558	yield :Dollar_code, :Dollar_code
	1559	when /\A\?\?/ # ??
	1560	yield :SYM_DT_UNKNOWN, :SYM_DT_UNKNOWN
	1561	when /\A\?/ # ?
	1562	yield :Question_mark_code, :Question_mark_code
	1563	when /\A\\|/ # \|
[20]	1564	@@log.info("#{__FILE__}:#{__LINE__}: scan_cadl: @in_interval = #{@in_interval} at #{@filename}:#{@lineno}")
[4]	1565	if @in_interval
	1566	@in_interval = false
	1567	else
[20]	1568	# @in_interval = false
	1569	@in_interval = true
[4]	1570	end
[20]	1571	@@log.info("#{__FILE__}:#{__LINE__}: scan_cadl: SYM_INTERVAL_DELIM at #{@filename}:#{@lineno}")
[4]	1572	yield :SYM_INTERVAL_DELIM, :SYM_INTERVAL_DELIM
[19]	1573
[4]	1574	when /\A\[[a-zA-Z0-9._\-]+::[a-zA-Z0-9._\-]+\]/ #V_QUALIFIED_TERM_CODE_REF form [ICD10AM(1998)::F23]
	1575	yield :V_QUALIFIED_TERM_CODE_REF, $&
	1576	when /\A\[[a-zA-Z0-9._\- ]+::[a-zA-Z0-9._\- ]+\]/ #ERR_V_QUALIFIED_TERM_CODE_REF
	1577	yield :ERR_V_QUALIFIED_TERM_CODE_REF, $&
[19]	1578	when /\A\[([a-zA-Z0-9()._\-]+::[a-zA-Z0-9._\_-]+)\]/
	1579	yield :V_TERM_CODE_CONSTRAINT, :V_TERM_CODE_CONSTRAINT
[4]	1580	when /\A\[[a-zA-Z0-9\._\-]+::[ \t\n]*/
	1581	@adl_type.push(:term_constraint)
	1582	yield :START_TERM_CODE_CONSTRAINT, $&
	1583	when /\A\[[a-zA-Z0-9][a-zA-Z0-9._\-]*\]/ #V_LOCAL_TERM_CODE_REF
	1584	yield :V_LOCAL_TERM_CODE_REF, $&
	1585	when /\A\[/ # [
	1586	yield :Left_bracket_code, :Left_bracket_code
	1587	when /\A\]/ # ]
	1588	yield :Right_bracket_code, :Right_bracket_code
	1589	when /\A[A-Z][a-zA-Z0-9_]*<[a-zA-Z0-9,_<>]+>/ #V_GENERIC_TYPE_IDENTIFIER
	1590	yield :V_GENERIC_TYPE_IDENTIFIER, $&
	1591	when /\A[yY][yY][yY][yY]-[mM?X][mM?X]-[dD?X][dD?X][T\t][hH?X][hH?X]:[mM?X][mM?X]:[sS?X][sS?X]/
	1592	yield :V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN, $&
	1593	when /\A[yY][yY][yY][yY]-[mM?X][mM?X]-[dD?X][dD?X]/
	1594	yield :V_ISO8601_DATE_CONSTRAINT_PATTERN, $&
	1595	when /\A[hH][hH]:[mM?X][mM?X]:[sS?X][sS?X]/
	1596	yield :V_ISO8601_TIME_CONSTRAINT_PATTERN, $&
	1597	when /\A[a-z][a-zA-Z0-9_]*/
	1598	word = $&.dup
	1599	if @@cadl_reserved[word.downcase]
	1600	yield @@cadl_reserved[word.downcase], @@cadl_reserved[word.downcase]
	1601	else
[19]	1602	@@log.info("#{__FILE__}:#{__LINE__}: scan_cadl: V_ATTRIBUTE_IDENTIFIER = #{word} at #{@filename}:#{@lineno}")
[4]	1603	yield :V_ATTRIBUTE_IDENTIFIER, word #V_ATTRIBUTE_IDENTIFIER /\A[a-z][a-zA-Z0-9_]*/
	1604	end
	1605	when /\A[A-Z][a-zA-Z0-9_]*/
	1606	word = $&.dup
	1607	if @@cadl_reserved[word.downcase]
	1608	yield @@cadl_reserved[word.downcase], @@cadl_reserved[word.downcase]
	1609	else
	1610	yield :V_TYPE_IDENTIFIER, $&
	1611	end
	1612	when /\Aa[ct][0-9.]+/ #V_LOCAL_CODE
	1613	yield :V_LOCAL_CODE, $&
	1614	when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z\|[+-][0-9]{4})?\|[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9](Z\|[+-][0-9]{4})?\|[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9](Z\|[+-][0-9]{4})?/ #V_ISO8601_EXTENDED_DATE_TIME YYYY-MM-DDThh:mm:ss[,sss][Z\|+/- -n-n-n-n-]-
	1615	yield :V_ISO8601_EXTENDED_DATE_TIME, $&
	1616	when /\A[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z\|[+-][0-9]{4})?\|[0-2][0-9]:[0-6][0-9](Z\|[+-][0-9]{4})? / #V_ISO8601_EXTENDED_TIME hh:mm:ss[,sss][Z\|+/-nnnn]
	1617	yield :V_ISO8601_EXTENDED_TIME, $&
	1618	when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]\|[0-9]{4}-[0-1][0-9]/ #V_ISO8601_EXTENDED_DATE YYYY-MM-DD
	1619	yield :V_ISO8601_EXTENDED_DATE, $&
	1620	when /\A[0-9]+\|[0-9]+[eE][+-]?[0-9]+/ #V_INTEGER
	1621	yield :V_INTEGER, $&
	1622	when /\A[0-9]+\.[0-9]+\|[0-9]+\.[0-9]+[eE][+-]?[0-9]+ / #V_REAL
	1623	yield :V_REAL, $&
[19]	1624	when /\A"((?:[^"\\]+\|\\.)*)"/ #V_STRING
[4]	1625	when /\A"([^"]*)"/m #V_STRING
	1626	yield :V_STRING, $1
	1627	when /\A[a-z]+:\/\/[^<>\|\\{}^~"\[\] ]*/ #V_URI
	1628	yield :V_URI, $&
[19]	1629	### when /\AP([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?T([0-9]+[hH])?([0-9]+[mM])?([0-9]+[sS])?\|P([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?/ #V_ISO8601_DURATION PnYnMnWnDTnnHnnMnnS
	1630	### yield :V_ISO8601_DURATION, $&
[4]	1631	when /\A\S/ #UTF8CHAR
	1632	yield :UTF8CHAR, $&
	1633	else
	1634	raise
	1635	end
	1636	data = $' # variable $' receives the string after the match
	1637	when :adl
	1638	# puts "Entering scan_adl"
	1639	data = scan_adl(data) do \|sym, val\|
	1640	yield sym, val
	1641	end
	1642	when :dadl
	1643	# puts "Entering scan_dadl"
	1644	data = scan_dadl(data) do \|sym, val\|
	1645	yield sym, val
	1646	end
	1647	when :regexp
	1648	# puts "Entering scan_regexp"
	1649	data = scan_regexp(data) do \|sym, val\|
	1650	yield sym, val
	1651	end
	1652	when :term_constraint
	1653	# puts "Entering scan_term_constraint"
	1654	data = scan_term_constraint(data) do \|sym, val\|
	1655	yield sym, val
	1656	end
	1657	else
	1658	raise
	1659	end
	1660	end # of until
	1661	end # of scan_cadl
	1662
	1663	def scan_dadl(data)
	1664	until data.nil? do
	1665	case @adl_type.last
	1666	when :dadl
	1667	# puts "Entering scan_dadl"
[17]	1668	case scanned = @@dadl_scanner.parse(data)
	1669	when Yaparc::Result::OK
	1670	yield scanned.value
	1671	data = scanned.input
	1672	else
	1673	end
	1674
[4]	1675	case data
	1676	when /\A\n/ # carriage return
	1677	@lineno += 1
	1678	;
	1679	when /\A[ \t\r\f]+/ #just drop it
	1680	;
	1681	when /\A--.*\n/ # single line comment
	1682	@lineno += 1
[19]	1683	@@log.info("#{__FILE__}:#{__LINE__}: scan_dadl: COMMENT = #{$&} at #{@filename}:#{@lineno}")
[4]	1684	;
	1685	###----------/* symbols */ -------------------------------------------------
	1686	when /\A\=/ # =
	1687	yield :SYM_EQ, :SYM_EQ
	1688	when /\A\>\=/ # >=
	1689	yield :SYM_GE, :SYM_GE
	1690	when /\A\<\=/ # <=
	1691	yield :SYM_LE, :SYM_LE
	1692	when /\A\</ # <
	1693	if @in_interval
	1694	yield :SYM_LT, :SYM_LT
	1695	else
	1696	@adl_type.push(:dadl)
	1697	yield :SYM_START_DBLOCK, :SYM_START_DBLOCK
	1698	end
	1699	when /\A\>/ # >
	1700	if @in_interval
[20]	1701	# @in_interval = false
[4]	1702	yield :SYM_GT, :SYM_GT
[16]	1703	elsif @in_c_domain_type == true
	1704	assert_at(__FILE__,__LINE__){@adl_type.last == :dadl}
[14]	1705	adl_type = @adl_type.pop
[16]	1706	if @adl_type.last == :cadl
	1707	@in_c_domain_type = false
	1708	yield :END_V_C_DOMAIN_TYPE_BLOCK, $&
	1709	else
	1710	yield :SYM_END_DBLOCK, $&
	1711	end
	1712	elsif @in_c_domain_type == false
[4]	1713	adl_type = @adl_type.pop
	1714	# puts "Escaping #{adl_type}"
	1715	assert_at(__FILE__,__LINE__){adl_type == :dadl}
[16]	1716	yield :SYM_END_DBLOCK, $&
	1717	else
	1718	raise
[4]	1719	end
	1720	when /\A\-/ # -
	1721	yield :Minus_code, :Minus_code
	1722	when /\A\+/ # +
	1723	yield :Plus_code, :Plus_code
	1724	when /\A\/ #
	1725	yield :Star_code, :Star_code
	1726	when /\A\// # /
	1727	yield :Slash_code, :Slash_code
	1728	when /\A\^/ # ^
	1729	yield :Caret_code, :Caret_code
	1730	when /\A\.\.\./ # ...
	1731	yield :SYM_LIST_CONTINUE, :SYM_LIST_CONTINUE
	1732	when /\A\.\./ # ..
	1733	yield :SYM_ELLIPSIS, :SYM_ELLIPSIS
	1734	when /\A\./ # .
	1735	yield :Dot_code, :Dot_code
	1736	when /\A\;/ # ;
	1737	yield :Semicolon_code, :Semicolon_code
	1738	when /\A\,/ # ,
	1739	yield :Comma_code, :Comma_code
	1740	when /\A\:/ # :
	1741	yield :Colon_code, :Colon_code
	1742	when /\A\!/ # !
	1743	yield :Exclamation_code, :Exclamation_code
	1744	when /\A\(/ # (
	1745	yield :Left_parenthesis_code, :Left_parenthesis_code
	1746	when /\A\)/ # )
	1747	yield :Right_parenthesis_code, :Right_parenthesis_code
	1748	when /\A\$/ # $
	1749	yield :Dollar_code, :Dollar_code
	1750	when /\A\?\?/ # ??
	1751	yield :SYM_DT_UNKNOWN, :SYM_DT_UNKNOWN
	1752	when /\A\?/ # ?
	1753	yield :Question_mark_code, :Question_mark_code
	1754	when /\A\\|/ # \|
[20]	1755	@@log.info("#{__FILE__}:#{__LINE__}: scan_dadl: @in_interval = #{@in_interval} at #{@filename}:#{@lineno}")
[4]	1756	if @in_interval
	1757	@in_interval = false
	1758	else
[20]	1759	# @in_interval = false
	1760	@in_interval = true
[4]	1761	end
[20]	1762	@@log.info("#{__FILE__}:#{__LINE__}: scan_dadl: SYM_INTERVAL_DELIM at #{@filename}:#{@lineno}")
[4]	1763	yield :SYM_INTERVAL_DELIM, :SYM_INTERVAL_DELIM
[17]	1764	### when /\A\[[a-zA-Z0-9()\._-]+::[a-zA-Z0-9\._-]+\]/ #V_QUALIFIED_TERM_CODE_REF form [ICD10AM(1998)::F23]
	1765	### yield :V_QUALIFIED_TERM_CODE_REF, $&
	1766	### when /\A\[[a-zA-Z0-9][a-zA-Z0-9._\-]*\]/ #V_LOCAL_TERM_CODE_REF
	1767	### yield :V_LOCAL_TERM_CODE_REF, $&
[18]	1768	### when /\A\[[a-zA-Z0-9._\- ]+::[a-zA-Z0-9._\- ]+\]/ #ERR_V_QUALIFIED_TERM_CODE_REF
	1769	### yield :ERR_V_QUALIFIED_TERM_CODE_REF, $&
[4]	1770	when /\A\[/ # [
	1771	yield :Left_bracket_code, :Left_bracket_code
	1772	when /\A\]/ # ]
	1773	yield :Right_bracket_code, :Right_bracket_code
[18]	1774	### when /\A[A-Z][a-zA-Z0-9_-]*/
	1775	### yield :V_TYPE_IDENTIFIER, $&
	1776	### when /\A[A-Z][a-zA-Z0-9_]*<[a-zA-Z0-9,_<>]+>/ #V_GENERIC_TYPE_IDENTIFIER
	1777	### yield :V_GENERIC_TYPE_IDENTIFIER, $&
	1778	### when /\A[a-z][a-zA-Z0-9_]*/
	1779	### word = $&.downcase
	1780	### if @@dadl_reserved[word]
	1781	### yield @@dadl_reserved[word], @@dadl_reserved[word]
	1782	### else
	1783	### yield :V_ATTRIBUTE_IDENTIFIER, $&
	1784	### end
	1785	### when /\Aa[ct][0-9.]+/ #V_LOCAL_CODE
	1786	### yield :V_LOCAL_CODE, $&
[4]	1787	when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z\|[+-][0-9]{4})?\|[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9](Z\|[+-][0-9]{4})?\|[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9](Z\|[+-][0-9]{4})?/ #V_ISO8601_EXTENDED_DATE_TIME YYYY-MM-DDThh:mm:ss[,sss][Z\|+/- -n-n-n-n-]-
	1788	yield :V_ISO8601_EXTENDED_DATE_TIME, $&
	1789	when /\A[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z\|[+-][0-9]{4})?\|[0-2][0-9]:[0-6][0-9](Z\|[+-][0-9]{4})? / #V_ISO8601_EXTENDED_TIME hh:mm:ss[,sss][Z\|+/-nnnn]
	1790	yield :V_ISO8601_EXTENDED_TIME, $&
	1791	when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]\|[0-9]{4}-[0-1][0-9]/ #V_ISO8601_EXTENDED_DATE YYYY-MM-DD
	1792	yield :V_ISO8601_EXTENDED_DATE, $&
	1793	when /\A[A-Z][a-zA-Z0-9_]*<[a-zA-Z0-9,_<>]+>/ #V_GENERIC_TYPE_IDENTIFIER
	1794	yield :V_GENERIC_TYPE_IDENTIFIER, $&
	1795	when /\A[0-9]+\|[0-9]+[eE][+-]?[0-9]+/ #V_INTEGER
	1796	yield :V_INTEGER, $&
[18]	1797	### when /\A[0-9]+\.[0-9]+\|[0-9]+\.[0-9]+[eE][+-]?[0-9]+ / #V_REAL
	1798	### yield :V_REAL, $&
[4]	1799	# when /\A"((?:[^"\\]+\|\\.)*)"/ #V_STRING
[18]	1800	### when /\A"([^"]*)"/m #V_STRING
	1801	### yield :V_STRING, $1
[4]	1802	when /\A[a-z]+:\/\/[^<>\|\\{}^~"\[\] ]*/ #V_URI
	1803	yield :V_URI, $&
[19]	1804	### when /\AP([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?T([0-9]+[hH])?([0-9]+[mM])?([0-9]+[sS])?\|P([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?/ #V_ISO8601_DURATION PnYnMnWnDTnnHnnMnnS
	1805	### yield :V_ISO8601_DURATION, $&
[4]	1806	when /\A\S/ #UTF8CHAR
	1807	yield :UTF8CHAR, $&
	1808	end
	1809	data = $' # variable $' receives the string after the match
	1810	when :adl
	1811	# puts "Entering scan_adl"
	1812	data = scan_adl(data) do \|sym, val\|
	1813	yield sym, val
	1814	end
	1815	when :cadl
	1816	# puts "Entering scan_cadl"
	1817	data = scan_cadl(data) do \|sym, val\|
	1818	yield sym, val
	1819	end
	1820	when :regexp
	1821	# puts "Entering scan_regexp"
	1822	data = scan_regexp(data) do \|sym, val\|
	1823	yield sym, val
	1824	end
	1825	when :term_constraint
	1826	# puts "Entering scan_term_constraint"
	1827	data = scan_term_constraint(data) do \|sym, val\|
	1828	yield sym, val
	1829	end
	1830	else
	1831	raise
	1832	end
	1833	end
	1834	end # of scan_dadl
	1835
	1836	def scan_regexp(data)
	1837	until data.nil? do
	1838	case @adl_type.last
	1839	when :regexp
	1840	# puts "Entering scan_regexp"
	1841	case data
	1842	when /\A\/\}/ #V_REGEXP
	1843	if @adl_type.last == :regexp
	1844	@in_regexp = false
	1845	@adl_type.pop
	1846	yield :END_REGEXP_BLOCK, :END_REGEXP_BLOCK
	1847	else
	1848	raise
	1849	end
	1850	when /\A(.*)(\/\})/ #V_REGEXP
	1851	yield :REGEXP_BODY, $1
	1852	if @adl_type.last == :regexp
	1853	@in_regexp = false
	1854	@adl_type.pop
	1855	yield :END_REGEXP_BLOCK, :END_REGEXP_BLOCK
	1856	else
	1857	raise
	1858	end
	1859	else
	1860	raise data
	1861	end
	1862	data = $' # variable $' receives the string after the match
	1863	when :adl
	1864	# puts "Entering scan_adl"
	1865	data = scan_adl(data) do \|sym, val\|
	1866	yield sym, val
	1867	end
	1868	when :dadl
	1869	# puts "Entering scan_dadl"
	1870	data = scan_dadl(data) do \|sym, val\|
	1871	yield sym, val
	1872	end
	1873	when :cadl
	1874	# puts "Entering scan_cadl"
	1875	data = scan_cadl(data) do \|sym, val\|
	1876	yield sym, val
	1877	end
	1878	when :term_constraint
	1879	# puts "Entering scan_term_constraint"
	1880	data = scan_term_constraint(data) do \|sym, val\|
	1881	yield sym, val
	1882	end
	1883	else
	1884	raise
	1885	end
	1886	end
	1887	end # of scan_regexp
	1888
	1889	def scan_term_constraint(data)
	1890	until data.nil? do
	1891	case @adl_type.last
	1892	when :term_constraint
	1893	# puts "Entering scan_term_constraint"
	1894	case data
	1895	when /\A\n/ # carriage return
	1896	@lineno += 1
	1897	;
	1898	when /\A[ \t\r\f]+/ #just drop it
	1899	;
	1900	when /\A--.*$/ # single line comment
	1901	@lineno += 1
[19]	1902	@@log.info("#{__FILE__}:#{__LINE__}: scan_term_constraint: COMMENT = #{$&} at #{@filename}:#{@lineno}")
[4]	1903	;
	1904	when /\A[a-zA-Z0-9\._\-]+[ \t]*,/ # match any line, with ',' termination
	1905	yield :TERM_CODE, $&
	1906	when /\A[a-zA-Z0-9\._\-]+[ \t]*;/ #match second last line with ';' termination (assumed value)
	1907	yield :TERM_CODE, $&
	1908	# when /\A[a-zA-Z0-9\._\-]+[ \t]*\]/ # match final line, terminating in ']'
	1909	when /\A[a-zA-Z0-9\._\-][ \t]\]/ # match final line, terminating in ']'
	1910	adl_type = @adl_type.pop
	1911	assert_at(__FILE__,__LINE__){adl_type == :term_constraint}
	1912	yield :END_TERM_CODE_CONSTRAINT, $&
	1913	else
	1914	raise "data = #{data}"
	1915	end
	1916	data = $' # variable $' receives the string after the match
	1917	when :adl
	1918	# puts "Entering scan_adl"
	1919	data = scan_adl(data) do \|sym, val\|
	1920	yield sym, val
	1921	end
	1922	when :dadl
	1923	# puts "Entering scan_dadl"
	1924	data = scan_dadl(data) do \|sym, val\|
	1925	yield sym, val
	1926	end
	1927	when :cadl
	1928	# puts "Entering scan_cadl"
	1929	data = scan_cadl(data) do \|sym, val\|
	1930	yield sym, val
	1931	end
	1932	else
	1933	raise
	1934	end
	1935	end
	1936	end # of scan_term_constraint
	1937
	1938
	1939	def parse(data, filename, lineno = 1, debug = false)
	1940	@yydebug = true
	1941	@parsestring = data
	1942	@data = data
	1943	@lineno = lineno
	1944	@filename = filename
	1945	@adl_type = [:adl] # {:adl, :cadl, :dadl}
	1946	@in_regexp = false
	1947	@in_interval = false
[14]	1948	@in_c_domain_type = false
[4]	1949	yyparse self, :scan
	1950	end
	1951
	1952	def on_error( t, v, values)
	1953	raise Racc::ParseError, "#{@filename}:#{@lineno}: Inline syntax error on #{v.inspect}"
	1954	end
	1955
	1956
	1957
	1958
	1959
	1960
	1961
	1962	### Local Variables:
	1963	### mode:ruby
	1964	### mode:font-lock
	1965	### comment-column:0
	1966	### comment-start: "### "
	1967	### comment-end:""
	1968	### End:
	1969
	1970
	1971
	1972

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format