osate/osate2-core — Issue #31: property_owner not accept unique_component_classifier_reference
Author: brlarson
Created: 2011-11-27 13:17:38+00:00
State: open

on page 215 of as5506-draft1.2-09222011.pdf defines property_owner as
property_owner ::=
-- AADL or Annex meta model named element
named_element_qualified_meta_model_identifier | unique_classifier_reference

unique_classifier_reference ::=
unqiue_component_classifier_reference | unqiue_feature_group_type_refererence

fix misspellings in document BNF:
unique_classifier_reference ::=
unique_component_classifier_reference | unique_feature_group_type_reference

this source:

property set PulseOx_Properties is
with Timing_Properties;
with PO;
--time between SpO2 measurments by pulse oximeter, default 1 second
SpO2_Sampling_Period : Timing_Properties::Time => 1 sec applies to (all);
--how long must bad SpO2 measuements persist before alaming
Motion_Artifact_Duration_Limit : Timing_Properties::Time => 10 sec applies to (all);
--number of trending samples displayed to clinician, default 30
Num_Trending_Samples : aadlinteger => 30 applies to (all);
--time between trending samples, default 1 minute
Time_Between_Trending_Samples : Timing_Properties::Time => 1 min applies to (PO::SpO2TrendThread, PO::HeartRateTrendThread);
end PulseOx_Properties;

causes these Xtext errors:

mismatched input ',' expecting ';'	PulseOx_Properties.aadl	/pulse-ox/aadl/propertysets	line: 14 /pulse-ox/aadl/propertysets/PulseOx_Properties.aadl	Xtext Check (fast)

mismatched input '::' expecting ')'	PulseOx_Properties.aadl	/pulse-ox/aadl/propertysets	line: 14 /pulse-ox/aadl/propertysets/PulseOx_Properties.aadl	Xtext Check (fast)

missing 'end' at 'SpO2TrendThread'	PulseOx_Properties.aadl	/pulse-ox/aadl/propertysets	line: 14 /pulse-ox/aadl/propertysets/PulseOx_Properties.aadl	Xtext Check (fast)