public class ImperativeOCLValidator extends EObjectValidator
ImperativeOCLPackage
EObjectValidator.DynamicEClassValidator, EObjectValidator.DynamicEDataTypeValidator
EValidator.Descriptor, EValidator.PatternMatcher, EValidator.Registry, EValidator.SubstitutionLabelProvider, EValidator.ValidationDelegate
Modifier and Type | Field and Description |
---|---|
static String |
DIAGNOSTIC_SOURCE
|
static ImperativeOCLValidator |
INSTANCE
The cached model package
|
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
MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE
Constructor and Description |
---|
ImperativeOCLValidator()
Creates an instance of the switch.
|
getAvailableChoices, getFeatureLabel, getObjectLabel, getValueLabel, validate_BidirectionalReferenceIsPaired, validate_EveryBidirectionalReferenceIsPaired, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_NoCircularContainment, validate_UniqueID, validate, validate, validate, validate, validate, validate
public static final ImperativeOCLValidator INSTANCE
public static final String DIAGNOSTIC_SOURCE
Diagnostic.getSource()
,
Diagnostic.getCode()
,
Constant Field Valuespublic ImperativeOCLValidator()
public boolean validateAltExp(AltExp altExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAssertExp(AssertExp assertExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAssignExp(AssignExp assignExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAssignExp_WellFormedLeftExp(AssignExp assignExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAssignExp_checkLeftAndValueExpConformance(AssignExp assignExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBlockExp(BlockExp blockExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateBreakExp(BreakExp breakExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCatchExp(CatchExp catchExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateComputeExp(ComputeExp computeExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateContinueExp(ContinueExp continueExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDictLiteralExp(DictLiteralExp dictLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDictLiteralPart(DictLiteralPart dictLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDictionaryType(DictionaryType dictionaryType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateForExp(ForExp forExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateImperativeExpression(ImperativeExpression imperativeExpression, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateImperativeIterateExp(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateImperativeIterateExp_WellFormedName(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateImperativeIterateExp_WellFormedTargetVar(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateImperativeIterateExp_WellFormedBody(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateImperativeIterateExp_WellFormedCondition(ImperativeIterateExp imperativeIterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateImperativeLoopExp(ImperativeLoopExp imperativeLoopExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateInstantiationExp(InstantiationExp instantiationExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateListLiteralExp(ListLiteralExp listLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateListType(ListType listType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLogExp(LogExp logExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOrderedTupleLiteralExp(OrderedTupleLiteralExp orderedTupleLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOrderedTupleLiteralPart(OrderedTupleLiteralPart orderedTupleLiteralPart, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOrderedTupleType(OrderedTupleType orderedTupleType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOrderedTupleType_WellFormedName(OrderedTupleType orderedTupleType, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateRaiseExp(RaiseExp raiseExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateReturnExp(ReturnExp returnExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSwitchExp(SwitchExp switchExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTryExp(TryExp tryExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTypedef(Typedef typedef, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateUnlinkExp(UnlinkExp unlinkExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateUnpackExp(UnpackExp unpackExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateVariableInitExp(VariableInitExp variableInitExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateWhileExp(WhileExp whileExp, DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateSeverityKind(SeverityKind severityKind, DiagnosticChain diagnostics, Map<Object,Object> context)
public ResourceLocator getResourceLocator()
getResourceLocator
in class EObjectValidator
Copyright © 2008, 2018 Borland Software Corporation and others. All Rights Reserved.