search

FormalADL / kAADL

1 stars 1 forks source link

Researchful Question 03 #12

Closed suweining closed 9 years ago

suweining commented 9 years ago

Error03 7) is intesesting ambiguity:

PpeListValue ::= MBracketLeft IntegerTerm MBracketRight

PpeListValue ::= MBracketLeft RealTerm MBracketRight

PpeListValue ::= MBracketLeft RealRangeTerm MBracketRight

PpeListValue ::= MBracketLeft IntegerRangeTerm MBracketRight

PpeListValue ::= MBracketLeft StringTerm MBracketRight

PpeListValue ::= MBracketLeft EnumerationTerm MBracketRight

PpeListValue ::= MBracketLeft PpeTerm MBracketRight

PpeListValue ::= MBracketLeft UnitTerm MBracketRight

The same product is "MBracketLeft Id MBracketRight"

All the parts come from the same non-terminal : PpeListValue

However,in this defination

syntax SubCmpAssocDefElem ::= UniCmpClassifierRef | UniCmpClassifierRef ProtoTypeBindings | Id | ArrayDimension | ArrayDimensions ArrayElementImplList | MBraceLeft PpeContainedPpeAssocList MBraceRight | CmpInModes

UniCmpClassifierRef can also infer to Id . But there is not ambiguity about SubCmpAssocDefElem .