/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * <!-- begin-model-doc --> * An ExpansionRegion must have one or more argument ExpansionNodes and zero or more result * ExpansionNodes. true * * @param expansionRegion The receiving '<em><b>Expansion Region</b></em>' model object. * @param diagnostics The chain of diagnostics to which problems are to be appended. * @param context The cache of context-specific information. * <!-- end-model-doc --> * @generated */ public static boolean validateExpansionNodes( ExpansionRegion expansionRegion, DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, UMLValidator.DIAGNOSTIC_SOURCE, UMLValidator.EXPANSION_REGION__EXPANSION_NODES, org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "validateExpansionNodes", org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel( expansionRegion, context) }), //$NON-NLS-1$ //$NON-NLS-2$ new Object[] {expansionRegion})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean ThinkTimeInClosedWorkloadNeedsToBeSpecified( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, Usagemodel_av_avValidator.DIAGNOSTIC_SOURCE, Usagemodel_av_avValidator .CLOSED_WORKLOAD__THINK_TIME_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "ThinkTimeInClosedWorkloadNeedsToBeSpecified", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean value_specification_no_side_effects( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, UmlValidator.DIAGNOSTIC_SOURCE, UmlValidator.MULTIPLICITY_ELEMENT__VALUE_SPECIFICATION_NO_SIDE_EFFECTS, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "value_specification_no_side_effects", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * <!-- begin-model-doc --> * The multiplicity of the ConnectorEnd may not be more general than the multiplicity of the * corresponding end of the Association typing the owning Connector, if any. * self.compatibleWith(definingEnd) * * @param connectorEnd The receiving '<em><b>Connector End</b></em>' model object. * @param diagnostics The chain of diagnostics to which problems are to be appended. * @param context The cache of context-specific information. * <!-- end-model-doc --> * @generated */ public static boolean validateMultiplicity( ConnectorEnd connectorEnd, DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, UMLValidator.DIAGNOSTIC_SOURCE, UMLValidator.CONNECTOR_END__MULTIPLICITY, org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "validateMultiplicity", org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel( connectorEnd, context) }), //$NON-NLS-1$ //$NON-NLS-2$ new Object[] {connectorEnd})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, Seff_pcValidator.DIAGNOSTIC_SOURCE, Seff_pcValidator .RESOURCE_DEMANDING_BEHAVIOUR__EACH_ACTION_EXCEPT_START_ACTIONAND_STOP_ACTION_MUST_HHAVE_APREDECESSOR_AND_SUCCESSOR, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean RequiredDelegationConnectorandtheconnectedComponentmustbepartofthesamecompositestructure( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, Composition_av_avValidator.DIAGNOSTIC_SOURCE, Composition_av_avValidator .REQUIRED_DELEGATION_CONNECTOR__REQUIRED_DELEGATION_CONNECTORANDTHECONNECTED_COMPONENTMUSTBEPARTOFTHESAMECOMPOSITESTRUCTURE, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "RequiredDelegationConnectorandtheconnectedComponentmustbepartofthesamecompositestructure", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean ProvidedRolesMustBeBound( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, Entity_pc_pcValidator.DIAGNOSTIC_SOURCE, Entity_pc_pcValidator .COMPOSED_PROVIDING_REQUIRING_ENTITY__PROVIDED_ROLES_MUST_BE_BOUND, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "ProvidedRolesMustBeBound", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean RequiringEntityOfOuterRequiredRoleMustBeTheSameAsTheParentOfTheRequiredDelegationConnector( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, Composition_av_avValidator.DIAGNOSTIC_SOURCE, Composition_av_avValidator .REQUIRED_DELEGATION_CONNECTOR__REQUIRING_ENTITY_OF_OUTER_REQUIRED_ROLE_MUST_BE_THE_SAME_AS_THE_PARENT_OF_THE_REQUIRED_DELEGATION_CONNECTOR, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "RequiringEntityOfOuterRequiredRoleMustBeTheSameAsTheParentOfTheRequiredDelegationConnector", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean MessageFlowAssociationouterMessageFlowRef( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, BpmnprofValidator.DIAGNOSTIC_SOURCE, BpmnprofValidator .MESSAGE_FLOW_ASSOCIATION__MESSAGE_FLOW_ASSOCIATIONOUTER_MESSAGE_FLOW_REF, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "MessageFlowAssociationouterMessageFlowRef", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean OneAssemblyContextOrOneEventChannelShouldBeReferred( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, Allocation_pcValidator.DIAGNOSTIC_SOURCE, Allocation_pcValidator .ALLOCATION_CONTEXT__ONE_ASSEMBLY_CONTEXT_OR_ONE_EVENT_CHANNEL_SHOULD_BE_REFERRED, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "OneAssemblyContextOrOneEventChannelShouldBeReferred", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean ComponentOfAssemblyContextAndInnerRoleRequiringComponentNeedToBeTheSame( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, Composition_av_avValidator.DIAGNOSTIC_SOURCE, Composition_av_avValidator .REQUIRED_DELEGATION_CONNECTOR__COMPONENT_OF_ASSEMBLY_CONTEXT_AND_INNER_ROLE_REQUIRING_COMPONENT_NEED_TO_BE_THE_SAME, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "ComponentOfAssemblyContextAndInnerRoleRequiringComponentNeedToBeTheSame", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean ProvidedInterfaceHaveToConformToComponentType( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, Repository_avValidator.DIAGNOSTIC_SOURCE, Repository_avValidator .IMPLEMENTATION_COMPONENT_TYPE__PROVIDED_INTERFACE_HAVE_TO_CONFORM_TO_COMPONENT_TYPE, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "ProvidedInterfaceHaveToConformToComponentType", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean SumOfInternalActionFailureProbabilitiesMustNotExceed1( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, Seff_av_pcValidator.DIAGNOSTIC_SOURCE, Seff_av_pcValidator .INTERNAL_ACTION__SUM_OF_INTERNAL_ACTION_FAILURE_PROBABILITIES_MUST_NOT_EXCEED1, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "SumOfInternalActionFailureProbabilitiesMustNotExceed1", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * <!-- begin-model-doc --> * * @param cr The receiving '<em><b>CR</b></em>' model object. * @param diagnostics The chain of diagnostics to which problems are to be appended. * @param context The cache of context-specific information. * <!-- end-model-doc --> * @generated */ public static boolean validateCR( CR cr, DiagnosticChain diagnostics, Map<Object, Object> context) { if (VALIDATE_CR__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) { OCL.Helper helper = EOCL_ENV.createOCLHelper(); helper.setContext(DatatypesPackage.Literals.CR); try { VALIDATE_CR__DIAGNOSTIC_CHAIN_MAP__EOCL_INV = helper.createInvariant(VALIDATE_CR__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP); } catch (ParserException pe) { throw new UnsupportedOperationException(pe.getLocalizedMessage()); } } if (!EOCL_ENV.createQuery(VALIDATE_CR__DIAGNOSTIC_CHAIN_MAP__EOCL_INV).check(cr)) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, DatatypesValidator.DIAGNOSTIC_SOURCE, DatatypesValidator.CR__CR, org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "validateCR", org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(cr, context) }), new Object[] {cr})); } return false; } return true; }
/** * * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public boolean MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed( DiagnosticChain diagnostics, Map<Object, Object> context) { // TODO: implement this method // -> specify the condition that violates the invariant // -> verify the details of the diagnostic, including severity and message // Ensure that you remove @generated or mark it @generated NOT if (false) { if (diagnostics != null) { diagnostics.add( new BasicDiagnostic( Diagnostic.ERROR, Seff_av_pcValidator.DIAGNOSTIC_SOURCE, Seff_av_pcValidator .INTERNAL_ACTION__MULTIPLE_INTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED, EcorePlugin.INSTANCE.getString( "_UI_GenericInvariant_diagnostic", new Object[] { "MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed", EObjectValidator.getObjectLabel(this, context) }), new Object[] {this})); } return false; } return true; }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static jpdl32Factory init() { try { jpdl32Factory thejpdl32Factory = (jpdl32Factory) EPackage.Registry.INSTANCE.getEFactory("urn:jbpm.org:jpdl-3.2"); if (thejpdl32Factory != null) { return thejpdl32Factory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new jpdl32FactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static PomFactory init() { try { PomFactory thePomFactory = (PomFactory) EPackage.Registry.INSTANCE.getEFactory("http://maven.apache.org/POM/4.0.0"); if (thePomFactory != null) { return thePomFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new PomFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static DatalayerFactory init() { try { DatalayerFactory theDatalayerFactory = (DatalayerFactory) EPackage.Registry.INSTANCE.getEFactory(DatalayerPackage.eNS_URI); if (theDatalayerFactory != null) { return theDatalayerFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new DatalayerFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- * end-user-doc --> * * @generated */ public static EventsFactory init() { try { final EventsFactory theEventsFactory = (EventsFactory) EPackage.Registry.INSTANCE.getEFactory(EventsPackage.eNS_URI); if (theEventsFactory != null) { return theEventsFactory; } } catch (final Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new EventsFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static JnarioFactory init() { try { JnarioFactory theJnarioFactory = (JnarioFactory) EPackage.Registry.INSTANCE.getEFactory("http://www.org/Jnario"); if (theJnarioFactory != null) { return theJnarioFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new JnarioFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static EzoscmidiFactory init() { try { EzoscmidiFactory theEzoscmidiFactory = (EzoscmidiFactory) EPackage.Registry.INSTANCE.getEFactory("http://ezoscmidi/1.0"); if (theEzoscmidiFactory != null) { return theEzoscmidiFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new EzoscmidiFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static XconfigFactory init() { try { XconfigFactory theXconfigFactory = (XconfigFactory) EPackage.Registry.INSTANCE.getEFactory("http://www.xconfig.org/Xconfig"); if (theXconfigFactory != null) { return theXconfigFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new XconfigFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static BpsimFactory init() { try { BpsimFactory theBpsimFactory = (BpsimFactory) EPackage.Registry.INSTANCE.getEFactory("http://www.bpsim.org/schemas/1.0"); if (theBpsimFactory != null) { return theBpsimFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new BpsimFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static ArithmeticsFactory init() { try { ArithmeticsFactory theArithmeticsFactory = (ArithmeticsFactory) EPackage.Registry.INSTANCE.getEFactory(ArithmeticsPackage.eNS_URI); if (theArithmeticsFactory != null) { return theArithmeticsFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new ArithmeticsFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- * end-user-doc --> * * @generated */ public static PropertiesFactory init() { try { PropertiesFactory thePropertiesFactory = (PropertiesFactory) EPackage.Registry.INSTANCE.getEFactory(PropertiesPackage.eNS_URI); if (thePropertiesFactory != null) { return thePropertiesFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new PropertiesFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static SubsumptionFactory init() { try { SubsumptionFactory theSubsumptionFactory = (SubsumptionFactory) EPackage.Registry.INSTANCE.getEFactory("http://subsumption/1.0"); if (theSubsumptionFactory != null) { return theSubsumptionFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new SubsumptionFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static CommandsFactoryImpl init() { try { CommandsFactoryImpl theCommandsFactory = (CommandsFactoryImpl) EPackage.Registry.INSTANCE.getEFactory(CommandsPackageImpl.eNS_URI); if (theCommandsFactory != null) { return theCommandsFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new CommandsFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static HwGeneralFactory init() { try { HwGeneralFactory theHwGeneralFactory = (HwGeneralFactory) EPackage.Registry.INSTANCE.getEFactory(HwGeneralPackage.eNS_URI); if (theHwGeneralFactory != null) { return theHwGeneralFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new HwGeneralFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static QuartzFactory init() { try { QuartzFactory theQuartzFactory = (QuartzFactory) EPackage.Registry.INSTANCE.getEFactory(QuartzPackage.eNS_URI); if (theQuartzFactory != null) { return theQuartzFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new QuartzFactoryImpl(); }
/** * Creates the default factory implementation. * <!-- begin-user-doc --> * <!-- end-user-doc --> * * @generated */ public static UmlPortFactory init() { try { UmlPortFactory theUmlPortFactory = (UmlPortFactory) EPackage.Registry.INSTANCE.getEFactory(UmlPortPackage.eNS_URI); if (theUmlPortFactory != null) { return theUmlPortFactory; } } catch (Exception exception) { EcorePlugin.INSTANCE.log(exception); } return new UmlPortFactoryImpl(); }