Package de.uka.ipd.sdq.stoex.util

Class StoexValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

de.uka.ipd.sdq.stoex.util.StoexValidator

All Implemented Interfaces:

EValidator

public class StoexValidator
extends EObjectValidator

The Validator for the model.

See Also:

• StoexPackage

Generated class or method.

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

Modifier and Type	Field	Description
protected static final String	ABSTRACT_NAMED_REFERENCE__REFERENCE_SEGMENT_MUST_NEVER_CONTAIN_ADOT__EEXPRESSION	The cached validation expression for the referenceSegmentMustNeverContainADot constraint of 'Abstract Named Reference'.
static final String	copyright
protected static final int	DIAGNOSTIC_CODE_COUNT	A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
static final String	DIAGNOSTIC_SOURCE	A constant for the source of diagnostic codes from this package.
static final StoexValidator	INSTANCE	The cached model package

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
StoexValidator()	Creates an instance of the switch.

Method Summary

Modifier and Type	Method	Description
protected EPackage	getEPackage()	Returns the package of this validator switch.
ResourceLocator	getResourceLocator()	Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
protected boolean	validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object,Object> context)	Calls validateXXX for the corresponding classifier of the model.
boolean	validateAbstractNamedReference(AbstractNamedReference abstractNamedReference, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAbstractNamedReference_referenceSegmentMustNeverContainADot(AbstractNamedReference abstractNamedReference, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the referenceSegmentMustNeverContainADot constraint of 'Abstract Named Reference'.
boolean	validateAtom(Atom atom, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBooleanExpression(BooleanExpression booleanExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBooleanOperations(BooleanOperations booleanOperations, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBooleanOperatorExpression(BooleanOperatorExpression booleanOperatorExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBoolLiteral(BoolLiteral boolLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCompareExpression(CompareExpression compareExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCompareOperations(CompareOperations compareOperations, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateComparison(Comparison comparison, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDoubleLiteral(DoubleLiteral doubleLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateExpression(Expression expression, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFunctionLiteral(FunctionLiteral functionLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateIfElse(IfElse ifElse, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateIfElseExpression(IfElseExpression ifElseExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateIntLiteral(IntLiteral intLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNamespaceReference(NamespaceReference namespaceReference, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNegativeExpression(NegativeExpression negativeExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNotExpression(NotExpression notExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNumericLiteral(NumericLiteral numericLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateParenthesis(Parenthesis parenthesis, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePower(Power power, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePowerExpression(PowerExpression powerExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateProbabilityFunctionLiteral(ProbabilityFunctionLiteral probabilityFunctionLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateProduct(Product product, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateProductExpression(ProductExpression productExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateProductOperations(ProductOperations productOperations, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateRandomVariable(RandomVariable randomVariable, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStringLiteral(StringLiteral stringLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTerm(Term term, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTermExpression(TermExpression termExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTermOperations(TermOperations termOperations, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUnary(Unary unary, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateVariable(Variable variable, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateVariableReference(VariableReference variableReference, DiagnosticChain diagnostics, Map<Object,Object> context)

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

Field Details

copyright

public static final String copyright

See Also:

• Constant Field Values

Generated class or method.

INSTANCE

public static final StoexValidator INSTANCE

The cached model package

Generated class or method.

DIAGNOSTIC_SOURCE

public static final String DIAGNOSTIC_SOURCE

A constant for the source of diagnostic codes from this package.

See Also:

• Diagnostic.getSource()
• Diagnostic.getCode()
• Constant Field Values

Generated class or method.

DIAGNOSTIC_CODE_COUNT

protected static final int DIAGNOSTIC_CODE_COUNT

A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.

See Also:

• Constant Field Values

Generated class or method.

ABSTRACT_NAMED_REFERENCE__REFERENCE_SEGMENT_MUST_NEVER_CONTAIN_ADOT__EEXPRESSION

protected static final String ABSTRACT_NAMED_REFERENCE__REFERENCE_SEGMENT_MUST_NEVER_CONTAIN_ADOT__EEXPRESSION

The cached validation expression for the referenceSegmentMustNeverContainADot constraint of 'Abstract Named Reference'.

See Also:

• Constant Field Values

Generated class or method.

Constructor Details

StoexValidator

public StoexValidator()

Creates an instance of the switch.

Generated class or method.

Method Details

getEPackage

protected EPackage getEPackage()

Returns the package of this validator switch.

Overrides:

getEPackage in class EObjectValidator

Generated class or method.

validate

protected boolean validate(int classifierID,
 Object value,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Calls validateXXX for the corresponding classifier of the model.

Overrides:

validate in class EObjectValidator

Generated class or method.

validateVariableReference

public boolean validateVariableReference(VariableReference variableReference,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateAbstractNamedReference

public boolean validateAbstractNamedReference(AbstractNamedReference abstractNamedReference,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateAbstractNamedReference_referenceSegmentMustNeverContainADot

public boolean validateAbstractNamedReference_referenceSegmentMustNeverContainADot(AbstractNamedReference abstractNamedReference,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the referenceSegmentMustNeverContainADot constraint of 'Abstract Named Reference'.

Generated class or method.

validateNamespaceReference

public boolean validateNamespaceReference(NamespaceReference namespaceReference,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateVariable

public boolean validateVariable(Variable variable,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateAtom

public boolean validateAtom(Atom atom,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateUnary

public boolean validateUnary(Unary unary,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validatePower

public boolean validatePower(Power power,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateProduct

public boolean validateProduct(Product product,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateTerm

public boolean validateTerm(Term term,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateComparison

public boolean validateComparison(Comparison comparison,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateBooleanExpression

public boolean validateBooleanExpression(BooleanExpression booleanExpression,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateIfElse

public boolean validateIfElse(IfElse ifElse,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateExpression

public boolean validateExpression(Expression expression,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateTermExpression

public boolean validateTermExpression(TermExpression termExpression,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateProductExpression

public boolean validateProductExpression(ProductExpression productExpression,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateProbabilityFunctionLiteral

public boolean validateProbabilityFunctionLiteral(ProbabilityFunctionLiteral probabilityFunctionLiteral,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateParenthesis

public boolean validateParenthesis(Parenthesis parenthesis,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateNumericLiteral

public boolean validateNumericLiteral(NumericLiteral numericLiteral,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateIntLiteral

public boolean validateIntLiteral(IntLiteral intLiteral,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateDoubleLiteral

public boolean validateDoubleLiteral(DoubleLiteral doubleLiteral,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateCompareExpression

public boolean validateCompareExpression(CompareExpression compareExpression,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateBoolLiteral

public boolean validateBoolLiteral(BoolLiteral boolLiteral,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateStringLiteral

public boolean validateStringLiteral(StringLiteral stringLiteral,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validatePowerExpression

public boolean validatePowerExpression(PowerExpression powerExpression,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateBooleanOperatorExpression

public boolean validateBooleanOperatorExpression(BooleanOperatorExpression booleanOperatorExpression,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateNotExpression

public boolean validateNotExpression(NotExpression notExpression,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateNegativeExpression

public boolean validateNegativeExpression(NegativeExpression negativeExpression,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateFunctionLiteral

public boolean validateFunctionLiteral(FunctionLiteral functionLiteral,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateIfElseExpression

public boolean validateIfElseExpression(IfElseExpression ifElseExpression,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateRandomVariable

public boolean validateRandomVariable(RandomVariable randomVariable,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateTermOperations

public boolean validateTermOperations(TermOperations termOperations,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateProductOperations

public boolean validateProductOperations(ProductOperations productOperations,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateCompareOperations

public boolean validateCompareOperations(CompareOperations compareOperations,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateBooleanOperations

public boolean validateBooleanOperations(BooleanOperations booleanOperations,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

getResourceLocator

public ResourceLocator getResourceLocator()

Returns the resource locator that will be used to fetch messages for this validator's diagnostics.

Overrides:

getResourceLocator in class EObjectValidator

Generated class or method.