public class PnmlcoremodelValidator
extends org.eclipse.emf.ecore.util.EObjectValidator
PnmlcoremodelPackage
org.eclipse.emf.ecore.util.EObjectValidator.DynamicEClassValidator, org.eclipse.emf.ecore.util.EObjectValidator.DynamicEDataTypeValidator
org.eclipse.emf.ecore.EValidator.Descriptor, org.eclipse.emf.ecore.EValidator.PatternMatcher, org.eclipse.emf.ecore.EValidator.Registry, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider, org.eclipse.emf.ecore.EValidator.ValidationDelegate
Modifier and Type | Field and Description |
---|---|
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 PnmlcoremodelValidator |
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
Constructor and Description |
---|
PnmlcoremodelValidator()
Creates an instance of the switch
|
Modifier and Type | Method and Description |
---|---|
protected org.eclipse.emf.ecore.EPackage |
getEPackage()
Returns the package of this validator switch
|
org.eclipse.emf.common.util.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,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Calls
validateXXX for the corresponding classifier of the model |
boolean |
validateAnnotation(Annotation annotation,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateAnnotationGraphics(AnnotationGraphics annotationGraphics,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateAnyObject(AnyObject anyObject,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateArc_samePageSourceTarget(Arc arc,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the samePageSourceTarget constraint of 'Arc'
|
boolean |
validateArc(Arc arc,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateArcGraphics(ArcGraphics arcGraphics,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateAttribute(Attribute attribute,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCoordinate(Coordinate coordinate,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCSS2Color(CSS2Color css2Color,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCSS2FontFamily(CSS2FontFamily css2FontFamily,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCSS2FontSize(CSS2FontSize css2FontSize,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCSS2FontStyle(CSS2FontStyle css2FontStyle,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateCSS2FontWeight(CSS2FontWeight css2FontWeight,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateDimension(Dimension dimension,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateFill(Fill fill,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateFont(Font font,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateFontAlign(FontAlign fontAlign,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateFontDecoration(FontDecoration fontDecoration,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateGradient(Gradient gradient,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateGraphics(Graphics graphics,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLabel(Label label,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLine(Line line,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLineShape(LineShape lineShape,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLineStyle(LineStyle lineStyle,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateLongString(StringBuffer longString,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateName(Name name,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNode(Node node,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateNodeGraphics(NodeGraphics nodeGraphics,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateOffset(Offset offset,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePage(Page page,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePetriNet(PetriNet petriNet,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePetriNetDoc(PetriNetDoc petriNetDoc,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePlace(Place place,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePlaceNode(PlaceNode placeNode,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePnObject(PnObject pnObject,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePNType(PNType pnType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validatePosition(Position position,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateRefPlace(RefPlace refPlace,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateRefTransition(RefTransition refTransition,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateToolInfo(ToolInfo toolInfo,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTransition(Transition transition,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateTransitionNode(TransitionNode transitionNode,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
boolean |
validateURI(URI uri,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
createBadDataValueDiagnostic, createDiagnostic, 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_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, validate, validate, validate, validate, validate, validate, validatePattern, wrapEnumerationValues
public static final PnmlcoremodelValidator INSTANCE
public static final String DIAGNOSTIC_SOURCE
source
of diagnostic codes
from this package.
Diagnostic.getSource()
,
Diagnostic.getCode()
,
Constant Field Valuesprotected static final int DIAGNOSTIC_CODE_COUNT
public PnmlcoremodelValidator()
protected org.eclipse.emf.ecore.EPackage getEPackage()
getEPackage
in class org.eclipse.emf.ecore.util.EObjectValidator
protected boolean validate(int classifierID, Object value, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
validateXXX
for the corresponding classifier of the model.
validate
in class org.eclipse.emf.ecore.util.EObjectValidator
public boolean validatePetriNetDoc(PetriNetDoc petriNetDoc, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePetriNet(PetriNet petriNet, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePage(Page page, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePnObject(PnObject pnObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateName(Name name, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateToolInfo(ToolInfo toolInfo, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLabel(Label label, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNodeGraphics(NodeGraphics nodeGraphics, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateGraphics(Graphics graphics, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCoordinate(Coordinate coordinate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePosition(Position position, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateOffset(Offset offset, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateDimension(Dimension dimension, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAnnotationGraphics(AnnotationGraphics annotationGraphics, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateFill(Fill fill, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLine(Line line, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateArcGraphics(ArcGraphics arcGraphics, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateArc(Arc arc, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateArc_samePageSourceTarget(Arc arc, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateNode(Node node, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateFont(Font font, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePlaceNode(PlaceNode placeNode, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTransitionNode(TransitionNode transitionNode, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePlace(Place place, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateRefTransition(RefTransition refTransition, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateTransition(Transition transition, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateRefPlace(RefPlace refPlace, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAttribute(Attribute attribute, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAnnotation(Annotation annotation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateAnyObject(AnyObject anyObject, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validatePNType(PNType pnType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCSS2Color(CSS2Color css2Color, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateGradient(Gradient gradient, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLineShape(LineShape lineShape, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateFontAlign(FontAlign fontAlign, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateFontDecoration(FontDecoration fontDecoration, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCSS2FontFamily(CSS2FontFamily css2FontFamily, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCSS2FontSize(CSS2FontSize css2FontSize, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCSS2FontStyle(CSS2FontStyle css2FontStyle, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateCSS2FontWeight(CSS2FontWeight css2FontWeight, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLineStyle(LineStyle lineStyle, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateURI(URI uri, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public boolean validateLongString(StringBuffer longString, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
public org.eclipse.emf.common.util.ResourceLocator getResourceLocator()
getResourceLocator
in class org.eclipse.emf.ecore.util.EObjectValidator
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.