ALF 1.0 FTF Avatar
  1. OMG Issue

ALF_ — Errors in Constraint Names

Open Closed All
  • Key: ALF_-57
  • Legacy Issue Number: 16478
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    Subclauses: Various subclauses in Part III Abstract Syntax

    The following constraint names should be corrected as shown:
    • expressionAssignmentsAfterDerivation -> expressionAssignmentAfterDerivation
    • bitStringUnaryExpresionIsBitStringConversionDerivation -> bitStringUnaryExpressionIsBitStringConversionDerivation
    • loopVariableIsCollectionConversionDerivation -> loopVariableDefinitionIsCollectionConversionDerivation
    • importedElementNotStub -> importedMemberNotStub
    • importedElementFeatureDerivation -> importedMemberIsFeatureDerivation
    • forAllOrExistOrOneExpressionTypeDerivation -> forAllOrExistsOrOneExpressionTypeDerivation
    • forAllOrExistOrOneExpressionLowerDerivation -> forAllOrExistsOrOneExpressionLowerDerivation
    • forAllOrExistOrOneExpressionUpperDerivation -> forAllOrExistsOrOneExpressionUpperDerivation
    • forAllOrExistOrOneExpressionArgument -> forAllOrExistsOrOneExpressionArgument
    • relationalExpressionIsTypeDerivation -> relationalExpressionTypeDerivation
    • relationalExpressionIsLowerDerivation -> relationalExpressionLowerDerivation
    • relationalExpressionIsUpperDerivation -> relationalExpressionUpperDerivation
    • unboundedLiteralExpressionDerivation -> unboundedLiteralExpressionTypeDerivation
    • namespaceDefinitionMemberDistinguishaibility -> namespaceDefinitionMemberDistinguishability
    • operationDefinitionIsConstructorDefinition -> operationDefinitionIsDestructorDerivation
    • operationDefinitionIsDestructorDefinition -> operationDefinitionIsDestructorDerivation
    • operationDefinitionRedefinedOperationsDerivation -> operationDefinitionRedefinedOperationConstraint
    • propertyDefinitionIsBitStringConversion -> propertyDefinitionIsBitStringConversionDerivation
    • incrementOrDecrementExpressionIsDataValueUpdate -> incrementOrDecrementExpressionIsDataValueUpdateDerivation
    • incrementOrDecrementExpressionFeature -> incrementOrDecrementExpressionFeatureDerivation
    • incrementOrDecrementExpressionAssignment -> incrementOrDecrementExpressionAssignmentDerivation

  • Reported: ALF 1.0b2 — Fri, 29 Jul 2011 04:00 GMT
  • Disposition: Resolved — ALF 1.0
  • Disposition Summary:

    agreed
  • Updated: Fri, 6 Mar 2015 21:48 GMT