Class OmlValidator

java.lang.Object
org.eclipse.emf.ecore.util.EObjectValidator
io.opencaesar.oml.util.OmlValidator
All Implemented Interfaces:
org.eclipse.emf.ecore.EValidator

public class OmlValidator extends org.eclipse.emf.ecore.util.EObjectValidator
The Validator for the model.
See Also:
Generated:
  • Field Details

  • Constructor Details

    • OmlValidator

      public OmlValidator()
      Creates an instance of the switch.
      Generated:
  • Method Details

    • getEPackage

      protected org.eclipse.emf.ecore.EPackage getEPackage()
      Returns the package of this validator switch.
      Overrides:
      getEPackage in class org.eclipse.emf.ecore.util.EObjectValidator
      Generated:
    • validate

      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.
      Overrides:
      validate in class org.eclipse.emf.ecore.util.EObjectValidator
      Generated:
    • validateElement

      public boolean validateElement(Element element, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateElement_extraValidate

      public boolean validateElement_extraValidate(Element element, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the extraValidate constraint of 'Element'.
      Generated:
    • validateAnnotation

      public boolean validateAnnotation(Annotation annotation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateIdentifiedElement

      public boolean validateIdentifiedElement(IdentifiedElement identifiedElement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateImport

      public boolean validateImport(Import import_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateInstance

      public boolean validateInstance(Instance instance, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateAxiom

      public boolean validateAxiom(Axiom axiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateAssertion

      public boolean validateAssertion(Assertion assertion, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validatePredicate

      public boolean validatePredicate(Predicate predicate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateArgument

      public boolean validateArgument(Argument argument, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateLiteral

      public boolean validateLiteral(Literal literal, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateOntology

      public boolean validateOntology(Ontology ontology, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateMember

      public boolean validateMember(Member member, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateVocabularyBox

      public boolean validateVocabularyBox(VocabularyBox vocabularyBox, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateDescriptionBox

      public boolean validateDescriptionBox(DescriptionBox descriptionBox, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateVocabulary

      public boolean validateVocabulary(Vocabulary vocabulary, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateVocabularyBundle

      public boolean validateVocabularyBundle(VocabularyBundle vocabularyBundle, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateDescription

      public boolean validateDescription(Description description, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateDescriptionBundle

      public boolean validateDescriptionBundle(DescriptionBundle descriptionBundle, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateStatement

      public boolean validateStatement(Statement statement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateVocabularyMember

      public boolean validateVocabularyMember(VocabularyMember vocabularyMember, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateDescriptionMember

      public boolean validateDescriptionMember(DescriptionMember descriptionMember, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateVocabularyStatement

      public boolean validateVocabularyStatement(VocabularyStatement vocabularyStatement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateDescriptionStatement

      public boolean validateDescriptionStatement(DescriptionStatement descriptionStatement, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateTerm

      public boolean validateTerm(Term term, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateRule

      public boolean validateRule(Rule rule, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateBuiltIn

      public boolean validateBuiltIn(BuiltIn builtIn, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateSpecializableTerm

      public boolean validateSpecializableTerm(SpecializableTerm specializableTerm, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateProperty

      public boolean validateProperty(Property property, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateType

      public boolean validateType(Type type, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateRelationBase

      public boolean validateRelationBase(RelationBase relationBase, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateSpecializableProperty

      public boolean validateSpecializableProperty(SpecializableProperty specializableProperty, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateClassifier

      public boolean validateClassifier(Classifier classifier, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateScalar

      public boolean validateScalar(Scalar scalar, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateEntity

      public boolean validateEntity(Entity entity, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateStructure

      public boolean validateStructure(Structure structure, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateAspect

      public boolean validateAspect(Aspect aspect, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateConcept

      public boolean validateConcept(Concept concept, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateRelationEntity

      public boolean validateRelationEntity(RelationEntity relationEntity, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateAnnotationProperty

      public boolean validateAnnotationProperty(AnnotationProperty annotationProperty, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateSemanticProperty

      public boolean validateSemanticProperty(SemanticProperty semanticProperty, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateScalarProperty

      public boolean validateScalarProperty(ScalarProperty scalarProperty, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateStructuredProperty

      public boolean validateStructuredProperty(StructuredProperty structuredProperty, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateRelation

      public boolean validateRelation(Relation relation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateForwardRelation

      public boolean validateForwardRelation(ForwardRelation forwardRelation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateReverseRelation

      public boolean validateReverseRelation(ReverseRelation reverseRelation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateUnreifiedRelation

      public boolean validateUnreifiedRelation(UnreifiedRelation unreifiedRelation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateNamedInstance

      public boolean validateNamedInstance(NamedInstance namedInstance, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateConceptInstance

      public boolean validateConceptInstance(ConceptInstance conceptInstance, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateRelationInstance

      public boolean validateRelationInstance(RelationInstance relationInstance, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateStructureInstance

      public boolean validateStructureInstance(StructureInstance structureInstance, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateKeyAxiom

      public boolean validateKeyAxiom(KeyAxiom keyAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateSpecializationAxiom

      public boolean validateSpecializationAxiom(SpecializationAxiom specializationAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateInstanceEnumerationAxiom

      public boolean validateInstanceEnumerationAxiom(InstanceEnumerationAxiom instanceEnumerationAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validatePropertyRestrictionAxiom

      public boolean validatePropertyRestrictionAxiom(PropertyRestrictionAxiom propertyRestrictionAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateLiteralEnumerationAxiom

      public boolean validateLiteralEnumerationAxiom(LiteralEnumerationAxiom literalEnumerationAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateClassifierEquivalenceAxiom

      public boolean validateClassifierEquivalenceAxiom(ClassifierEquivalenceAxiom classifierEquivalenceAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateScalarEquivalenceAxiom

      public boolean validateScalarEquivalenceAxiom(ScalarEquivalenceAxiom scalarEquivalenceAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validatePropertyEquivalenceAxiom

      public boolean validatePropertyEquivalenceAxiom(PropertyEquivalenceAxiom propertyEquivalenceAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validatePropertyRangeRestrictionAxiom

      public boolean validatePropertyRangeRestrictionAxiom(PropertyRangeRestrictionAxiom propertyRangeRestrictionAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validatePropertyCardinalityRestrictionAxiom

      public boolean validatePropertyCardinalityRestrictionAxiom(PropertyCardinalityRestrictionAxiom propertyCardinalityRestrictionAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validatePropertyValueRestrictionAxiom

      public boolean validatePropertyValueRestrictionAxiom(PropertyValueRestrictionAxiom propertyValueRestrictionAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validatePropertySelfRestrictionAxiom

      public boolean validatePropertySelfRestrictionAxiom(PropertySelfRestrictionAxiom propertySelfRestrictionAxiom, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateTypeAssertion

      public boolean validateTypeAssertion(TypeAssertion typeAssertion, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validatePropertyValueAssertion

      public boolean validatePropertyValueAssertion(PropertyValueAssertion propertyValueAssertion, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateUnaryPredicate

      public boolean validateUnaryPredicate(UnaryPredicate unaryPredicate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateBinaryPredicate

      public boolean validateBinaryPredicate(BinaryPredicate binaryPredicate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateBuiltInPredicate

      public boolean validateBuiltInPredicate(BuiltInPredicate builtInPredicate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateTypePredicate

      public boolean validateTypePredicate(TypePredicate typePredicate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateRelationEntityPredicate

      public boolean validateRelationEntityPredicate(RelationEntityPredicate relationEntityPredicate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validatePropertyPredicate

      public boolean validatePropertyPredicate(PropertyPredicate propertyPredicate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateSameAsPredicate

      public boolean validateSameAsPredicate(SameAsPredicate sameAsPredicate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateDifferentFromPredicate

      public boolean validateDifferentFromPredicate(DifferentFromPredicate differentFromPredicate, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateQuotedLiteral

      public boolean validateQuotedLiteral(QuotedLiteral quotedLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateIntegerLiteral

      public boolean validateIntegerLiteral(IntegerLiteral integerLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateDecimalLiteral

      public boolean validateDecimalLiteral(DecimalLiteral decimalLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateDoubleLiteral

      public boolean validateDoubleLiteral(DoubleLiteral doubleLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateBooleanLiteral

      public boolean validateBooleanLiteral(BooleanLiteral booleanLiteral, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateSeparatorKind

      public boolean validateSeparatorKind(SeparatorKind separatorKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateRangeRestrictionKind

      public boolean validateRangeRestrictionKind(RangeRestrictionKind rangeRestrictionKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateCardinalityRestrictionKind

      public boolean validateCardinalityRestrictionKind(CardinalityRestrictionKind cardinalityRestrictionKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateImportKind

      public boolean validateImportKind(ImportKind importKind, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateUnsignedInt

      public boolean validateUnsignedInt(int unsignedInt, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateUnsignedInt_Min

      public boolean validateUnsignedInt_Min(int unsignedInt, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the Min constraint of 'Unsigned Int'.
      Generated:
    • validateUnsignedInt_Max

      public boolean validateUnsignedInt_Max(int unsignedInt, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the Max constraint of 'Unsigned Int'.
      Generated:
    • validateUnsignedInteger

      public boolean validateUnsignedInteger(Integer unsignedInteger, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateUnsignedInteger_Min

      public boolean validateUnsignedInteger_Min(Integer unsignedInteger, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the Min constraint of 'Unsigned Integer'.
      Generated:
    • validateUnsignedInteger_Max

      public boolean validateUnsignedInteger_Max(Integer unsignedInteger, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the Max constraint of 'Unsigned Integer'.
      Generated:
    • validateDecimal

      public boolean validateDecimal(BigDecimal decimal, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateDouble

      public boolean validateDouble(Double double_, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateID

      public boolean validateID(String id, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateID_Pattern

      public boolean validateID_Pattern(String id, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the Pattern constraint of 'ID'.
      Generated:
    • validateNamespace

      public boolean validateNamespace(String namespace, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Generated:
    • validateNamespace_Pattern

      public boolean validateNamespace_Pattern(String namespace, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the Pattern constraint of 'Namespace'.
      Generated:
    • validateNamespace_MinLength

      public boolean validateNamespace_MinLength(String namespace, org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map<Object,Object> context)
      Validates the MinLength constraint of 'Namespace'.
      Generated:
    • getResourceLocator

      public org.eclipse.emf.common.util.ResourceLocator getResourceLocator()
      Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
      Overrides:
      getResourceLocator in class org.eclipse.emf.ecore.util.EObjectValidator
      Generated: