Package tools.descartes.dlim.util

Class DlimValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

tools.descartes.dlim.util.DlimValidator

All Implemented Interfaces:

EValidator

public class DlimValidator
extends EObjectValidator

The Validator for the model.

See Also:

• DlimPackage

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
static final int	BURST__PEAK_TIME_GREATER_ZERO	The code for constraint 'Peak Time Greater Zero' of 'Burst'.
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 DlimValidator	INSTANCE	The cached model package
static final int	SEQUENCE__DURATION_DEFINED	The code for constraint 'Duration Defined' of 'Sequence'.
static final int	TIME_DEPENDENT_FUNCTION_CONTAINER__DURATION_GREATER_ZERO	The code for constraint 'Duration Greater Zero' of 'Time Dependent Function Container'.
static final int	TIME_DEPENDENT_FUNCTION_CONTAINER__REFERENCE_CLOCK_IN_TREE_NODE	The code for constraint 'Reference Clock In Tree Node' of 'Time Dependent Function Container'.

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
DlimValidator()	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	validateAbsoluteSin(AbsoluteSin absoluteSin, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAbsoluteValueFunction(AbsoluteValueFunction absoluteValueFunction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateArrivalRatesFromFile(ArrivalRatesFromFile arrivalRatesFromFile, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBurst(Burst burst, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBurst_peakTimeGreaterZero(Burst burst, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the peakTimeGreaterZero constraint of 'Burst'.
boolean	validateClockType(ClockType clockType, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCombinator(Combinator combinator, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateConstant(Constant constant, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateExponentialIncreaseAndDecline(ExponentialIncreaseAndDecline exponentialIncreaseAndDecline, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateExponentialIncreaseLogarithmicDecline(ExponentialIncreaseLogarithmicDecline exponentialIncreaseLogarithmicDecline, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateExponentialTrend(ExponentialTrend exponentialTrend, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFunction(Function function, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLinearIncreaseAndDecline(LinearIncreaseAndDecline linearIncreaseAndDecline, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLinearTrend(LinearTrend linearTrend, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLogarithmicTrend(LogarithmicTrend logarithmicTrend, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNoise(Noise noise, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNormalNoise(NormalNoise normalNoise, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateOperator(Operator operator, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePolynomial(Polynomial polynomial, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePolynomialFactor(PolynomialFactor polynomialFactor, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateReferenceClockObject(ReferenceClockObject referenceClockObject, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSeasonal(Seasonal seasonal, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSequence(Sequence sequence, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSequence_durationDefined(Sequence sequence, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the durationDefined constraint of 'Sequence'.
boolean	validateSin(Sin sin, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSinTrend(SinTrend sinTrend, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTimeDependentFunctionContainer(TimeDependentFunctionContainer timeDependentFunctionContainer, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTimeDependentFunctionContainer_durationGreaterZero(TimeDependentFunctionContainer timeDependentFunctionContainer, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the durationGreaterZero constraint of 'Time Dependent Function Container'.
boolean	validateTimeDependentFunctionContainer_referenceClockInTreeNode(TimeDependentFunctionContainer timeDependentFunctionContainer, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the referenceClockInTreeNode constraint of 'Time Dependent Function Container'.
boolean	validateTrend(Trend trend, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUniformNoise(UniformNoise uniformNoise, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUnivariateFunction(UnivariateFunction univariateFunction, 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

INSTANCE

public static final DlimValidator 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.

SEQUENCE__DURATION_DEFINED

public static final int SEQUENCE__DURATION_DEFINED

The code for constraint 'Duration Defined' of 'Sequence'.

See Also:

• Constant Field Values

Generated class or method.

TIME_DEPENDENT_FUNCTION_CONTAINER__DURATION_GREATER_ZERO

public static final int TIME_DEPENDENT_FUNCTION_CONTAINER__DURATION_GREATER_ZERO

The code for constraint 'Duration Greater Zero' of 'Time Dependent Function Container'.

See Also:

• Constant Field Values

Generated class or method.

TIME_DEPENDENT_FUNCTION_CONTAINER__REFERENCE_CLOCK_IN_TREE_NODE

public static final int TIME_DEPENDENT_FUNCTION_CONTAINER__REFERENCE_CLOCK_IN_TREE_NODE

The code for constraint 'Reference Clock In Tree Node' of 'Time Dependent Function Container'.

See Also:

• Constant Field Values

Generated class or method.

BURST__PEAK_TIME_GREATER_ZERO

public static final int BURST__PEAK_TIME_GREATER_ZERO

The code for constraint 'Peak Time Greater Zero' of 'Burst'.

See Also:

• 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.

Constructor Details

DlimValidator

public DlimValidator()

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.

validateSequence

public boolean validateSequence(Sequence sequence,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateSequence_durationDefined

public boolean validateSequence_durationDefined(Sequence sequence,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the durationDefined constraint of 'Sequence'.

Generated class or method.

validateCombinator

public boolean validateCombinator(Combinator combinator,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateTimeDependentFunctionContainer

public boolean validateTimeDependentFunctionContainer(TimeDependentFunctionContainer timeDependentFunctionContainer,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateTimeDependentFunctionContainer_durationGreaterZero

public boolean validateTimeDependentFunctionContainer_durationGreaterZero(TimeDependentFunctionContainer timeDependentFunctionContainer,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the durationGreaterZero constraint of 'Time Dependent Function Container'.

Generated class or method.

validateTimeDependentFunctionContainer_referenceClockInTreeNode

public boolean validateTimeDependentFunctionContainer_referenceClockInTreeNode(TimeDependentFunctionContainer timeDependentFunctionContainer,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the referenceClockInTreeNode constraint of 'Time Dependent Function Container'.

Generated class or method.

validateFunction

public boolean validateFunction(Function function,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateSeasonal

public boolean validateSeasonal(Seasonal seasonal,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateNoise

public boolean validateNoise(Noise noise,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateUniformNoise

public boolean validateUniformNoise(UniformNoise uniformNoise,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateNormalNoise

public boolean validateNormalNoise(NormalNoise normalNoise,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateBurst

public boolean validateBurst(Burst burst,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateBurst_peakTimeGreaterZero

public boolean validateBurst_peakTimeGreaterZero(Burst burst,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the peakTimeGreaterZero constraint of 'Burst'.

Generated class or method.

validateTrend

public boolean validateTrend(Trend trend,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateConstant

public boolean validateConstant(Constant constant,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateSin

public boolean validateSin(Sin sin,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateExponentialIncreaseAndDecline

public boolean validateExponentialIncreaseAndDecline(ExponentialIncreaseAndDecline exponentialIncreaseAndDecline,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateExponentialIncreaseLogarithmicDecline

public boolean validateExponentialIncreaseLogarithmicDecline(ExponentialIncreaseLogarithmicDecline exponentialIncreaseLogarithmicDecline,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateLinearIncreaseAndDecline

public boolean validateLinearIncreaseAndDecline(LinearIncreaseAndDecline linearIncreaseAndDecline,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateAbsoluteSin

public boolean validateAbsoluteSin(AbsoluteSin absoluteSin,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateLinearTrend

public boolean validateLinearTrend(LinearTrend linearTrend,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateExponentialTrend

public boolean validateExponentialTrend(ExponentialTrend exponentialTrend,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateLogarithmicTrend

public boolean validateLogarithmicTrend(LogarithmicTrend logarithmicTrend,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateSinTrend

public boolean validateSinTrend(SinTrend sinTrend,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateReferenceClockObject

public boolean validateReferenceClockObject(ReferenceClockObject referenceClockObject,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateArrivalRatesFromFile

public boolean validateArrivalRatesFromFile(ArrivalRatesFromFile arrivalRatesFromFile,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateAbsoluteValueFunction

public boolean validateAbsoluteValueFunction(AbsoluteValueFunction absoluteValueFunction,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateUnivariateFunction

public boolean validateUnivariateFunction(UnivariateFunction univariateFunction,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validatePolynomial

public boolean validatePolynomial(Polynomial polynomial,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validatePolynomialFactor

public boolean validatePolynomialFactor(PolynomialFactor polynomialFactor,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateClockType

public boolean validateClockType(ClockType clockType,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateOperator

public boolean validateOperator(Operator operator,
 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.