Search in sources :

Example 1 with Requirement

use of org.osate.reqspec.reqSpec.Requirement in project osate2 by osate.

the class NestedClaimReferenceImpl method setRequirement.

/**
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
@Override
public void setRequirement(Requirement newRequirement) {
    Requirement oldRequirement = requirement;
    requirement = newRequirement;
    if (eNotificationRequired())
        eNotify(new ENotificationImpl(this, Notification.SET, AssurePackage.NESTED_CLAIM_REFERENCE__REQUIREMENT, oldRequirement, requirement));
}
Also used : Requirement(org.osate.reqspec.reqSpec.Requirement) ENotificationImpl(org.eclipse.emf.ecore.impl.ENotificationImpl)

Example 2 with Requirement

use of org.osate.reqspec.reqSpec.Requirement in project osate2 by osate.

the class ReqSpecSemanticSequencer method sequence.

@Override
public void sequence(ISerializationContext context, EObject semanticObject) {
    EPackage epackage = semanticObject.eClass().getEPackage();
    ParserRule rule = context.getParserRule();
    Action action = context.getAssignedAction();
    Set<Parameter> parameters = context.getEnabledBooleanParameters();
    if (epackage == Aadl2Package.eINSTANCE)
        switch(semanticObject.eClass().getClassifierID()) {
            case Aadl2Package.AADL_BOOLEAN:
                sequence_TypeRef(context, (AadlBoolean) semanticObject);
                return;
            case Aadl2Package.AADL_INTEGER:
                sequence_TypeRef(context, (AadlInteger) semanticObject);
                return;
            case Aadl2Package.AADL_REAL:
                sequence_TypeRef(context, (AadlReal) semanticObject);
                return;
            case Aadl2Package.AADL_STRING:
                sequence_TypeRef(context, (AadlString) semanticObject);
                return;
            case Aadl2Package.BOOLEAN_LITERAL:
                sequence_ABooleanLiteral(context, (BooleanLiteral) semanticObject);
                return;
            case Aadl2Package.INTEGER_LITERAL:
                sequence_AIntegerTerm(context, (IntegerLiteral) semanticObject);
                return;
            case Aadl2Package.REAL_LITERAL:
                sequence_ARealTerm(context, (RealLiteral) semanticObject);
                return;
            case Aadl2Package.STRING_LITERAL:
                sequence_StringTerm(context, (StringLiteral) semanticObject);
                return;
        }
    else if (epackage == CommonPackage.eINSTANCE)
        switch(semanticObject.eClass().getClassifierID()) {
            case CommonPackage.ABINARY_OPERATION:
                sequence_AAdditiveExpression_AAndExpression_AEqualityExpression_AMultiplicativeExpression_AOrExpression_ARelationalExpression(context, (ABinaryOperation) semanticObject);
                return;
            case CommonPackage.ACONDITIONAL:
                sequence_AIfExpression(context, (AConditional) semanticObject);
                return;
            case CommonPackage.AFUNCTION_CALL:
                sequence_AFunctionCall(context, (AFunctionCall) semanticObject);
                return;
            case CommonPackage.AMODEL_REFERENCE:
                sequence_AModelReference(context, (AModelReference) semanticObject);
                return;
            case CommonPackage.APROPERTY_REFERENCE:
                if (rule == grammarAccess.getAModelOrPropertyReferenceRule() || rule == grammarAccess.getAExpressionRule() || rule == grammarAccess.getAOrExpressionRule() || action == grammarAccess.getAOrExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getAAndExpressionRule() || action == grammarAccess.getAAndExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getAEqualityExpressionRule() || action == grammarAccess.getAEqualityExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getARelationalExpressionRule() || action == grammarAccess.getARelationalExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getAAdditiveExpressionRule() || action == grammarAccess.getAAdditiveExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getAMultiplicativeExpressionRule() || action == grammarAccess.getAMultiplicativeExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getAUnaryOperationRule() || rule == grammarAccess.getAUnitExpressionRule() || action == grammarAccess.getAUnitExpressionAccess().getAUnitExpressionExpressionAction_1_0() || rule == grammarAccess.getAPrimaryExpressionRule() || rule == grammarAccess.getAParenthesizedExpressionRule()) {
                    sequence_AModelOrPropertyReference_APropertyReference(context, (APropertyReference) semanticObject);
                    return;
                } else if (rule == grammarAccess.getAPropertyReferenceRule()) {
                    sequence_APropertyReference(context, (APropertyReference) semanticObject);
                    return;
                } else
                    break;
            case CommonPackage.ARANGE:
                sequence_ARangeExpression(context, (ARange) semanticObject);
                return;
            case CommonPackage.AUNARY_OPERATION:
                sequence_AUnaryOperation(context, (AUnaryOperation) semanticObject);
                return;
            case CommonPackage.AUNIT_EXPRESSION:
                if (rule == grammarAccess.getAExpressionRule() || rule == grammarAccess.getAOrExpressionRule() || action == grammarAccess.getAOrExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getAAndExpressionRule() || action == grammarAccess.getAAndExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getAEqualityExpressionRule() || action == grammarAccess.getAEqualityExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getARelationalExpressionRule() || action == grammarAccess.getARelationalExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getAAdditiveExpressionRule() || action == grammarAccess.getAAdditiveExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getAMultiplicativeExpressionRule() || action == grammarAccess.getAMultiplicativeExpressionAccess().getABinaryOperationLeftAction_1_0_0_0() || rule == grammarAccess.getAUnaryOperationRule() || rule == grammarAccess.getAUnitExpressionRule() || action == grammarAccess.getAUnitExpressionAccess().getAUnitExpressionExpressionAction_1_0() || rule == grammarAccess.getAPrimaryExpressionRule() || rule == grammarAccess.getAParenthesizedExpressionRule()) {
                    sequence_AUnitExpression(context, (AUnitExpression) semanticObject);
                    return;
                } else if (rule == grammarAccess.getShowValueRule()) {
                    sequence_ShowValue(context, (AUnitExpression) semanticObject);
                    return;
                } else
                    break;
            case CommonPackage.AVARIABLE_REFERENCE:
                sequence_AVariableReference(context, (AVariableReference) semanticObject);
                return;
            case CommonPackage.COMPUTE_DECLARATION:
                sequence_ComputeDeclaration(context, (ComputeDeclaration) semanticObject);
                return;
            case CommonPackage.DESCRIPTION:
                sequence_Description(context, (Description) semanticObject);
                return;
            case CommonPackage.DESCRIPTION_ELEMENT:
                sequence_DescriptionElement(context, (DescriptionElement) semanticObject);
                return;
            case CommonPackage.IMAGE_REFERENCE:
                sequence_ImageReference(context, (ImageReference) semanticObject);
                return;
            case CommonPackage.MODEL_REF:
                sequence_TypeRef(context, (ModelRef) semanticObject);
                return;
            case CommonPackage.PROPERTY_REF:
                sequence_PropertyRef(context, (PropertyRef) semanticObject);
                return;
            case CommonPackage.RATIONALE:
                sequence_Rationale(context, (Rationale) semanticObject);
                return;
            case CommonPackage.TYPE_REF:
                sequence_TypeRef(context, (TypeRef) semanticObject);
                return;
            case CommonPackage.UNCERTAINTY:
                sequence_Uncertainty(context, (Uncertainty) semanticObject);
                return;
        }
    else if (epackage == ReqSpecPackage.eINSTANCE)
        switch(semanticObject.eClass().getClassifierID()) {
            case ReqSpecPackage.DESIRED_VALUE:
                sequence_DesiredValue(context, (DesiredValue) semanticObject);
                return;
            case ReqSpecPackage.DOCUMENT_SECTION:
                sequence_DocumentSection(context, (DocumentSection) semanticObject);
                return;
            case ReqSpecPackage.EXTERNAL_DOCUMENT:
                sequence_ExternalDocument(context, (ExternalDocument) semanticObject);
                return;
            case ReqSpecPackage.GLOBAL_CONSTANTS:
                sequence_GlobalConstants(context, (GlobalConstants) semanticObject);
                return;
            case ReqSpecPackage.GLOBAL_REQUIREMENT_SET:
                sequence_GlobalRequirementSet(context, (GlobalRequirementSet) semanticObject);
                return;
            case ReqSpecPackage.GOAL:
                if (rule == grammarAccess.getDocGoalRule()) {
                    sequence_DocGoal(context, (Goal) semanticObject);
                    return;
                } else if (rule == grammarAccess.getContractualElementRule() || rule == grammarAccess.getGoalRule()) {
                    sequence_Goal(context, (Goal) semanticObject);
                    return;
                } else
                    break;
            case ReqSpecPackage.INCLUDE_GLOBAL_REQUIREMENT:
                sequence_IncludeGlobalRequirement(context, (IncludeGlobalRequirement) semanticObject);
                return;
            case ReqSpecPackage.INFORMAL_PREDICATE:
                sequence_InformalPredicate(context, (InformalPredicate) semanticObject);
                return;
            case ReqSpecPackage.REQ_DOCUMENT:
                sequence_ReqDocument(context, (ReqDocument) semanticObject);
                return;
            case ReqSpecPackage.REQ_SPEC:
                sequence_ReqSpec(context, (ReqSpec) semanticObject);
                return;
            case ReqSpecPackage.REQ_VAL_DECLARATION:
                sequence_ValDeclaration(context, (ReqValDeclaration) semanticObject);
                return;
            case ReqSpecPackage.REQUIREMENT:
                if (rule == grammarAccess.getDocRequirementRule()) {
                    sequence_DocRequirement(context, (Requirement) semanticObject);
                    return;
                } else if (rule == grammarAccess.getGlobalRequirementRule()) {
                    sequence_GlobalRequirement(context, (Requirement) semanticObject);
                    return;
                } else if (rule == grammarAccess.getContractualElementRule() || rule == grammarAccess.getSystemRequirementRule()) {
                    sequence_SystemRequirement(context, (Requirement) semanticObject);
                    return;
                } else
                    break;
            case ReqSpecPackage.STAKEHOLDER_GOALS:
                sequence_StakeholderGoals(context, (StakeholderGoals) semanticObject);
                return;
            case ReqSpecPackage.SYSTEM_REQUIREMENT_SET:
                sequence_SystemRequirementSet(context, (SystemRequirementSet) semanticObject);
                return;
            case ReqSpecPackage.VALUE_PREDICATE:
                sequence_ValuePredicate(context, (ValuePredicate) semanticObject);
                return;
            case ReqSpecPackage.WHEN_CONDITION:
                sequence_WhenCondition(context, (WhenCondition) semanticObject);
                return;
        }
    if (errorAcceptor != null)
        errorAcceptor.accept(diagnosticProvider.createInvalidContextOrTypeDiagnostic(semanticObject, context));
}
Also used : ParserRule(org.eclipse.xtext.ParserRule) Action(org.eclipse.xtext.Action) ExternalDocument(org.osate.reqspec.reqSpec.ExternalDocument) APropertyReference(org.osate.alisa.common.common.APropertyReference) BooleanLiteral(org.osate.aadl2.BooleanLiteral) EPackage(org.eclipse.emf.ecore.EPackage) InformalPredicate(org.osate.reqspec.reqSpec.InformalPredicate) RealLiteral(org.osate.aadl2.RealLiteral) Goal(org.osate.reqspec.reqSpec.Goal) IncludeGlobalRequirement(org.osate.reqspec.reqSpec.IncludeGlobalRequirement) ValuePredicate(org.osate.reqspec.reqSpec.ValuePredicate) AadlInteger(org.osate.aadl2.AadlInteger) AadlString(org.osate.aadl2.AadlString) IntegerLiteral(org.osate.aadl2.IntegerLiteral) ReqDocument(org.osate.reqspec.reqSpec.ReqDocument) ReqValDeclaration(org.osate.reqspec.reqSpec.ReqValDeclaration) AadlReal(org.osate.aadl2.AadlReal) ReqSpec(org.osate.reqspec.reqSpec.ReqSpec) GlobalRequirementSet(org.osate.reqspec.reqSpec.GlobalRequirementSet) DocumentSection(org.osate.reqspec.reqSpec.DocumentSection) GlobalConstants(org.osate.reqspec.reqSpec.GlobalConstants) AUnitExpression(org.osate.alisa.common.common.AUnitExpression) Requirement(org.osate.reqspec.reqSpec.Requirement) IncludeGlobalRequirement(org.osate.reqspec.reqSpec.IncludeGlobalRequirement) AadlBoolean(org.osate.aadl2.AadlBoolean) StakeholderGoals(org.osate.reqspec.reqSpec.StakeholderGoals) StringLiteral(org.osate.aadl2.StringLiteral) DesiredValue(org.osate.reqspec.reqSpec.DesiredValue) SystemRequirementSet(org.osate.reqspec.reqSpec.SystemRequirementSet) WhenCondition(org.osate.reqspec.reqSpec.WhenCondition) Parameter(org.eclipse.xtext.Parameter)

Example 3 with Requirement

use of org.osate.reqspec.reqSpec.Requirement in project osate2 by osate.

the class RequirementImpl method setInheritsReference.

/**
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
@Override
public void setInheritsReference(Requirement newInheritsReference) {
    Requirement oldInheritsReference = inheritsReference;
    inheritsReference = newInheritsReference;
    if (eNotificationRequired())
        eNotify(new ENotificationImpl(this, Notification.SET, ReqSpecPackage.REQUIREMENT__INHERITS_REFERENCE, oldInheritsReference, inheritsReference));
}
Also used : Requirement(org.osate.reqspec.reqSpec.Requirement) ENotificationImpl(org.eclipse.emf.ecore.impl.ENotificationImpl)

Example 4 with Requirement

use of org.osate.reqspec.reqSpec.Requirement in project osate2 by osate.

the class ClaimImpl method setRequirement.

/**
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
@Override
public void setRequirement(Requirement newRequirement) {
    Requirement oldRequirement = requirement;
    requirement = newRequirement;
    if (eNotificationRequired())
        eNotify(new ENotificationImpl(this, Notification.SET, VerifyPackage.CLAIM__REQUIREMENT, oldRequirement, requirement));
}
Also used : Requirement(org.osate.reqspec.reqSpec.Requirement) ENotificationImpl(org.eclipse.emf.ecore.impl.ENotificationImpl)

Aggregations

Requirement (org.osate.reqspec.reqSpec.Requirement)4 ENotificationImpl (org.eclipse.emf.ecore.impl.ENotificationImpl)3 EPackage (org.eclipse.emf.ecore.EPackage)1 Action (org.eclipse.xtext.Action)1 Parameter (org.eclipse.xtext.Parameter)1 ParserRule (org.eclipse.xtext.ParserRule)1 AadlBoolean (org.osate.aadl2.AadlBoolean)1 AadlInteger (org.osate.aadl2.AadlInteger)1 AadlReal (org.osate.aadl2.AadlReal)1 AadlString (org.osate.aadl2.AadlString)1 BooleanLiteral (org.osate.aadl2.BooleanLiteral)1 IntegerLiteral (org.osate.aadl2.IntegerLiteral)1 RealLiteral (org.osate.aadl2.RealLiteral)1 StringLiteral (org.osate.aadl2.StringLiteral)1 APropertyReference (org.osate.alisa.common.common.APropertyReference)1 AUnitExpression (org.osate.alisa.common.common.AUnitExpression)1 DesiredValue (org.osate.reqspec.reqSpec.DesiredValue)1 DocumentSection (org.osate.reqspec.reqSpec.DocumentSection)1 ExternalDocument (org.osate.reqspec.reqSpec.ExternalDocument)1 GlobalConstants (org.osate.reqspec.reqSpec.GlobalConstants)1