search

FormalADL / kAADL

1 stars 1 forks source link

Error 08） new error derived from Error07 #19

Open suweining opened 9 years ago

suweining commented 9 years ago

1） Exception in thread "main" java.lang.AssertionError: The greatest lower bound (GLB) of sorts [SubCmpAssocDefElem, ArrayDimension]doesn't exist!

2） [Warning] Inner Parser: Parsing ambiguity. Arbitrarily choosing the first. 1: AmbIdPointId ::= Id MPoint Id Primes . On_Received_Prime_One 2: ContainedModelElementList ::= ContainedModelElement MPoint ContainedModelElementList Primes . On_Received_Prime_One File: ./tests/unit/SubprogramGroupsAndSubprogramGroupTypes.aadl Location: (10,138,10,166) Compilation Phase: Ambiguity filter

3） [Warning] Inner Parser: Parsing ambiguity. Arbitrarily choosing the first. 1: SubCmpAssocDef ::= SubCmpAssocDefMid Min Mmodes MBracketLeft ModeName MComma ModeNameList MBracketRight (Gps_Sender . Basic) in modes ( Dualmode , Mainmode ) 2: SubCmpAssocDef ::= SubCmpAssocDefMid InModes (Gps_Sender . Basic) (in modes ( Dualmode , Mainmode )) File: ./tests/unit/ModesAndModeTransitions.aadl Location: (33,21,33,67) Compilation Phase: Ambiguity filter

suweining commented 9 years ago

Ambiguity 1） is caused by not completely unfold of ArrayDimension.So continue unfolding the ArrayDimension in the project.