java.lang.Object
- org.eclipse.emf.ecore.util.EObjectValidator
- - org.palladiosimulator.pcm.dataprocessing.prolog.prologmodel.util.PrologmodelValidator

All Implemented Interfaces:

EValidator
```
public class PrologmodelValidator
extends EObjectValidator
```
The Validator for the model.

See Also:

PrologmodelPackage

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 String`	`CALLER__CALL_NAMES_UNIQUE__EEXPRESSION`	The cached validation expression for the callNamesUnique constraint of 'Caller'.
`protected static String`	`DEFAULT_STATE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION`	The cached validation expression for the isAttributeValid constraint of 'Default State Ref'.
`protected static String`	`DEFAULT_STATE_REF__IS_STATE_VARIABLE_VALID__EEXPRESSION`	The cached validation expression for the isStateVariableValid constraint of 'Default State Ref'.
`protected static String`	`DEFAULT_STATE_REF__IS_VALUE_VALID__EEXPRESSION`	The cached validation expression for the isValueValid constraint of 'Default State Ref'.
`protected static 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 String`	`DIAGNOSTIC_SOURCE`	A constant for the `source` of diagnostic `codes` from this package.
`static PrologmodelValidator`	`INSTANCE`	The cached model package
`protected static String`	`MIN_STATIC__LEFT_HAND_SIDE_IS_NO_ATTRIBUTE_WILDCARD__EEXPRESSION`	The cached validation expression for the leftHandSideIsNoAttributeWildcard constraint of 'Min Static'.
`protected static String`	`MIN_STATIC__LEFT_HAND_SIDE_IS_VALUE_WILDCARD__EEXPRESSION`	The cached validation expression for the leftHandSideIsValueWildcard constraint of 'Min Static'.
`protected static String`	`MIN_STATIC__OPERANDS_ARE_ATTRIBUTE_WILDCARDS__EEXPRESSION`	The cached validation expression for the operandsAreAttributeWildcards constraint of 'Min Static'.
`protected static String`	`MIN_STATIC__VALUE_MATCHES_ASSIGNMENT_TYPE__EEXPRESSION`	The cached validation expression for the valueMatchesAssignmentType constraint of 'Min Static'.
`protected static String`	`OPERATION__NO_CYCLES_IN_CALL_GRAPH__EEXPRESSION`	The cached validation expression for the noCyclesInCallGraph constraint of 'Operation'.
`protected static String`	`OPERATION__NO_DUPLICATE_PROPERTY_DEFINITIONS__EEXPRESSION`	The cached validation expression for the noDuplicatePropertyDefinitions constraint of 'Operation'.
`protected static String`	`OPERATION__ONLY_CONSTANT_DEFAULT_STATE_DEFINITIONS__EEXPRESSION`	The cached validation expression for the onlyConstantDefaultStateDefinitions constraint of 'Operation'.
`protected static String`	`OPERATION__PARAMETER_NAMES_UNIQUE__EEXPRESSION`	The cached validation expression for the parameterNamesUnique constraint of 'Operation'.
`protected static String`	`OPERATION__RETURN_VALUE_NAMES_UNIQUE__EEXPRESSION`	The cached validation expression for the returnValueNamesUnique constraint of 'Operation'.
`protected static String`	`OPERATION__STATE_NAMES_UNIQUE__EEXPRESSION`	The cached validation expression for the stateNamesUnique constraint of 'Operation'.
`protected static String`	`PARAMETER_REF__IS_ATTRIBUTE_VALID__EEXPRESSION`	The cached validation expression for the isAttributeValid constraint of 'Parameter Ref'.
`protected static String`	`PARAMETER_REF__IS_PARAMETER_VALID__EEXPRESSION`	The cached validation expression for the isParameterValid constraint of 'Parameter Ref'.
`protected static String`	`PARAMETER_REF__IS_VALUE_VALID__EEXPRESSION`	The cached validation expression for the isValueValid constraint of 'Parameter Ref'.
`protected static String`	`PROPERTY_DEFINITION__VALUES_PART_OF_PROPERTY_TYPE__EEXPRESSION`	The cached validation expression for the valuesPartOfPropertyType constraint of 'Property Definition'.
`protected static String`	`PROPERTY_REF__IS_PROPERTY_VALID__EEXPRESSION`	The cached validation expression for the isPropertyValid constraint of 'Property Ref'.
`protected static String`	`PROPERTY_REF__IS_VALUE_VALID__EEXPRESSION`	The cached validation expression for the isValueValid constraint of 'Property Ref'.
`protected static String`	`RETURN_VALUE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION`	The cached validation expression for the isAttributeValid constraint of 'Return Value Ref'.
`protected static String`	`RETURN_VALUE_REF__IS_CALL_VALID__EEXPRESSION`	The cached validation expression for the isCallValid constraint of 'Return Value Ref'.
`protected static String`	`RETURN_VALUE_REF__IS_RETURN_VALUE_VALID__EEXPRESSION`	The cached validation expression for the isReturnValueValid constraint of 'Return Value Ref'.
`protected static String`	`RETURN_VALUE_REF__IS_VALUE_VALID__EEXPRESSION`	The cached validation expression for the isValueValid constraint of 'Return Value Ref'.
`protected static String`	`STATE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION`	The cached validation expression for the isAttributeValid constraint of 'State Ref'.
`protected static String`	`STATE_REF__IS_STATE_VARIABLE_VALID__EEXPRESSION`	The cached validation expression for the isStateVariableValid constraint of 'State Ref'.
`protected static String`	`STATE_REF__IS_VALUE_VALID__EEXPRESSION`	The cached validation expression for the isValueValid constraint of 'State Ref'.
`protected static String`	`SYSTEM__ATTRIBUTE_NAMES_UNIQUE__EEXPRESSION`	The cached validation expression for the attributeNamesUnique constraint of 'System'.
`protected static String`	`SYSTEM__DATATYPE_NAMES_UNIQUE__EEXPRESSION`	The cached validation expression for the datatypeNamesUnique constraint of 'System'.
`protected static String`	`SYSTEM__OPERATION_AND_SYSTEM_USAGE_NAMES_UNIQUE__EEXPRESSION`	The cached validation expression for the operationAndSystemUsageNamesUnique constraint of 'System'.
`protected static String`	`SYSTEM__PROPERTY_NAMES_UNIQUE__EEXPRESSION`	The cached validation expression for the propertyNamesUnique constraint of 'System'.
`protected static String`	`SYSTEM__VALUE_SET_TYPE_NAMES_UNIQUE__EEXPRESSION`	The cached validation expression for the valueSetTypeNamesUnique constraint of 'System'.
`protected static String`	`VALUE_SET_TYPE__VALUE_NAMES_UNIQUE__EEXPRESSION`	The cached validation expression for the valueNamesUnique constraint of 'Value Set Type'.
`protected static String`	`VARIABLE_ASSIGNMENT__IS_ATTRIBUTE_VALID__EEXPRESSION`	The cached validation expression for the isAttributeValid constraint of 'Variable Assignment'.
`protected static String`	`VARIABLE_ASSIGNMENT__IS_VALUE_VALID__EEXPRESSION`	The cached validation expression for the isValueValid constraint of 'Variable Assignment'.
`protected static String`	`VARIABLE_ASSIGNMENT__IS_VARIABLE_VALID__EEXPRESSION`	The cached validation expression for the isVariableValid constraint of 'Variable Assignment'.

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

PrologmodelValidator()
Creates an instance of the switch.

Method Summary

All Methods Instance Methods Concrete Methods
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`	`validateAnd(And and, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateAttribute(Attribute attribute, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateCaller(Caller caller, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateCaller_callNamesUnique(Caller caller, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the callNamesUnique constraint of 'Caller'.
`boolean`	`validateDataType(DataType dataType, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateDefaultStateRef(DefaultStateRef defaultStateRef, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateDefaultStateRef_isAttributeValid(DefaultStateRef defaultStateRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isAttributeValid constraint of 'Default State Ref'.
`boolean`	`validateDefaultStateRef_isStateVariableValid(DefaultStateRef defaultStateRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isStateVariableValid constraint of 'Default State Ref'.
`boolean`	`validateDefaultStateRef_isValueValid(DefaultStateRef defaultStateRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isValueValid constraint of 'Default State Ref'.
`boolean`	`validateFalse(False false_, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateLogicTerm(LogicTerm logicTerm, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateMinStatic(MinStatic minStatic, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateMinStatic_leftHandSideIsNoAttributeWildcard(MinStatic minStatic, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the leftHandSideIsNoAttributeWildcard constraint of 'Min Static'.
`boolean`	`validateMinStatic_leftHandSideIsValueWildcard(MinStatic minStatic, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the leftHandSideIsValueWildcard constraint of 'Min Static'.
`boolean`	`validateMinStatic_operandsAreAttributeWildcards(MinStatic minStatic, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the operandsAreAttributeWildcards constraint of 'Min Static'.
`boolean`	`validateMinStatic_valueMatchesAssignmentType(MinStatic minStatic, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the valueMatchesAssignmentType constraint of 'Min Static'.
`boolean`	`validateNot(Not not, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateOperation(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateOperation_noCyclesInCallGraph(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the noCyclesInCallGraph constraint of 'Operation'.
`boolean`	`validateOperation_noDuplicatePropertyDefinitions(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the noDuplicatePropertyDefinitions constraint of 'Operation'.
`boolean`	`validateOperation_onlyConstantDefaultStateDefinitions(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the onlyConstantDefaultStateDefinitions constraint of 'Operation'.
`boolean`	`validateOperation_parameterNamesUnique(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the parameterNamesUnique constraint of 'Operation'.
`boolean`	`validateOperation_returnValueNamesUnique(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the returnValueNamesUnique constraint of 'Operation'.
`boolean`	`validateOperation_stateNamesUnique(Operation operation, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the stateNamesUnique constraint of 'Operation'.
`boolean`	`validateOperationCall(OperationCall operationCall, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateOr(Or or, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateParameterRef(ParameterRef parameterRef, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateParameterRef_isAttributeValid(ParameterRef parameterRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isAttributeValid constraint of 'Parameter Ref'.
`boolean`	`validateParameterRef_isParameterValid(ParameterRef parameterRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isParameterValid constraint of 'Parameter Ref'.
`boolean`	`validateParameterRef_isValueValid(ParameterRef parameterRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isValueValid constraint of 'Parameter Ref'.
`boolean`	`validateProperty(Property property, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validatePropertyDefinition(PropertyDefinition propertyDefinition, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validatePropertyDefinition_valuesPartOfPropertyType(PropertyDefinition propertyDefinition, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the valuesPartOfPropertyType constraint of 'Property Definition'.
`boolean`	`validatePropertyRef(PropertyRef propertyRef, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validatePropertyRef_isPropertyValid(PropertyRef propertyRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isPropertyValid constraint of 'Property Ref'.
`boolean`	`validatePropertyRef_isValueValid(PropertyRef propertyRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isValueValid constraint of 'Property Ref'.
`boolean`	`validateReturnValueRef(ReturnValueRef returnValueRef, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateReturnValueRef_isAttributeValid(ReturnValueRef returnValueRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isAttributeValid constraint of 'Return Value Ref'.
`boolean`	`validateReturnValueRef_isCallValid(ReturnValueRef returnValueRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isCallValid constraint of 'Return Value Ref'.
`boolean`	`validateReturnValueRef_isReturnValueValid(ReturnValueRef returnValueRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isReturnValueValid constraint of 'Return Value Ref'.
`boolean`	`validateReturnValueRef_isValueValid(ReturnValueRef returnValueRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isValueValid constraint of 'Return Value Ref'.
`boolean`	`validateStateRef(StateRef stateRef, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateStateRef_isAttributeValid(StateRef stateRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isAttributeValid constraint of 'State Ref'.
`boolean`	`validateStateRef_isStateVariableValid(StateRef stateRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isStateVariableValid constraint of 'State Ref'.
`boolean`	`validateStateRef_isValueValid(StateRef stateRef, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isValueValid constraint of 'State Ref'.
`boolean`	`validateSystem(System system, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateSystem_attributeNamesUnique(System system, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the attributeNamesUnique constraint of 'System'.
`boolean`	`validateSystem_datatypeNamesUnique(System system, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the datatypeNamesUnique constraint of 'System'.
`boolean`	`validateSystem_operationAndSystemUsageNamesUnique(System system, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the operationAndSystemUsageNamesUnique constraint of 'System'.
`boolean`	`validateSystem_propertyNamesUnique(System system, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the propertyNamesUnique constraint of 'System'.
`boolean`	`validateSystem_valueSetTypeNamesUnique(System system, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the valueSetTypeNamesUnique constraint of 'System'.
`boolean`	`validateSystemUsage(SystemUsage systemUsage, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateTrue(True true_, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateValue(Value value, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateValueSetType(ValueSetType valueSetType, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateValueSetType_valueNamesUnique(ValueSetType valueSetType, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the valueNamesUnique constraint of 'Value Set Type'.
`boolean`	`validateVariable(Variable variable, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateVariableAssignment(VariableAssignment variableAssignment, DiagnosticChain diagnostics, Map<Object,Object> context)`
`boolean`	`validateVariableAssignment_isAttributeValid(VariableAssignment variableAssignment, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isAttributeValid constraint of 'Variable Assignment'.
`boolean`	`validateVariableAssignment_isValueValid(VariableAssignment variableAssignment, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isValueValid constraint of 'Variable Assignment'.
`boolean`	`validateVariableAssignment_isVariableValid(VariableAssignment variableAssignment, DiagnosticChain diagnostics, Map<Object,Object> context)`	Validates the isVariableValid constraint of 'Variable Assignment'.

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 Detail
- INSTANCE
```
public static final PrologmodelValidator 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.
- SYSTEM__ATTRIBUTE_NAMES_UNIQUE__EEXPRESSION
```
protected static final String SYSTEM__ATTRIBUTE_NAMES_UNIQUE__EEXPRESSION
```
  The cached validation expression for the attributeNamesUnique constraint of 'System'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- SYSTEM__DATATYPE_NAMES_UNIQUE__EEXPRESSION
```
protected static final String SYSTEM__DATATYPE_NAMES_UNIQUE__EEXPRESSION
```
  The cached validation expression for the datatypeNamesUnique constraint of 'System'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- SYSTEM__PROPERTY_NAMES_UNIQUE__EEXPRESSION
```
protected static final String SYSTEM__PROPERTY_NAMES_UNIQUE__EEXPRESSION
```
  The cached validation expression for the propertyNamesUnique constraint of 'System'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- SYSTEM__VALUE_SET_TYPE_NAMES_UNIQUE__EEXPRESSION
```
protected static final String SYSTEM__VALUE_SET_TYPE_NAMES_UNIQUE__EEXPRESSION
```
  The cached validation expression for the valueSetTypeNamesUnique constraint of 'System'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- SYSTEM__OPERATION_AND_SYSTEM_USAGE_NAMES_UNIQUE__EEXPRESSION
```
protected static final String SYSTEM__OPERATION_AND_SYSTEM_USAGE_NAMES_UNIQUE__EEXPRESSION
```
  The cached validation expression for the operationAndSystemUsageNamesUnique constraint of 'System'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- OPERATION__PARAMETER_NAMES_UNIQUE__EEXPRESSION
```
protected static final String OPERATION__PARAMETER_NAMES_UNIQUE__EEXPRESSION
```
  The cached validation expression for the parameterNamesUnique constraint of 'Operation'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- OPERATION__RETURN_VALUE_NAMES_UNIQUE__EEXPRESSION
```
protected static final String OPERATION__RETURN_VALUE_NAMES_UNIQUE__EEXPRESSION
```
  The cached validation expression for the returnValueNamesUnique constraint of 'Operation'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- OPERATION__STATE_NAMES_UNIQUE__EEXPRESSION
```
protected static final String OPERATION__STATE_NAMES_UNIQUE__EEXPRESSION
```
  The cached validation expression for the stateNamesUnique constraint of 'Operation'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- OPERATION__NO_DUPLICATE_PROPERTY_DEFINITIONS__EEXPRESSION
```
protected static final String OPERATION__NO_DUPLICATE_PROPERTY_DEFINITIONS__EEXPRESSION
```
  The cached validation expression for the noDuplicatePropertyDefinitions constraint of 'Operation'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- OPERATION__NO_CYCLES_IN_CALL_GRAPH__EEXPRESSION
```
protected static final String OPERATION__NO_CYCLES_IN_CALL_GRAPH__EEXPRESSION
```
  The cached validation expression for the noCyclesInCallGraph constraint of 'Operation'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- OPERATION__ONLY_CONSTANT_DEFAULT_STATE_DEFINITIONS__EEXPRESSION
```
protected static final String OPERATION__ONLY_CONSTANT_DEFAULT_STATE_DEFINITIONS__EEXPRESSION
```
  The cached validation expression for the onlyConstantDefaultStateDefinitions constraint of 'Operation'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- PROPERTY_DEFINITION__VALUES_PART_OF_PROPERTY_TYPE__EEXPRESSION
```
protected static final String PROPERTY_DEFINITION__VALUES_PART_OF_PROPERTY_TYPE__EEXPRESSION
```
  The cached validation expression for the valuesPartOfPropertyType constraint of 'Property Definition'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- VARIABLE_ASSIGNMENT__IS_VARIABLE_VALID__EEXPRESSION
```
protected static final String VARIABLE_ASSIGNMENT__IS_VARIABLE_VALID__EEXPRESSION
```
  The cached validation expression for the isVariableValid constraint of 'Variable Assignment'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- VARIABLE_ASSIGNMENT__IS_ATTRIBUTE_VALID__EEXPRESSION
```
protected static final String VARIABLE_ASSIGNMENT__IS_ATTRIBUTE_VALID__EEXPRESSION
```
  The cached validation expression for the isAttributeValid constraint of 'Variable Assignment'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- VARIABLE_ASSIGNMENT__IS_VALUE_VALID__EEXPRESSION
```
protected static final String VARIABLE_ASSIGNMENT__IS_VALUE_VALID__EEXPRESSION
```
  The cached validation expression for the isValueValid constraint of 'Variable Assignment'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- VALUE_SET_TYPE__VALUE_NAMES_UNIQUE__EEXPRESSION
```
protected static final String VALUE_SET_TYPE__VALUE_NAMES_UNIQUE__EEXPRESSION
```
  The cached validation expression for the valueNamesUnique constraint of 'Value Set Type'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- PARAMETER_REF__IS_PARAMETER_VALID__EEXPRESSION
```
protected static final String PARAMETER_REF__IS_PARAMETER_VALID__EEXPRESSION
```
  The cached validation expression for the isParameterValid constraint of 'Parameter Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- PARAMETER_REF__IS_ATTRIBUTE_VALID__EEXPRESSION
```
protected static final String PARAMETER_REF__IS_ATTRIBUTE_VALID__EEXPRESSION
```
  The cached validation expression for the isAttributeValid constraint of 'Parameter Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- PARAMETER_REF__IS_VALUE_VALID__EEXPRESSION
```
protected static final String PARAMETER_REF__IS_VALUE_VALID__EEXPRESSION
```
  The cached validation expression for the isValueValid constraint of 'Parameter Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- PROPERTY_REF__IS_PROPERTY_VALID__EEXPRESSION
```
protected static final String PROPERTY_REF__IS_PROPERTY_VALID__EEXPRESSION
```
  The cached validation expression for the isPropertyValid constraint of 'Property Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- PROPERTY_REF__IS_VALUE_VALID__EEXPRESSION
```
protected static final String PROPERTY_REF__IS_VALUE_VALID__EEXPRESSION
```
  The cached validation expression for the isValueValid constraint of 'Property Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- CALLER__CALL_NAMES_UNIQUE__EEXPRESSION
```
protected static final String CALLER__CALL_NAMES_UNIQUE__EEXPRESSION
```
  The cached validation expression for the callNamesUnique constraint of 'Caller'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- RETURN_VALUE_REF__IS_CALL_VALID__EEXPRESSION
```
protected static final String RETURN_VALUE_REF__IS_CALL_VALID__EEXPRESSION
```
  The cached validation expression for the isCallValid constraint of 'Return Value Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- RETURN_VALUE_REF__IS_RETURN_VALUE_VALID__EEXPRESSION
```
protected static final String RETURN_VALUE_REF__IS_RETURN_VALUE_VALID__EEXPRESSION
```
  The cached validation expression for the isReturnValueValid constraint of 'Return Value Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- RETURN_VALUE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION
```
protected static final String RETURN_VALUE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION
```
  The cached validation expression for the isAttributeValid constraint of 'Return Value Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- RETURN_VALUE_REF__IS_VALUE_VALID__EEXPRESSION
```
protected static final String RETURN_VALUE_REF__IS_VALUE_VALID__EEXPRESSION
```
  The cached validation expression for the isValueValid constraint of 'Return Value Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- STATE_REF__IS_STATE_VARIABLE_VALID__EEXPRESSION
```
protected static final String STATE_REF__IS_STATE_VARIABLE_VALID__EEXPRESSION
```
  The cached validation expression for the isStateVariableValid constraint of 'State Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- STATE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION
```
protected static final String STATE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION
```
  The cached validation expression for the isAttributeValid constraint of 'State Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- STATE_REF__IS_VALUE_VALID__EEXPRESSION
```
protected static final String STATE_REF__IS_VALUE_VALID__EEXPRESSION
```
  The cached validation expression for the isValueValid constraint of 'State Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- DEFAULT_STATE_REF__IS_STATE_VARIABLE_VALID__EEXPRESSION
```
protected static final String DEFAULT_STATE_REF__IS_STATE_VARIABLE_VALID__EEXPRESSION
```
  The cached validation expression for the isStateVariableValid constraint of 'Default State Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- DEFAULT_STATE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION
```
protected static final String DEFAULT_STATE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION
```
  The cached validation expression for the isAttributeValid constraint of 'Default State Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- DEFAULT_STATE_REF__IS_VALUE_VALID__EEXPRESSION
```
protected static final String DEFAULT_STATE_REF__IS_VALUE_VALID__EEXPRESSION
```
  The cached validation expression for the isValueValid constraint of 'Default State Ref'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- MIN_STATIC__LEFT_HAND_SIDE_IS_VALUE_WILDCARD__EEXPRESSION
```
protected static final String MIN_STATIC__LEFT_HAND_SIDE_IS_VALUE_WILDCARD__EEXPRESSION
```
  The cached validation expression for the leftHandSideIsValueWildcard constraint of 'Min Static'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- MIN_STATIC__LEFT_HAND_SIDE_IS_NO_ATTRIBUTE_WILDCARD__EEXPRESSION
```
protected static final String MIN_STATIC__LEFT_HAND_SIDE_IS_NO_ATTRIBUTE_WILDCARD__EEXPRESSION
```
  The cached validation expression for the leftHandSideIsNoAttributeWildcard constraint of 'Min Static'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- MIN_STATIC__OPERANDS_ARE_ATTRIBUTE_WILDCARDS__EEXPRESSION
```
protected static final String MIN_STATIC__OPERANDS_ARE_ATTRIBUTE_WILDCARDS__EEXPRESSION
```
  The cached validation expression for the operandsAreAttributeWildcards constraint of 'Min Static'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.
- MIN_STATIC__VALUE_MATCHES_ASSIGNMENT_TYPE__EEXPRESSION
```
protected static final String MIN_STATIC__VALUE_MATCHES_ASSIGNMENT_TYPE__EEXPRESSION
```
  The cached validation expression for the valueMatchesAssignmentType constraint of 'Min Static'.
  
  See Also:
  
  Constant Field Values
  
  Generated class or method.

Constructor Detail
- PrologmodelValidator
```
public PrologmodelValidator()
```
  Creates an instance of the switch.
  
  Generated class or method.

Method Detail

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.

validateSystem

public boolean validateSystem(System system,
                              DiagnosticChain diagnostics,
                              Map<Object,Object> context)

Generated class or method.

validateSystem_attributeNamesUnique

public boolean validateSystem_attributeNamesUnique(System system,
                                                   DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

Validates the attributeNamesUnique constraint of 'System'.

Generated class or method.

validateSystem_datatypeNamesUnique

public boolean validateSystem_datatypeNamesUnique(System system,
                                                  DiagnosticChain diagnostics,
                                                  Map<Object,Object> context)

Validates the datatypeNamesUnique constraint of 'System'.

Generated class or method.

validateSystem_propertyNamesUnique

public boolean validateSystem_propertyNamesUnique(System system,
                                                  DiagnosticChain diagnostics,
                                                  Map<Object,Object> context)

Validates the propertyNamesUnique constraint of 'System'.

Generated class or method.

validateSystem_valueSetTypeNamesUnique

public boolean validateSystem_valueSetTypeNamesUnique(System system,
                                                      DiagnosticChain diagnostics,
                                                      Map<Object,Object> context)

Validates the valueSetTypeNamesUnique constraint of 'System'.

Generated class or method.

validateSystem_operationAndSystemUsageNamesUnique

public boolean validateSystem_operationAndSystemUsageNamesUnique(System system,
                                                                 DiagnosticChain diagnostics,
                                                                 Map<Object,Object> context)

Validates the operationAndSystemUsageNamesUnique constraint of 'System'.

Generated class or method.

validateAttribute

public boolean validateAttribute(Attribute attribute,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validateValue

public boolean validateValue(Value value,
                             DiagnosticChain diagnostics,
                             Map<Object,Object> context)

Generated class or method.

validateOperation

public boolean validateOperation(Operation operation,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validateOperation_parameterNamesUnique

public boolean validateOperation_parameterNamesUnique(Operation operation,
                                                      DiagnosticChain diagnostics,
                                                      Map<Object,Object> context)

Validates the parameterNamesUnique constraint of 'Operation'.

Generated class or method.

validateOperation_returnValueNamesUnique

public boolean validateOperation_returnValueNamesUnique(Operation operation,
                                                        DiagnosticChain diagnostics,
                                                        Map<Object,Object> context)

Validates the returnValueNamesUnique constraint of 'Operation'.

Generated class or method.

validateOperation_stateNamesUnique

public boolean validateOperation_stateNamesUnique(Operation operation,
                                                  DiagnosticChain diagnostics,
                                                  Map<Object,Object> context)

Validates the stateNamesUnique constraint of 'Operation'.

Generated class or method.

validateOperation_noDuplicatePropertyDefinitions

public boolean validateOperation_noDuplicatePropertyDefinitions(Operation operation,
                                                                DiagnosticChain diagnostics,
                                                                Map<Object,Object> context)

Validates the noDuplicatePropertyDefinitions constraint of 'Operation'.

Generated class or method.

validateOperation_noCyclesInCallGraph

public boolean validateOperation_noCyclesInCallGraph(Operation operation,
                                                     DiagnosticChain diagnostics,
                                                     Map<Object,Object> context)

Validates the noCyclesInCallGraph constraint of 'Operation'.

Generated class or method.

validateOperation_onlyConstantDefaultStateDefinitions

public boolean validateOperation_onlyConstantDefaultStateDefinitions(Operation operation,
                                                                     DiagnosticChain diagnostics,
                                                                     Map<Object,Object> context)

Validates the onlyConstantDefaultStateDefinitions constraint of 'Operation'.

Generated class or method.

validateVariable

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

Generated class or method.

validateDataType

public boolean validateDataType(DataType dataType,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

Generated class or method.

validateProperty

public boolean validateProperty(Property property,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

Generated class or method.

validatePropertyDefinition

public boolean validatePropertyDefinition(PropertyDefinition propertyDefinition,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validatePropertyDefinition_valuesPartOfPropertyType

public boolean validatePropertyDefinition_valuesPartOfPropertyType(PropertyDefinition propertyDefinition,
                                                                   DiagnosticChain diagnostics,
                                                                   Map<Object,Object> context)

Validates the valuesPartOfPropertyType constraint of 'Property Definition'.

Generated class or method.

validateOperationCall

public boolean validateOperationCall(OperationCall operationCall,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

Generated class or method.

validateVariableAssignment

public boolean validateVariableAssignment(VariableAssignment variableAssignment,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateVariableAssignment_isVariableValid

public boolean validateVariableAssignment_isVariableValid(VariableAssignment variableAssignment,
                                                          DiagnosticChain diagnostics,
                                                          Map<Object,Object> context)

Validates the isVariableValid constraint of 'Variable Assignment'.

Generated class or method.

validateVariableAssignment_isAttributeValid

public boolean validateVariableAssignment_isAttributeValid(VariableAssignment variableAssignment,
                                                           DiagnosticChain diagnostics,
                                                           Map<Object,Object> context)

Validates the isAttributeValid constraint of 'Variable Assignment'.

Generated class or method.

validateVariableAssignment_isValueValid

public boolean validateVariableAssignment_isValueValid(VariableAssignment variableAssignment,
                                                       DiagnosticChain diagnostics,
                                                       Map<Object,Object> context)

Validates the isValueValid constraint of 'Variable Assignment'.

Generated class or method.

validateValueSetType

public boolean validateValueSetType(ValueSetType valueSetType,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validateValueSetType_valueNamesUnique

public boolean validateValueSetType_valueNamesUnique(ValueSetType valueSetType,
                                                     DiagnosticChain diagnostics,
                                                     Map<Object,Object> context)

Validates the valueNamesUnique constraint of 'Value Set Type'.

Generated class or method.

validateLogicTerm

public boolean validateLogicTerm(LogicTerm logicTerm,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validateTrue

public boolean validateTrue(True true_,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

Generated class or method.

validateFalse

public boolean validateFalse(False false_,
                             DiagnosticChain diagnostics,
                             Map<Object,Object> context)

Generated class or method.

validateAnd

public boolean validateAnd(And and,
                           DiagnosticChain diagnostics,
                           Map<Object,Object> context)

Generated class or method.

validateOr

public boolean validateOr(Or or,
                          DiagnosticChain diagnostics,
                          Map<Object,Object> context)

Generated class or method.

validateNot

public boolean validateNot(Not not,
                           DiagnosticChain diagnostics,
                           Map<Object,Object> context)

Generated class or method.

validateParameterRef

public boolean validateParameterRef(ParameterRef parameterRef,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validateParameterRef_isParameterValid

public boolean validateParameterRef_isParameterValid(ParameterRef parameterRef,
                                                     DiagnosticChain diagnostics,
                                                     Map<Object,Object> context)

Validates the isParameterValid constraint of 'Parameter Ref'.

Generated class or method.

validateParameterRef_isAttributeValid

public boolean validateParameterRef_isAttributeValid(ParameterRef parameterRef,
                                                     DiagnosticChain diagnostics,
                                                     Map<Object,Object> context)

Validates the isAttributeValid constraint of 'Parameter Ref'.

Generated class or method.

validateParameterRef_isValueValid

public boolean validateParameterRef_isValueValid(ParameterRef parameterRef,
                                                 DiagnosticChain diagnostics,
                                                 Map<Object,Object> context)

Validates the isValueValid constraint of 'Parameter Ref'.

Generated class or method.

validatePropertyRef

public boolean validatePropertyRef(PropertyRef propertyRef,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

Generated class or method.

validatePropertyRef_isPropertyValid

public boolean validatePropertyRef_isPropertyValid(PropertyRef propertyRef,
                                                   DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

Validates the isPropertyValid constraint of 'Property Ref'.

Generated class or method.

validatePropertyRef_isValueValid

public boolean validatePropertyRef_isValueValid(PropertyRef propertyRef,
                                                DiagnosticChain diagnostics,
                                                Map<Object,Object> context)

Validates the isValueValid constraint of 'Property Ref'.

Generated class or method.

validateCaller

public boolean validateCaller(Caller caller,
                              DiagnosticChain diagnostics,
                              Map<Object,Object> context)

Generated class or method.

validateCaller_callNamesUnique

public boolean validateCaller_callNamesUnique(Caller caller,
                                              DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

Validates the callNamesUnique constraint of 'Caller'.

Generated class or method.

validateSystemUsage

public boolean validateSystemUsage(SystemUsage systemUsage,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

Generated class or method.

validateReturnValueRef

public boolean validateReturnValueRef(ReturnValueRef returnValueRef,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Generated class or method.

validateReturnValueRef_isCallValid

public boolean validateReturnValueRef_isCallValid(ReturnValueRef returnValueRef,
                                                  DiagnosticChain diagnostics,
                                                  Map<Object,Object> context)

Validates the isCallValid constraint of 'Return Value Ref'.

Generated class or method.

validateReturnValueRef_isReturnValueValid

public boolean validateReturnValueRef_isReturnValueValid(ReturnValueRef returnValueRef,
                                                         DiagnosticChain diagnostics,
                                                         Map<Object,Object> context)

Validates the isReturnValueValid constraint of 'Return Value Ref'.

Generated class or method.

validateReturnValueRef_isAttributeValid

public boolean validateReturnValueRef_isAttributeValid(ReturnValueRef returnValueRef,
                                                       DiagnosticChain diagnostics,
                                                       Map<Object,Object> context)

Validates the isAttributeValid constraint of 'Return Value Ref'.

Generated class or method.

validateReturnValueRef_isValueValid

public boolean validateReturnValueRef_isValueValid(ReturnValueRef returnValueRef,
                                                   DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

Validates the isValueValid constraint of 'Return Value Ref'.

Generated class or method.

validateStateRef

public boolean validateStateRef(StateRef stateRef,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

Generated class or method.

validateStateRef_isStateVariableValid

public boolean validateStateRef_isStateVariableValid(StateRef stateRef,
                                                     DiagnosticChain diagnostics,
                                                     Map<Object,Object> context)

Validates the isStateVariableValid constraint of 'State Ref'.

Generated class or method.

validateStateRef_isAttributeValid

public boolean validateStateRef_isAttributeValid(StateRef stateRef,
                                                 DiagnosticChain diagnostics,
                                                 Map<Object,Object> context)

Validates the isAttributeValid constraint of 'State Ref'.

Generated class or method.

validateStateRef_isValueValid

public boolean validateStateRef_isValueValid(StateRef stateRef,
                                             DiagnosticChain diagnostics,
                                             Map<Object,Object> context)

Validates the isValueValid constraint of 'State Ref'.

Generated class or method.

validateDefaultStateRef

public boolean validateDefaultStateRef(DefaultStateRef defaultStateRef,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Generated class or method.

validateDefaultStateRef_isStateVariableValid

public boolean validateDefaultStateRef_isStateVariableValid(DefaultStateRef defaultStateRef,
                                                            DiagnosticChain diagnostics,
                                                            Map<Object,Object> context)

Validates the isStateVariableValid constraint of 'Default State Ref'.

Generated class or method.

validateDefaultStateRef_isAttributeValid

public boolean validateDefaultStateRef_isAttributeValid(DefaultStateRef defaultStateRef,
                                                        DiagnosticChain diagnostics,
                                                        Map<Object,Object> context)

Validates the isAttributeValid constraint of 'Default State Ref'.

Generated class or method.

validateDefaultStateRef_isValueValid

public boolean validateDefaultStateRef_isValueValid(DefaultStateRef defaultStateRef,
                                                    DiagnosticChain diagnostics,
                                                    Map<Object,Object> context)

Validates the isValueValid constraint of 'Default State Ref'.

Generated class or method.

validateMinStatic

public boolean validateMinStatic(MinStatic minStatic,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validateMinStatic_leftHandSideIsValueWildcard

public boolean validateMinStatic_leftHandSideIsValueWildcard(MinStatic minStatic,
                                                             DiagnosticChain diagnostics,
                                                             Map<Object,Object> context)

Validates the leftHandSideIsValueWildcard constraint of 'Min Static'.

Generated class or method.

validateMinStatic_leftHandSideIsNoAttributeWildcard

public boolean validateMinStatic_leftHandSideIsNoAttributeWildcard(MinStatic minStatic,
                                                                   DiagnosticChain diagnostics,
                                                                   Map<Object,Object> context)

Validates the leftHandSideIsNoAttributeWildcard constraint of 'Min Static'.

Generated class or method.

validateMinStatic_operandsAreAttributeWildcards

public boolean validateMinStatic_operandsAreAttributeWildcards(MinStatic minStatic,
                                                               DiagnosticChain diagnostics,
                                                               Map<Object,Object> context)

Validates the operandsAreAttributeWildcards constraint of 'Min Static'.

Generated class or method.

validateMinStatic_valueMatchesAssignmentType

public boolean validateMinStatic_valueMatchesAssignmentType(MinStatic minStatic,
                                                            DiagnosticChain diagnostics,
                                                            Map<Object,Object> context)

Validates the valueMatchesAssignmentType constraint of 'Min Static'.

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.

Class PrologmodelValidator

Nested Class Summary

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

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

Field Summary

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

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

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Field Detail

INSTANCE

DIAGNOSTIC_SOURCE

DIAGNOSTIC_CODE_COUNT

SYSTEM__ATTRIBUTE_NAMES_UNIQUE__EEXPRESSION

SYSTEM__DATATYPE_NAMES_UNIQUE__EEXPRESSION

SYSTEM__PROPERTY_NAMES_UNIQUE__EEXPRESSION

SYSTEM__VALUE_SET_TYPE_NAMES_UNIQUE__EEXPRESSION

SYSTEM__OPERATION_AND_SYSTEM_USAGE_NAMES_UNIQUE__EEXPRESSION

OPERATION__PARAMETER_NAMES_UNIQUE__EEXPRESSION

OPERATION__RETURN_VALUE_NAMES_UNIQUE__EEXPRESSION

OPERATION__STATE_NAMES_UNIQUE__EEXPRESSION

OPERATION__NO_DUPLICATE_PROPERTY_DEFINITIONS__EEXPRESSION

OPERATION__NO_CYCLES_IN_CALL_GRAPH__EEXPRESSION

OPERATION__ONLY_CONSTANT_DEFAULT_STATE_DEFINITIONS__EEXPRESSION

PROPERTY_DEFINITION__VALUES_PART_OF_PROPERTY_TYPE__EEXPRESSION

VARIABLE_ASSIGNMENT__IS_VARIABLE_VALID__EEXPRESSION

VARIABLE_ASSIGNMENT__IS_ATTRIBUTE_VALID__EEXPRESSION

VARIABLE_ASSIGNMENT__IS_VALUE_VALID__EEXPRESSION

VALUE_SET_TYPE__VALUE_NAMES_UNIQUE__EEXPRESSION

PARAMETER_REF__IS_PARAMETER_VALID__EEXPRESSION

PARAMETER_REF__IS_ATTRIBUTE_VALID__EEXPRESSION

PARAMETER_REF__IS_VALUE_VALID__EEXPRESSION

PROPERTY_REF__IS_PROPERTY_VALID__EEXPRESSION

PROPERTY_REF__IS_VALUE_VALID__EEXPRESSION

CALLER__CALL_NAMES_UNIQUE__EEXPRESSION

RETURN_VALUE_REF__IS_CALL_VALID__EEXPRESSION

RETURN_VALUE_REF__IS_RETURN_VALUE_VALID__EEXPRESSION

RETURN_VALUE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION

RETURN_VALUE_REF__IS_VALUE_VALID__EEXPRESSION

STATE_REF__IS_STATE_VARIABLE_VALID__EEXPRESSION

STATE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION

STATE_REF__IS_VALUE_VALID__EEXPRESSION

DEFAULT_STATE_REF__IS_STATE_VARIABLE_VALID__EEXPRESSION

DEFAULT_STATE_REF__IS_ATTRIBUTE_VALID__EEXPRESSION

DEFAULT_STATE_REF__IS_VALUE_VALID__EEXPRESSION

MIN_STATIC__LEFT_HAND_SIDE_IS_VALUE_WILDCARD__EEXPRESSION

MIN_STATIC__LEFT_HAND_SIDE_IS_NO_ATTRIBUTE_WILDCARD__EEXPRESSION

MIN_STATIC__OPERANDS_ARE_ATTRIBUTE_WILDCARDS__EEXPRESSION

MIN_STATIC__VALUE_MATCHES_ASSIGNMENT_TYPE__EEXPRESSION

Constructor Detail

PrologmodelValidator