Changes between Version 4 and Version 5 of aadlDeclarativeModel


Ignore:
Timestamp:
04/12/17 15:10:03 (7 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • aadlDeclarativeModel

    v4 v5  
    3636=== AADL v2 predicates ===
    3737[wiki:aadlparser/isVersion isVersion/4][[BR]]
    38 [wiki:aadl/parser/isWarning isWarning/4][[BR]]
    39 [wiki:aadl/parser/isPackage isPackage/3][[BR]]
    40 [wiki:aadl/parser/isPackageComment isPackageComment/4][[BR]]
    41 [wiki:aadl/parser/isPackageEnd isPackageEnd/3][[BR]]
    42 [wiki:aadl/parser/isImportDeclaration isImportDeclaration/4][[BR]]
    43 [wiki:aadl/parser/isAliasDeclaration isAliasDeclaration/6][[BR]]
    44 [wiki:aadl/parser/isComponentType isComponentType/6][[BR]]
    45 [wiki:aadl/parser/isCompTypeComment isCompTypeComment/5][[BR]]
    46 [wiki:aadl/parser/isComponentTypeEnd isComponentTypeEnd/5][[BR]]
    47 [wiki:aadl/parser/isComponentImplementation isComponentImplementation/8][[BR]]
    48 [wiki:aadl/parser/isCompImpComment isCompImpComment/6][[BR]]
    49 [wiki:aadl/parser/isComponentImplementationEnd isComponentImplementationEnd/7][[BR]]
    50 [wiki:aadl/parser/isSubcomponent isSubcomponent/9][[BR]]
    51 [wiki:aadl/parser/isSubcompComment isSubcompComment/6][[BR]]
    52 [wiki:aadl/parser/isInternalFeature isInternalFeature/7][[BR]]
    53 [wiki:aadl/parser/isAnnex isAnnex/7][[BR]]
    54 [wiki:aadl/parser/isAnnexComment isAnnexComment/6][[BR]]
    55 [wiki:aadl/parser/isCallSequence isCallSequence/5][[BR]]
    56 [wiki:aadl/parser/isCallSeqComment isCallSeqComment/6][[BR]]
    57 [wiki:aadl/parser/isCall isCall/7][[BR]]
    58 [wiki:aadl/parser/isCallComment isCallComment/7][[BR]]
    59 [wiki:aadl/parser/isFeature isFeature/10][[BR]]
    60 [wiki:aadl/parser/isFeatureComment isFeatureComment/5][[BR]]
    61 [wiki:aadl/parser/isInverseOf isInverseOf/4][[BR]]
    62 [wiki:aadl/parser/isConnection isConnection/10][[BR]]
    63 [wiki:aadl/parser/isConnectionComment isConnectionComment/6][[BR]]
    64 [wiki:aadl/parser/isProperty isProperty/9][[BR]]
    65 [wiki:aadl/parser/isPropertyOpt isPropertyOpt/9][[BR]]
    66 [wiki:aadl/parser/isPropertyComment isPropertyComment/7][[BR]]
    67 [wiki:aadl/parser/isRecordField isRecordField/9][[BR]]
    68 [wiki:aadl/parser/isRecordFieldOpt isRecordFieldOpt/9][[BR]]
    69 [wiki:aadl/parser/isPrototype isPrototype/10][[BR]]
    70 [wiki:aadl/parser/isPrototypeComment isPrototypeComment/6][[BR]]
    71 [wiki:aadl/parser/isPrototypeBinding isPrototypeBinding/9][[BR]]
    72 [wiki:aadl/parser/isPrototypeBindingComment isPrototypeBindingComment/7][[BR]]
    73 [wiki:aadl/parser/isFlowSpec isFlowSpec/9][[BR]]
    74 [wiki:aadl/parser/isFlowSpecComment isFlowSpecComment/6][[BR]]
    75 [wiki:aadl/parser/isFlowImplementation isFlowImplementation/8][[BR]]
    76 [wiki:aadl/parser/isFlowImplementationComment isFlowImplementationComment/6][[BR]]
    77 [wiki:aadl/parser/isMode isMode/7][[BR]]
    78 [wiki:aadl/parser/isModeComment isModeComment/6][[BR]]
    79 [wiki:aadl/parser/isModeTransition isModeTransition/8][[BR]]
    80 [wiki:aadl/parser/isModeTransitionComment isModeTransitionComment/6][[BR]]
    81 [wiki:aadl/parser/isInMode isInMode/8][[BR]]
    82 [wiki:aadl/parser/isPropertyBinding isPropertyBinding/8][[BR]]
    83 [wiki:aadl/parser/isPropertySet isPropertySet/2][[BR]]
    84 [wiki:aadl/parser/isPropertySetComment isPropertySetComment/3][[BR]]
    85 [wiki:aadl/parser/isPropertySetEnd isPropertySetEnd/3][[BR]]
    86 [wiki:aadl/parser/isPropertyType isPropertyType/4][[BR]]
    87 [wiki:aadl/parser/isPropertyTypeComment isPropertyTypeComment/4][[BR]]
    88 [wiki:aadl/parser/isPropertyDefinition isPropertyDefinition/8][[BR]]
    89 [wiki:aadl/parser/isPropertyDefinitionComment isPropertyDefinitionComment/4][[BR]]
    90 [wiki:aadl/parser/isPropertyConstant isPropertyConstant/6][[BR]]
    91 [wiki:aadl/parser/isPropertyConstantComment isPropertyConstantComment/4][[BR]]
    92 [wiki:aadl/parser/isPropertyReference isPropertyReference/5][[BR]][[BR]]
     38[wiki:aadlparser/isWarning isWarning/4][[BR]]
     39[wiki:aadlparser/isPackage isPackage/3][[BR]]
     40[wiki:aadlparser/isPackageComment isPackageComment/4][[BR]]
     41[wiki:aadlparser/isPackageEnd isPackageEnd/3][[BR]]
     42[wiki:aadlparser/isImportDeclaration isImportDeclaration/4][[BR]]
     43[wiki:aadlparser/isAliasDeclaration isAliasDeclaration/6][[BR]]
     44[wiki:aadlparser/isComponentType isComponentType/6][[BR]]
     45[wiki:aadlparser/isCompTypeComment isCompTypeComment/5][[BR]]
     46[wiki:aadlparser/isComponentTypeEnd isComponentTypeEnd/5][[BR]]
     47[wiki:aadlparser/isComponentImplementation isComponentImplementation/8][[BR]]
     48[wiki:aadlparser/isCompImpComment isCompImpComment/6][[BR]]
     49[wiki:aadlparser/isComponentImplementationEnd isComponentImplementationEnd/7][[BR]]
     50[wiki:aadlparser/isSubcomponent isSubcomponent/9][[BR]]
     51[wiki:aadlparser/isSubcompComment isSubcompComment/6][[BR]]
     52[wiki:aadlparser/isInternalFeature isInternalFeature/7][[BR]]
     53[wiki:aadlparser/isAnnex isAnnex/7][[BR]]
     54[wiki:aadlparser/isAnnexComment isAnnexComment/6][[BR]]
     55[wiki:aadlparser/isCallSequence isCallSequence/5][[BR]]
     56[wiki:aadlparser/isCallSeqComment isCallSeqComment/6][[BR]]
     57[wiki:aadlparser/isCall isCall/7][[BR]]
     58[wiki:aadlparser/isCallComment isCallComment/7][[BR]]
     59[wiki:aadlparser/isFeature isFeature/10][[BR]]
     60[wiki:aadlparser/isFeatureComment isFeatureComment/5][[BR]]
     61[wiki:aadlparser/isInverseOf isInverseOf/4][[BR]]
     62[wiki:aadlparser/isConnection isConnection/10][[BR]]
     63[wiki:aadlparser/isConnectionComment isConnectionComment/6][[BR]]
     64[wiki:aadlparser/isProperty isProperty/9][[BR]]
     65[wiki:aadlparser/isPropertyOpt isPropertyOpt/9][[BR]]
     66[wiki:aadlparser/isPropertyComment isPropertyComment/7][[BR]]
     67[wiki:aadlparser/isRecordField isRecordField/9][[BR]]
     68[wiki:aadlparser/isRecordFieldOpt isRecordFieldOpt/9][[BR]]
     69[wiki:aadlparser/isPrototype isPrototype/10][[BR]]
     70[wiki:aadlparser/isPrototypeComment isPrototypeComment/6][[BR]]
     71[wiki:aadlparser/isPrototypeBinding isPrototypeBinding/9][[BR]]
     72[wiki:aadlparser/isPrototypeBindingComment isPrototypeBindingComment/7][[BR]]
     73[wiki:aadlparser/isFlowSpec isFlowSpec/9][[BR]]
     74[wiki:aadlparser/isFlowSpecComment isFlowSpecComment/6][[BR]]
     75[wiki:aadlparser/isFlowImplementation isFlowImplementation/8][[BR]]
     76[wiki:aadlparser/isFlowImplementationComment isFlowImplementationComment/6][[BR]]
     77[wiki:aadlparser/isMode isMode/7][[BR]]
     78[wiki:aadlparser/isModeComment isModeComment/6][[BR]]
     79[wiki:aadlparser/isModeTransition isModeTransition/8][[BR]]
     80[wiki:aadlparser/isModeTransitionComment isModeTransitionComment/6][[BR]]
     81[wiki:aadlparser/isInMode isInMode/8][[BR]]
     82[wiki:aadlparser/isPropertyBinding isPropertyBinding/8][[BR]]
     83[wiki:aadlparser/isPropertySet isPropertySet/2][[BR]]
     84[wiki:aadlparser/isPropertySetComment isPropertySetComment/3][[BR]]
     85[wiki:aadlparser/isPropertySetEnd isPropertySetEnd/3][[BR]]
     86[wiki:aadlparser/isPropertyType isPropertyType/4][[BR]]
     87[wiki:aadlparser/isPropertyTypeComment isPropertyTypeComment/4][[BR]]
     88[wiki:aadlparser/isPropertyDefinition isPropertyDefinition/8][[BR]]
     89[wiki:aadlparser/isPropertyDefinitionComment isPropertyDefinitionComment/4][[BR]]
     90[wiki:aadlparser/isPropertyConstant isPropertyConstant/6][[BR]]
     91[wiki:aadlparser/isPropertyConstantComment isPropertyConstantComment/4][[BR]]
     92[wiki:aadlparser/isPropertyReference isPropertyReference/5][[BR]][[BR]]
    9393----
    9494=== AADL Behavior Annex predicates ===
    95 [wiki:aadl/parser/isBAVersion isBAVersion/4][[BR]]
    96 [wiki:aadl/parser/isBAVariable isBAVariable/9][[BR]]
    97 [wiki:aadl/parser/isBAVariableComment isBAVariableComment/7][[BR]]
    98 [wiki:aadl/parser/isBAProperty isBAProperty/10][[BR]]
    99 [wiki:aadl/parser/isBAPropertyOpt isBAPropertyOpt/10][[BR]]
    100 [wiki:aadl/parser/isBAState isBAState/7][[BR]]
    101 [wiki:aadl/parser/isBAStateComment isBAStateComment/7][[BR]]
    102 [wiki:aadl/parser/isBATransition isBATransition/9][[BR]]
    103 [wiki:aadl/parser/isBATransitionComment isBATransitionComment/7][[BR]]
    104 [wiki:aadl/parser/isBACondition isBACondition/9][[BR]]
    105 [wiki:aadl/parser/isBAConditionBlock isBAConditionBlock/7][[BR]]
    106 [wiki:aadl/parser/isBADispatchExpression isBADispatchExpression/10][[BR]]
    107 [wiki:aadl/parser/isBADispatchTrigger isBADispatchTrigger/8][[BR]]
    108 [wiki:aadl/parser/isBAModeExpression isBAModeExpression/10][[BR]]
    109 [wiki:aadl/parser/isBAModeTrigger isBAModeTrigger/8][[BR]]
    110 [wiki:aadl/parser/isBAAction isBAAction/11][[BR]]
    111 [wiki:aadl/parser/isBAActionBlock isBAActionBlock/7][[BR]][[BR]]
     95[wiki:aadlparser/isBAVersion isBAVersion/4][[BR]]
     96[wiki:aadlparser/isBAVariable isBAVariable/9][[BR]]
     97[wiki:aadlparser/isBAVariableComment isBAVariableComment/7][[BR]]
     98[wiki:aadlparser/isBAProperty isBAProperty/10][[BR]]
     99[wiki:aadlparser/isBAPropertyOpt isBAPropertyOpt/10][[BR]]
     100[wiki:aadlparser/isBAState isBAState/7][[BR]]
     101[wiki:aadlparser/isBAStateComment isBAStateComment/7][[BR]]
     102[wiki:aadlparser/isBATransition isBATransition/9][[BR]]
     103[wiki:aadlparser/isBATransitionComment isBATransitionComment/7][[BR]]
     104[wiki:aadlparser/isBACondition isBACondition/9][[BR]]
     105[wiki:aadlparser/isBAConditionBlock isBAConditionBlock/7][[BR]]
     106[wiki:aadlparser/isBADispatchExpression isBADispatchExpression/10][[BR]]
     107[wiki:aadlparser/isBADispatchTrigger isBADispatchTrigger/8][[BR]]
     108[wiki:aadlparser/isBAModeExpression isBAModeExpression/10][[BR]]
     109[wiki:aadlparser/isBAModeTrigger isBAModeTrigger/8][[BR]]
     110[wiki:aadlparser/isBAAction isBAAction/11][[BR]]
     111[wiki:aadlparser/isBAActionBlock isBAActionBlock/7][[BR]][[BR]]
    112112----
    113113=== AADL Error Annex v1 predicates ===
    114 [wiki:aadl/parser/isEAVersion isEAVersion/4][[BR]]
    115 [wiki:aadl/parser/isEAProperty isEAProperty/7][[BR]][[BR]]
     114[wiki:aadlparser/isEAVersion isEAVersion/4][[BR]]
     115[wiki:aadlparser/isEAProperty isEAProperty/7][[BR]][[BR]]
    116116----
    117117=== AADL Error Annex v2 predicates ===
    118 [wiki:aadl/parser/isEMV2Version isEMV2Version/4][[BR]]
    119 [wiki:aadl/parser/isEMV2ExtendsLib isEMV2ExtendsLib/4][[BR]]
    120 [wiki:aadl/parser/isEMV2TypeDef isEMV2TypeDef/5][[BR]]
    121 [wiki:aadl/parser/isEMV2TypeAlias isEMV2TypeAlias/5][[BR]]
    122 [wiki:aadl/parser/isEMV2TypeSetDef isEMV2TypeSetDef/4][[BR]]
    123 [wiki:aadl/parser/isEMV2TypeSetAlias isEMV2TypeSetAlias/5][[BR]]
    124 [wiki:aadl/parser/isEMV2TypeSetElement isEMV2TypeSetElement/7][[BR]]
    125 [wiki:aadl/parser/isEMV2ErrorBehavior isEMV2ErrorBehavior/4][[BR]]
    126 [wiki:aadl/parser/isEMV2TypeMappings isEMV2TypeMappings/4][[BR]]
    127 [wiki:aadl/parser/isEMV2TypeMapping isEMV2TypeMapping/6][[BR]]
    128 [wiki:aadl/parser/isEMV2TypeTransformations isEMV2TypeTransformations/4][[BR]]
    129 [wiki:aadl/parser/isEMV2TypeTransformation isEMV2TypeTransformation/7][[BR]]
    130 [wiki:aadl/parser/isEMV2UseTypes isEMV2UseTypes/7][[BR]]
    131 [wiki:aadl/parser/isEMV2UseBehavior isEMV2UseBehavior/6][[BR]]
    132 [wiki:aadl/parser/isEMV2UseTypeEquivalence isEMV2UseTypeEquivalence/6][[BR]]
    133 [wiki:aadl/parser/isEMV2UseMappings isEMV2UseMappings/6][[BR]]
    134 [wiki:aadl/parser/isEMV2UseTransformations isEMV2UseTransformations/7][[BR]]
    135 [wiki:aadl/parser/isEMV2Event isEMV2Event/10][[BR]]
    136 [wiki:aadl/parser/isEMV2State isEMV2State/9][[BR]]
    137 [wiki:aadl/parser/isEMV2Transition isEMV2Transition/12][[BR]]
    138 [wiki:aadl/parser/isEMV2Condition isEMV2Condition/11][[BR]]
    139 [wiki:aadl/parser/isEMV2ConditionTrigger isEMV2ConditionTrigger/10][[BR]]
    140 [wiki:aadl/parser/isEMV2TransitionBranch isEMV2TransitionBranch/10][[BR]]
    141 [wiki:aadl/parser/isEMV2ErrorPropagation isEMV2ErrorPropagation/8][[BR]]
    142 [wiki:aadl/parser/isEMV2ErrorSource isEMV2ErrorSource/11][[BR]]
    143 [wiki:aadl/parser/isEMV2ErrorSink isEMV2ErrorSink/8][[BR]]
    144 [wiki:aadl/parser/isEMV2ErrorPath isEMV2ErrorPath/11][[BR]]
    145 [wiki:aadl/parser/isEMV2OutgoingPropagation isEMV2OutgoingPropagation/11][[BR]]
    146 [wiki:aadl/parser/isEMV2ErrorDetection isEMV2ErrorDetection/11][[BR]]
    147 [wiki:aadl/parser/isEMV2InModes isEMV2InModes/8][[BR]]
    148 [wiki:aadl/parser/isEMV2CompositeState isEMV2CompositeState/9][[BR]]
    149 [wiki:aadl/parser/isEMV2CompositeStateExpr isEMV2CompositeStateExpr/10][[BR]]
    150 [wiki:aadl/parser/isEMV2CompositeStateElem isEMV2CompositeStateElem/9][[BR]]
    151 [wiki:aadl/parser/isEMV2ConnectionError isEMV2ConnectionError/10][[BR]]
    152 [wiki:aadl/parser/isEMV2PropagationPoint isEMV2PropagationPoint/6][[BR]]
    153 [wiki:aadl/parser/isEMV2PropagationConnection isEMV2PropagationConnection/8][[BR]]
    154 [wiki:aadl/parser/isEMV2Property isEMV2Property/11][[BR]][[BR]]
     118[wiki:aadlparser/isEMV2Version isEMV2Version/4][[BR]]
     119[wiki:aadlparser/isEMV2ExtendsLib isEMV2ExtendsLib/4][[BR]]
     120[wiki:aadlparser/isEMV2TypeDef isEMV2TypeDef/5][[BR]]
     121[wiki:aadlparser/isEMV2TypeAlias isEMV2TypeAlias/5][[BR]]
     122[wiki:aadlparser/isEMV2TypeSetDef isEMV2TypeSetDef/4][[BR]]
     123[wiki:aadlparser/isEMV2TypeSetAlias isEMV2TypeSetAlias/5][[BR]]
     124[wiki:aadlparser/isEMV2TypeSetElement isEMV2TypeSetElement/7][[BR]]
     125[wiki:aadlparser/isEMV2ErrorBehavior isEMV2ErrorBehavior/4][[BR]]
     126[wiki:aadlparser/isEMV2TypeMappings isEMV2TypeMappings/4][[BR]]
     127[wiki:aadlparser/isEMV2TypeMapping isEMV2TypeMapping/6][[BR]]
     128[wiki:aadlparser/isEMV2TypeTransformations isEMV2TypeTransformations/4][[BR]]
     129[wiki:aadlparser/isEMV2TypeTransformation isEMV2TypeTransformation/7][[BR]]
     130[wiki:aadlparser/isEMV2UseTypes isEMV2UseTypes/7][[BR]]
     131[wiki:aadlparser/isEMV2UseBehavior isEMV2UseBehavior/6][[BR]]
     132[wiki:aadlparser/isEMV2UseTypeEquivalence isEMV2UseTypeEquivalence/6][[BR]]
     133[wiki:aadlparser/isEMV2UseMappings isEMV2UseMappings/6][[BR]]
     134[wiki:aadlparser/isEMV2UseTransformations isEMV2UseTransformations/7][[BR]]
     135[wiki:aadlparser/isEMV2Event isEMV2Event/10][[BR]]
     136[wiki:aadlparser/isEMV2State isEMV2State/9][[BR]]
     137[wiki:aadlparser/isEMV2Transition isEMV2Transition/12][[BR]]
     138[wiki:aadlparser/isEMV2Condition isEMV2Condition/11][[BR]]
     139[wiki:aadlparser/isEMV2ConditionTrigger isEMV2ConditionTrigger/10][[BR]]
     140[wiki:aadlparser/isEMV2TransitionBranch isEMV2TransitionBranch/10][[BR]]
     141[wiki:aadlparser/isEMV2ErrorPropagation isEMV2ErrorPropagation/8][[BR]]
     142[wiki:aadlparser/isEMV2ErrorSource isEMV2ErrorSource/11][[BR]]
     143[wiki:aadlparser/isEMV2ErrorSink isEMV2ErrorSink/8][[BR]]
     144[wiki:aadlparser/isEMV2ErrorPath isEMV2ErrorPath/11][[BR]]
     145[wiki:aadlparser/isEMV2OutgoingPropagation isEMV2OutgoingPropagation/11][[BR]]
     146[wiki:aadlparser/isEMV2ErrorDetection isEMV2ErrorDetection/11][[BR]]
     147[wiki:aadlparser/isEMV2InModes isEMV2InModes/8][[BR]]
     148[wiki:aadlparser/isEMV2CompositeState isEMV2CompositeState/9][[BR]]
     149[wiki:aadlparser/isEMV2CompositeStateExpr isEMV2CompositeStateExpr/10][[BR]]
     150[wiki:aadlparser/isEMV2CompositeStateElem isEMV2CompositeStateElem/9][[BR]]
     151[wiki:aadlparser/isEMV2ConnectionError isEMV2ConnectionError/10][[BR]]
     152[wiki:aadlparser/isEMV2PropagationPoint isEMV2PropagationPoint/6][[BR]]
     153[wiki:aadlparser/isEMV2PropagationConnection isEMV2PropagationConnection/8][[BR]]
     154[wiki:aadlparser/isEMV2Property isEMV2Property/11][[BR]][[BR]]
    155155----