Package org.palladiosimulator.dataflow.diagram.characterized.DataFlowDiagramCharacterized.util

Class DataFlowDiagramCharacterizedValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.dataflow.diagram.characterized.DataFlowDiagramCharacterized.util.DataFlowDiagramCharacterizedValidatorGen

org.palladiosimulator.dataflow.diagram.characterized.DataFlowDiagramCharacterized.util.DataFlowDiagramCharacterizedValidator

All Implemented Interfaces:

EValidator

public class DataFlowDiagramCharacterizedValidator
extends DataFlowDiagramCharacterizedValidatorGen

See Also:

DataFlowDiagramCharacterizedValidatorGen

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.util.EObjectValidator

EObjectValidator.DynamicEClassValidator, EObjectValidator.DynamicEDataTypeValidator

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator

EValidator.Descriptor, EValidator.PatternMatcher, EValidator.Registry, EValidator.SubstitutionLabelProvider, EValidator.ValidationDelegate

Field Summary

Fields inherited from class org.palladiosimulator.dataflow.diagram.characterized.DataFlowDiagramCharacterized.util.DataFlowDiagramCharacterizedValidatorGen

BEHAVING__EXACTLY_ONE_BEHAVIOR_HAS_TO_BE_SPECIFIED__EEXPRESSION, CHARACTERIZED_DATA_FLOW__DESTINATION_PIN_IS_ENTITY_INPUT_PIN__EEXPRESSION, CHARACTERIZED_DATA_FLOW__DESTINATION_PIN_OWNER_MATCHES_DESTINATION__EEXPRESSION, CHARACTERIZED_DATA_FLOW__NOT_PART_OF_LOOP__EEXPRESSION, CHARACTERIZED_DATA_FLOW__SOURCE_PIN_IS_ENTITY_OUTPUT_PIN__EEXPRESSION, CHARACTERIZED_DATA_FLOW__SOURCE_PIN_OWNER_MATCHES_SOURCE__EEXPRESSION, CHARACTERIZED_NODE__AT_LEAST_ONE_INPUT_FLOW_FOR_EACH_INPUT_PIN__EEXPRESSION, CHARACTERIZED_STORE__STORE_HAS_EXACTLY_ONE_INPUT_AND_ONE_OUTPUT_PIN__EEXPRESSION, CHARACTERIZED_STORE__STORE_HAS_NO_ASSIGNMENTS_IN_BEHAVIOR__EEXPRESSION, DIAGNOSTIC_CODE_COUNT, DIAGNOSTIC_SOURCE, INSTANCE

Fields inherited from class org.eclipse.emf.ecore.util.EObjectValidator

DATA_VALUE__FRACTION_DIGITS_IN_RANGE, DATA_VALUE__LENGTH_IN_RANGE, DATA_VALUE__MATCHES_PATTERN, DATA_VALUE__TOTAL_DIGITS_IN_RANGE, DATA_VALUE__TYPE_CORRECT, DATA_VALUE__VALUE_IN_ENUMERATION, DATA_VALUE__VALUE_IN_RANGE, EOBJECT__EVERY_BIDIRECTIONAL_REFERENCE_IS_PAIRED, EOBJECT__EVERY_DATA_VALUE_CONFORMS, EOBJECT__EVERY_KEY_UNIQUE, EOBJECT__EVERY_MAP_ENTRY_UNIQUE, EOBJECT__EVERY_MULTIPCITY_CONFORMS, EOBJECT__EVERY_PROXY_RESOLVES, EOBJECT__EVERY_REFERENCE_IS_CONTAINED, EOBJECT__NO_CIRCULAR_CONTAINMENT, EOBJECT__UNIQUE_ID, ROOT_OBJECT

Fields inherited from interface org.eclipse.emf.ecore.EValidator

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

Constructors

Constructor	Description
DataFlowDiagramCharacterizedValidator()

Method Summary

Modifier and Type	Method	Description
boolean	validateCharacterizedDataFlow_notPartOfLoop(CharacterizedDataFlow characterizedDataFlow, DiagnosticChain diagnostics, Map<Object,Object> context)	Changes the severity of the constraint to an information because the analysis logic should be able to handle loops.

Methods inherited from class org.palladiosimulator.dataflow.diagram.characterized.DataFlowDiagramCharacterized.util.DataFlowDiagramCharacterizedValidatorGen

getEPackage, getResourceLocator, validate, validateBehaving, validateBehaving_exactlyOneBehaviorHasToBeSpecified, validateCharacterizable, validateCharacterizedActorProcess, validateCharacterizedDataFlow, validateCharacterizedDataFlow_destinationPinIsEntityInputPin, validateCharacterizedDataFlow_destinationPinOwnerMatchesDestination, validateCharacterizedDataFlow_sourcePinIsEntityOutputPin, validateCharacterizedDataFlow_sourcePinOwnerMatchesSource, validateCharacterizedExternalActor, validateCharacterizedNode, validateCharacterizedNode_atLeastOneInputFlowForEachInputPin, validateCharacterizedProcess, validateCharacterizedStore, validateCharacterizedStore_storeHasExactlyOneInputAndOneOutputPin, validateCharacterizedStore_storeHasNoAssignmentsInBehavior

Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator

createBadDataValueDiagnostic, createDiagnostic, getAvailableChoices, getEcoreResourceLocator, getEcoreString, getFeatureLabel, getObjectLabel, getRootEValidator, getString, getValidationDelegateRegistry, getValueLabel, isEcoreString, reportConstraintDelegateException, reportConstraintDelegateException, reportConstraintDelegateNotFound, reportConstraintDelegateNotFound, reportConstraintDelegateViolation, reportConstraintDelegateViolation, reportDataValuePatternViolation, reportDataValueTypeViolation, reportEnumerationViolation, reportFractionDigitsViolation, reportInvariantDelegateException, reportInvariantDelegateNotFound, reportInvariantDelegateViolation, reportMaxLengthViolation, reportMaxViolation, reportMinLengthViolation, reportMinViolation, reportTotalDigitsViolation, validate, validate, validate, validate, validate, validate, validate_BidirectionalReferenceIsPaired, validate_DataValueConforms, validate_EveryBidirectionalReferenceIsPaired, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_KeyUnique, validate_MapEntryUnique, validate_MultiplicityConforms, validate_NoCircularContainment, validate_UniqueID, validatePattern, wrapEnumerationValues

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DataFlowDiagramCharacterizedValidator

public DataFlowDiagramCharacterizedValidator()

Method Detail

validateCharacterizedDataFlow_notPartOfLoop

public boolean validateCharacterizedDataFlow_notPartOfLoop(CharacterizedDataFlow characterizedDataFlow,
                                                           DiagnosticChain diagnostics,
                                                           Map<Object,Object> context)

Changes the severity of the constraint to an information because the analysis logic should be able to handle loops. However, if the model introduces or wants to make use of flapping characteristics, the behavior might not be as expected.

Overrides:

validateCharacterizedDataFlow_notPartOfLoop in class DataFlowDiagramCharacterizedValidatorGen

See Also:

DataFlowDiagramCharacterizedValidatorGen.validateCharacterizedDataFlow_notPartOfLoop(CharacterizedDataFlow, DiagnosticChain, Map)