Class OmlSearch

java.lang.Object
io.opencaesar.oml.util.OmlIndex
io.opencaesar.oml.util.OmlSearch

public final class OmlSearch extends OmlIndex
The Search API for the model. It complements the OmlIndex API by additional utilities.
  • Constructor Details

    • OmlSearch

      public OmlSearch()
  • Method Details

    • findRefs

      public static Set<Member> findRefs(Member member, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds refs to the given member
      Parameters:
      member - the given member
      scope - The scope of the search (can be null)
      Returns:
      a set of refs to the given member
    • findRefs

      @Deprecated public static Set<Member> findRefs(Member member)
      Deprecated.
      As of 2.5.0. Use {findRefs(Member, Set<Resource>) instead
      Finds refs to the given member
      Parameters:
      member - the given member
      Returns:
      a set of refs to the given member
    • findAnnotationValues

      public static Set<Element> findAnnotationValues(IdentifiedElement element, AnnotationProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds the values of a given annotation property in the given element
      Parameters:
      element - The given element
      property - the annotation property
      scope - The scope of the search (can be null)
      Returns:
      a set of literals representing annotation values
    • findAnnotationValues

      @Deprecated public static Set<Element> findAnnotationValues(IdentifiedElement element, AnnotationProperty property)
      Finds the values of a given annotation property in the given element
      Parameters:
      element - The given element
      property - the annotation property
      Returns:
      a set of literals representing annotation values
    • findAnnotationLiteralValue

      public static Literal findAnnotationLiteralValue(IdentifiedElement element, AnnotationProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds the first literal value of the given annotation property in the given element
      Parameters:
      element - The given element
      property - the given annotation property
      scope - The scope of the search (can be null)
      Returns:
      an annotation literal value
    • findAnnotationLiteralValue

      @Deprecated public static Literal findAnnotationLiteralValue(IdentifiedElement element, AnnotationProperty property)
      Finds the first literal value of the given annotation property in the given element
      Parameters:
      element - The given element
      property - the given annotation property
      Returns:
      an annotation literal value
    • findAnnotationReferencedValue

      public static Member findAnnotationReferencedValue(IdentifiedElement element, AnnotationProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds the first referenced value of a given annotation property in the given element
      Parameters:
      element - The given element
      property - the given annotation property
      scope - The scope of the search (can be null)
      Returns:
      an annotation reference value
    • findAnnotationReferencedValue

      @Deprecated public static Member findAnnotationReferencedValue(IdentifiedElement element, AnnotationProperty property)
      Finds the first referenced value of a given annotation property in the given element
      Parameters:
      element - The given element
      property - the given annotation property
      Returns:
      an annotation reference value
    • findIsAnnotatedBy

      public static boolean findIsAnnotatedBy(IdentifiedElement element, AnnotationProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds whether the given element is annotated with the given annotation property
      Parameters:
      element - The given element
      property - the given annotation property
      scope - The scope of the search (can be null)
      Returns:
      true if the element is annotated with the given annotation property; otherwise false
    • findIsAnnotatedBy

      @Deprecated public static boolean findIsAnnotatedBy(IdentifiedElement element, AnnotationProperty property)
      Finds whether the given element is annotated with the given annotation property
      Parameters:
      element - The given element
      property - the given annotation property
      Returns:
      true if the element is annotated with the given annotation property; otherwise false
    • findAxioms

      public static Set<Axiom> findAxioms(Term term, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds axioms that are defined for the given term
      Parameters:
      term - the given term
      scope - The scope of the search (can be null)
      Returns:
      a set of axioms that are defined for the given term
    • findAxioms

      @Deprecated public static Set<Axiom> findAxioms(Term term)
      Deprecated.
      As of 2.5.0. Use {findAxioms(Term, Set<Resource>) instead
      Finds axioms that are defined for the given term
      Parameters:
      term - the given term
      Returns:
      a set of axioms that are defined for the given term
    • findKeyAxioms

      public static Set<KeyAxiom> findKeyAxioms(Entity entity, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Find key axioms that are defined on the given entity
      Parameters:
      entity - the given entity
      scope - The scope of the search (can be null)
      Returns:
      a set of key axioms that are defined on the given entity
    • findKeyAxioms

      @Deprecated public static Set<KeyAxiom> findKeyAxioms(Entity entity)
      Deprecated.
      As of 2.5.0. Use {findKeyAxioms(Entity, Set<Resource>) instead
      Find key axioms that are defined on the given entity
      Parameters:
      entity - the given entity
      Returns:
      a set of key axioms that are defined on the given entity
    • findInstanceEnumerationAxioms

      public static Set<InstanceEnumerationAxiom> findInstanceEnumerationAxioms(Concept concept, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Find instance enumeration axioms that are defined on the given concept
      Parameters:
      concept - the given concept
      scope - The scope of the search (can be null)
      Returns:
      a set of instance enumeration axioms that are defined on the given concept
    • findInstanceEnumerationAxioms

      @Deprecated public static Set<InstanceEnumerationAxiom> findInstanceEnumerationAxioms(Concept concept)
      Deprecated.
      Find instance enumeration axioms that are defined on the given concept
      Parameters:
      concept - the given concept
      Returns:
      a set of instance enumeration axioms that are defined on the given concept
    • findLiteralEnumerationAxioms

      public static Set<LiteralEnumerationAxiom> findLiteralEnumerationAxioms(Scalar scalar, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Find literal enumeration axioms that are defined on the given scalar
      Parameters:
      scalar - the given scalar
      scope - The scope of the search (can be null)
      Returns:
      a set of literal enumeration axioms that are defined on the given scalar
    • findLiteralEnumerationAxioms

      @Deprecated public static Set<LiteralEnumerationAxiom> findLiteralEnumerationAxioms(Scalar scalar)
      Deprecated.
      Find literal enumeration axioms that are defined on the given scalar
      Parameters:
      scalar - the given scalar
      Returns:
      a set of literal enumeration axioms that are defined on the given scalar
    • findPropertyRestrictionAxioms

      public static Set<PropertyRestrictionAxiom> findPropertyRestrictionAxioms(Classifier classifier, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Find property restriction axioms that are defined on the given classifier
      Parameters:
      classifier - the given classifier
      scope - The scope of the search (can be null)
      Returns:
      a set of restriction axioms that are defined on the given classifier
    • findPropertyRestrictionAxioms

      @Deprecated public static Set<PropertyRestrictionAxiom> findPropertyRestrictionAxioms(Classifier classifier)
      Deprecated.
      Find property restriction axioms that are defined on the given classifier
      Parameters:
      classifier - the given classifier
      Returns:
      a set of restriction axioms that are defined on the given classifier
    • findSpecializationAxiomsWithSubTerm

      public static Set<SpecializationAxiom> findSpecializationAxiomsWithSubTerm(Term term, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds specialization axioms that have the given term as a sub term
      Parameters:
      term - the given term
      scope - The scope of the search (can be null)
      Returns:
      a set of specialization axioms that have the given term as a sub term
    • findSpecializationAxiomsWithSubTerm

      @Deprecated public static Set<SpecializationAxiom> findSpecializationAxiomsWithSubTerm(Term term)
      Deprecated.
      Finds specialization axioms that have the given term as a sub term
      Parameters:
      term - the given term
      Returns:
      a set of specialization axioms that have the given term as a sub term
    • findClassifierEquivalenceAxiomsWithSubClassifier

      public static Set<ClassifierEquivalenceAxiom> findClassifierEquivalenceAxiomsWithSubClassifier(Classifier classifier, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds classifier equivalence axioms that have the given classifier as a sub
      Parameters:
      classifier - the given classifier
      scope - The scope of the search (can be null)
      Returns:
      a set of classifier equivalence axioms that have the given classifier as a sub
    • findClassifierEquivalenceAxiomsWithSubClassifier

      @Deprecated public static Set<ClassifierEquivalenceAxiom> findClassifierEquivalenceAxiomsWithSubClassifier(Classifier classifier)
      Finds classifier equivalence axioms that have the given classifier as a sub
      Parameters:
      classifier - the given classifier
      Returns:
      a set of classifier equivalence axioms that have the given classifier as a sub
    • findScalarEquivalenceAxiomsWithSubScalar

      public static Set<ScalarEquivalenceAxiom> findScalarEquivalenceAxiomsWithSubScalar(Scalar scalar, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds scalar equivalence axioms that have the given scalar as a sub
      Parameters:
      scalar - the given scalar
      scope - The scope of the search (can be null)
      Returns:
      a set of scalar equivalence axioms that have the given scalar as a sub
    • findScalarEquivalenceAxiomsWithSubScalar

      @Deprecated public static Set<ScalarEquivalenceAxiom> findScalarEquivalenceAxiomsWithSubScalar(Scalar scalar)
      Finds scalar equivalence axioms that have the given scalar as a sub
      Parameters:
      scalar - the given scalar
      Returns:
      a set of scalar equivalence axioms that have the given scalar as a sub
    • findPropertyEquivalenceAxiomsWithSubProperty

      public static Set<PropertyEquivalenceAxiom> findPropertyEquivalenceAxiomsWithSubProperty(Property property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds property equivalence axioms that have the given property as a sub
      Parameters:
      property - the given property
      scope - The scope of the search (can be null)
      Returns:
      a set of property equivalence axioms that have the given property as a sub
    • findPropertyEquivalenceAxiomsWithSubProperty

      @Deprecated public static Set<PropertyEquivalenceAxiom> findPropertyEquivalenceAxiomsWithSubProperty(Property property)
      Finds property equivalence axioms that have the given property as a sub
      Parameters:
      property - the given property
      Returns:
      a set of property equivalence axioms that have the given property as a sub
    • findSuperTerms

      public static Set<Term> findSuperTerms(Term term, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds terms that are the direct super (general) terms of the given term
      Parameters:
      term - the given term
      scope - The scope of the search (can be null)
      Returns:
      a set of terms that are the direct super (general) terms of the given term
    • findSuperTerms

      @Deprecated public static Set<Term> findSuperTerms(Term term)
      Deprecated.
      As of 2.5.0. Use {findSuperTerms(Term, Set<Resource>) instead
      Finds terms that are the direct super (general) terms of the given term
      Parameters:
      term - the given term
      Returns:
      a set of terms that are the direct super (general) terms of the given term
    • findSubTerms

      public static Set<Term> findSubTerms(Term term, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds terms that are the direct sub (specific) terms of the given term
      Parameters:
      term - the given term
      scope - The scope of the search (can be null)
      Returns:
      a set of terms that are the direct sub (specific) terms of the given term
    • findSubTerms

      @Deprecated public static Set<Term> findSubTerms(Term term)
      Deprecated.
      As of 2.5.0. Use {findSubTerms(Term, Set<Resource>) instead
      Finds terms that are the direct sub (specific) terms of the given term
      Parameters:
      term - the given term
      Returns:
      a set of terms that are the direct sub (specific) terms of the given term
    • findAllSuperTerms

      public static Set<Term> findAllSuperTerms(Term term, boolean inclusive, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds terms that are the direct or transitive super (general) terms of the given term
      Parameters:
      term - the given term
      inclusive - a boolean determining whether to include the given term in the result
      scope - The scope of the search (can be null)
      Returns:
      a set of terms that are the direct or transitive super (general) terms of the given term
    • findAllSuperTerms

      @Deprecated public static Set<Term> findAllSuperTerms(Term term, boolean inclusive)
      Deprecated.
      Finds terms that are the direct or transitive super (general) terms of the given term
      Parameters:
      term - the given term
      inclusive - a boolean determining whether to include the given term in the result
      Returns:
      a set of terms that are the direct or transitive super (general) terms of the given term
    • findAllSubTerms

      public static Set<Term> findAllSubTerms(Term term, boolean inclusive, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds terms that are the direct or transitive sub (specific) terms of the given term
      Parameters:
      term - the given term
      inclusive - a boolean determining whether to include the given term in the result
      scope - The scope of the search (can be null)
      Returns:
      a set of terms that are the direct or transitive sub (specific) terms of the given term
    • findAllSubTerms

      @Deprecated public static Set<Term> findAllSubTerms(Term term, boolean inclusive)
      Deprecated.
      Finds terms that are the direct or transitive sub (specific) terms of the given term
      Parameters:
      term - the given term
      inclusive - a boolean determining whether to include the given term in the result
      Returns:
      a set of terms that are the direct or transitive sub (specific) terms of the given term
    • findIsSubTermOf

      public static boolean findIsSubTermOf(Term term, Term superTerm, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Determines if the given term is a sub term of the given super term
      Parameters:
      term - the given term
      superTerm - the given super term
      scope - The scope of the search (can be null)
      Returns:
      true if the given term is a sub term of the given super term; otherwise false
    • findIsSubTermOf

      @Deprecated public static boolean findIsSubTermOf(Term term, Term superTerm)
      Deprecated.
      Determines if the given term is a sub term of the given super term
      Parameters:
      term - the given term
      superTerm - the given super term
      Returns:
      true if the given term is a sub term of the given super term; otherwise false
    • findSpecializationSuperTerms

      public static Set<Term> findSpecializationSuperTerms(Term term, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds terms that are the direct specialization super terms of the given term
      Parameters:
      term - the given term
      scope - The scope of the search (can be null)
      Returns:
      a set of terms that are the direct specialization super terms of the given term
    • findSpecializationSuperTerms

      @Deprecated public static Set<Term> findSpecializationSuperTerms(Term term)
      Deprecated.
      Finds terms that are the direct specialization super terms of the given term
      Parameters:
      term - the given term
      Returns:
      a set of terms that are the direct specialization super terms of the given term
    • findSpecializationSubTerms

      public static Set<Term> findSpecializationSubTerms(Term term, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds terms that are the direct specialization sub terms of the given term
      Parameters:
      term - the given term
      scope - The scope of the search (can be null)
      Returns:
      a set of terms that are the direct specialization sub terms of the given term
    • findSpecializationSubTerms

      @Deprecated public static Set<Term> findSpecializationSubTerms(Term term)
      Deprecated.
      Finds terms that are the direct specialization sub terms of the given term
      Parameters:
      term - the given term
      Returns:
      a set of terms that are the direct specialization sub terms of the given term
    • findEquivalenceSuperClassifiers

      public static Set<Classifier> findEquivalenceSuperClassifiers(Classifier classifier, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds classifiers that are the direct equivalence super of a given classifier
      Parameters:
      classifier - the given classifier
      scope - The scope of the search (can be null)
      Returns:
      a set of classifier that are the direct equivalence super of the given classifier
    • findEquivalenceSuperClassifiers

      @Deprecated public static Set<Classifier> findEquivalenceSuperClassifiers(Classifier classifier)
      Deprecated.
      Finds classifiers that are the direct equivalence super of a given classifier
      Parameters:
      classifier - the given classifier
      Returns:
      a set of classifier that are the direct equivalence super of the given classifier
    • findEquivalenceSubClassifiers

      public static Set<Classifier> findEquivalenceSubClassifiers(Classifier classifier, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds classifiers that are the direct equivalence sub of a given classifier
      Parameters:
      classifier - the given classifier
      scope - The scope of the search (can be null)
      Returns:
      a set of classifier that are the direct equivalence sub of the given classifier
    • findEquivalenceSubClassifiers

      @Deprecated public static Set<Classifier> findEquivalenceSubClassifiers(Classifier classifier)
      Deprecated.
      Finds classifiers that are the direct equivalence sub of a given classifier
      Parameters:
      classifier - the given classifier
      Returns:
      a set of classifier that are the direct equivalence sub of the given classifier
    • findEquivalenceSuperScalars

      public static Set<Scalar> findEquivalenceSuperScalars(Scalar scalar, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds scalars that are the direct equivalence super of a given scalar
      Parameters:
      scalar - the given scalar
      scope - The scope of the search (can be null)
      Returns:
      a set of classifier that are the direct equivalence super of the given classifier
    • findEquivalenceSuperScalars

      @Deprecated public static Set<Scalar> findEquivalenceSuperScalars(Scalar scalar)
      Deprecated.
      Finds scalars that are the direct equivalence super of a given scalar
      Parameters:
      scalar - the given scalar
      Returns:
      a set of classifier that are the direct equivalence super of the given classifier
    • findEquivalenceSubScalars

      public static Set<Scalar> findEquivalenceSubScalars(Scalar scalar, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds scalars that are the direct equivalence sub of a given scalar
      Parameters:
      scalar - the given scalar
      scope - The scope of the search (can be null)
      Returns:
      a set of scalars that are the direct equivalence sub of the given scalar
    • findEquivalenceSubScalars

      @Deprecated public static Set<Scalar> findEquivalenceSubScalars(Scalar scalar)
      Deprecated.
      Finds scalars that are the direct equivalence sub of a given scalar
      Parameters:
      scalar - the given scalar
      Returns:
      a set of scalars that are the direct equivalence sub of the given scalar
    • findEquivalenceSuperProperties

      public static Set<Property> findEquivalenceSuperProperties(Property property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds properties that are the direct equivalence super of a given property
      Parameters:
      property - the given property
      scope - The scope of the search (can be null)
      Returns:
      a set of properties that are the direct equivalence super of the given property
    • findEquivalenceSuperProperties

      @Deprecated public static Set<Property> findEquivalenceSuperProperties(Property property)
      Deprecated.
      Finds properties that are the direct equivalence super of a given property
      Parameters:
      property - the given property
      Returns:
      a set of properties that are the direct equivalence super of the given property
    • findEquivalenceSubProperties

      public static Set<Property> findEquivalenceSubProperties(Property property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds properties that are the direct equivalence sub of a given property
      Parameters:
      property - the given property
      scope - The scope of the search (can be null)
      Returns:
      a set of properties that are the direct equivalence sub of the given property
    • findEquivalenceSubProperties

      @Deprecated public static Set<Property> findEquivalenceSubProperties(Property property)
      Deprecated.
      Finds properties that are the direct equivalence sub of a given property
      Parameters:
      property - the given property
      Returns:
      a set of properties that are the direct equivalence sub of the given property
    • findEquivalentClassifiers

      public static Set<Classifier> findEquivalentClassifiers(Classifier classifier, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds classifiers that are the direct equivalent to a given classifier
      Parameters:
      classifier - the given classifier
      scope - The scope of the search (can be null)
      Returns:
      a set of classifier that are the direct equivalents of the given classifier
    • findEquivalentClassifiers

      @Deprecated public static Set<Classifier> findEquivalentClassifiers(Classifier classifier)
      Deprecated.
      Finds classifiers that are the direct equivalent to a given classifier
      Parameters:
      classifier - the given classifier
      Returns:
      a set of classifier that are the direct equivalents of the given classifier
    • findEquivalentScalars

      public static Set<Scalar> findEquivalentScalars(Scalar scalar, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds scalars that are the direct equivalent to a given scalar
      Parameters:
      scalar - the given scalar
      scope - The scope of the search (can be null)
      Returns:
      a set of scalars that are the direct equivalents of the given scalar
    • findEquivalentScalars

      @Deprecated public static Set<Scalar> findEquivalentScalars(Scalar scalar)
      Deprecated.
      Finds scalars that are the direct equivalent to a given scalar
      Parameters:
      scalar - the given scalar
      Returns:
      a set of scalars that are the direct equivalents of the given scalar
    • findEquivalentProperties

      public static Set<Property> findEquivalentProperties(Property property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds properties that are the direct equivalent to a given property
      Parameters:
      property - the given property
      scope - The scope of the search (can be null)
      Returns:
      a set of property that are the direct equivalents of the given property
    • findEquivalentProperties

      @Deprecated public static Set<Property> findEquivalentProperties(Property property)
      Deprecated.
      Finds properties that are the direct equivalent to a given property
      Parameters:
      property - the given property
      Returns:
      a set of property that are the direct equivalents of the given property
    • findSourceRelations

      public static Set<Relation> findSourceRelations(Entity entity, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds relations that have the given entity as their source
      Parameters:
      entity - the given entity
      scope - The scope of the search (can be null)
      Returns:
      a set of relations that have the given entity as their source
    • findSourceRelations

      @Deprecated public static Set<Relation> findSourceRelations(Entity entity)
      Deprecated.
      Finds relations that have the given entity as their source
      Parameters:
      entity - the given entity
      Returns:
      a set of relations that have the given entity as their source
    • findTargetRelations

      public static Set<Relation> findTargetRelations(Entity entity, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds relations that have the given entity as their target
      Parameters:
      entity - the given entity
      scope - The scope of the search (can be null)
      Returns:
      a set of relations that have the given entity as their target
    • findTargetRelations

      @Deprecated public static Set<Relation> findTargetRelations(Entity entity)
      Deprecated.
      Finds relations that have the given entity as their target
      Parameters:
      entity - the given entity
      Returns:
      a set of relations that have the given entity as their target
    • findSemanticPropertiesWithDomain

      public static Set<SemanticProperty> findSemanticPropertiesWithDomain(Classifier domain, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds semantic properties referencing the given classifier as domain
      Parameters:
      domain - The referenced classifier
      scope - The scope of the search (can be null)
      Returns:
      A set of referencing semantic properties
    • findSemanticPropertiesWithDomain

      @Deprecated public static Set<SemanticProperty> findSemanticPropertiesWithDomain(Classifier domain)
      Finds semantic properties referencing the given classifier as domain
      Parameters:
      domain - The referenced classifier
      Returns:
      A set of referencing semantic properties
    • findSemanticPropertiesWithRange

      public static Set<SemanticProperty> findSemanticPropertiesWithRange(Type range, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds semantic properties referencing the given type as range
      Parameters:
      range - The referenced type
      scope - The scope of the search (can be null)
      Returns:
      A set of referencing semantic properties
    • findSemanticPropertiesWithRange

      @Deprecated public static Set<SemanticProperty> findSemanticPropertiesWithRange(Type range)
      Deprecated.
      Finds semantic properties referencing the given type as range
      Parameters:
      range - The referenced type
      Returns:
      A set of referencing semantic properties
    • findDomains

      public static Set<Classifier> findDomains(SemanticProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds the domains of the given semantic property
      Parameters:
      property - The given property
      scope - The scope of the search (can be null)
      Returns:
      A set of domains for the given semantic property
    • findDomains

      @Deprecated public static Set<Classifier> findDomains(SemanticProperty property)
      Deprecated.
      Finds the domains of the given semantic property
      Parameters:
      property - The given property
      Returns:
      A set of domains for the given semantic property
    • findAllDomains

      public static Set<Classifier> findAllDomains(SemanticProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds all (direct or inherited) domains of the given property
      Parameters:
      property - the given property
      scope - The scope of the search (can be null)
      Returns:
      A set of domains for the given semantic property
    • findAllDomains

      @Deprecated public static Set<Classifier> findAllDomains(SemanticProperty property)
      Deprecated.
      Finds all (direct or inherited) domains of the given property
      Parameters:
      property - the given property
      Returns:
      A set of domains for the given semantic property
    • findRanges

      public static Set<Type> findRanges(SemanticProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds the ranges of the given semantic property
      Parameters:
      property - The given property
      scope - The scope of the search (can be null)
      Returns:
      A set of ranges for the given semantic property
    • findRanges

      @Deprecated public static Set<Type> findRanges(SemanticProperty property)
      Deprecated.
      Finds the ranges of the given semantic property
      Parameters:
      property - The given property
      Returns:
      A set of ranges for the given semantic property
    • findAllRanges

      public static Set<Type> findAllRanges(SemanticProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds all (direct or inherited) ranges of the given property
      Parameters:
      property - the given property
      scope - The scope of the search (can be null)
      Returns:
      A set of ranges for the given semantic property
    • findAllRanges

      @Deprecated public static Set<Type> findAllRanges(SemanticProperty property)
      Deprecated.
      Finds all (direct or inherited) ranges of the given property
      Parameters:
      property - the given property
      Returns:
      A set of ranges for the given semantic property
    • findEntitiesKeyedWith

      public static Set<Entity> findEntitiesKeyedWith(SemanticProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Find entities that have the following property included in one of their keys
      Parameters:
      property - the given property
      scope - The scope of the search (can be null)
      Returns:
      a set of entities that have the following property included in one of their keys
    • findEntitiesKeyedWith

      @Deprecated public static Set<Entity> findEntitiesKeyedWith(SemanticProperty property)
      Deprecated.
      Find entities that have the following property included in one of their keys
      Parameters:
      property - the given property
      Returns:
      a set of entities that have the following property included in one of their keys
    • findSources

      public static Set<Entity> findSources(RelationBase base, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds the sources of the given relation base
      Parameters:
      base - The given relation base
      scope - The scope of the search (can be null)
      Returns:
      A set of sources for the given relation base
    • findSources

      @Deprecated public static Set<Entity> findSources(RelationBase base)
      Deprecated.
      Finds the sources of the given relation base
      Parameters:
      base - The given relation base
      Returns:
      A set of sources for the given relation base
    • findTargets

      public static Set<Entity> findTargets(RelationBase base, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds the targets of the given relation base
      Parameters:
      base - The given relation base
      scope - The scope of the search (can be null)
      Returns:
      A set of targets for the given relation base
    • findTargets

      @Deprecated public static Set<Entity> findTargets(RelationBase base)
      Deprecated.
      Finds the targets of the given relation base
      Parameters:
      base - The given relation base
      Returns:
      A set of targets for the given relation base
    • findIsEnumeratedProperty

      public static boolean findIsEnumeratedProperty(ScalarProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds whether the given scalar property has as one of its ranges an enumerated scalar
      Parameters:
      property - The given scalar property
      scope - The scope of the search (can be null)
      Returns:
      true is the scalar is enumerated; false otherwise
    • findIsEnumeratedProperty

      @Deprecated public static boolean findIsEnumeratedProperty(ScalarProperty property)
      Deprecated.
      Finds whether the given scalar property has as one of its ranges an enumerated scalar
      Parameters:
      property - The given scalar property
      Returns:
      true is the scalar is enumerated; false otherwise
    • findIsEnumeratedScalar

      public static boolean findIsEnumeratedScalar(Scalar scalar, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds whether the given scalar has enumeration literals
      Parameters:
      scalar - The given scalar
      scope - The scope of the search (can be null)
      Returns:
      true is the scalar is enumerated; false otherwise
    • findIsEnumeratedScalar

      @Deprecated public static boolean findIsEnumeratedScalar(Scalar scalar)
      Deprecated.
      Finds whether the given scalar has enumeration literals
      Parameters:
      scalar - The given scalar
      Returns:
      true is the scalar is enumerated; false otherwise
    • findEnumerationLiterals

      public static List<Literal> findEnumerationLiterals(Scalar scalar, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds the list of enumeration liters of the given scalar
      Parameters:
      scalar - The given scalar
      scope - The scope of the search (can be null)
      Returns:
      a list of enumeration literals
    • findEnumerationLiterals

      @Deprecated public static List<Literal> findEnumerationLiterals(Scalar scalar)
      Deprecated.
      Finds the list of enumeration liters of the given scalar
      Parameters:
      scalar - The given scalar
      Returns:
      a list of enumeration literals
    • findAssertions

      public static Set<Assertion> findAssertions(Instance instance, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds assertions that are defined on the given instance
      Parameters:
      instance - the given instance
      scope - The scope of the search (can be null)
      Returns:
      a set of assertions that are defined on the given instance
    • findAssertions

      @Deprecated public static Set<Assertion> findAssertions(Instance instance)
      Deprecated.
      As of 2.5.0. Use {findAssertions(Instance, Set<Resource>) instead
      Finds assertions that are defined on the given instance
      Parameters:
      instance - the given instance
      Returns:
      a set of assertions that are defined on the given instance
    • findTypeAssertions

      public static Set<TypeAssertion> findTypeAssertions(NamedInstance instance, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds type assertions that are defined on the given named instance
      Parameters:
      instance - the given named instance
      scope - The scope of the search (can be null)
      Returns:
      a set of type assertions that are defined on the given named instance
    • findTypeAssertions

      @Deprecated public static Set<TypeAssertion> findTypeAssertions(NamedInstance instance)
      Deprecated.
      Finds type assertions that are defined on the given named instance
      Parameters:
      instance - the given named instance
      Returns:
      a set of type assertions that are defined on the given named instance
    • findPropertyValueAssertionsWithSubject

      public static Set<PropertyValueAssertion> findPropertyValueAssertionsWithSubject(Instance subject, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds property value assertions that have the given instance as their source
      Parameters:
      subject - the given subject instance
      scope - The scope of the search (can be null)
      Returns:
      a set of relation value assertions that have the given instance as their subject
    • findPropertyValueAssertionsWithSubject

      @Deprecated public static Set<PropertyValueAssertion> findPropertyValueAssertionsWithSubject(Instance subject)
      Finds property value assertions that have the given instance as their source
      Parameters:
      subject - the given subject instance
      Returns:
      a set of relation value assertions that have the given instance as their subject
    • findPropertyValueAssertionsWithObject

      public static Set<PropertyValueAssertion> findPropertyValueAssertionsWithObject(NamedInstance object, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds relation value assertions that have the given instance as their object
      Parameters:
      object - the given object instance
      scope - The scope of the search (can be null)
      Returns:
      a set of relation value assertions that have the given instance as their object
    • findPropertyValueAssertionsWithObject

      @Deprecated public static Set<PropertyValueAssertion> findPropertyValueAssertionsWithObject(NamedInstance object)
      Finds relation value assertions that have the given instance as their object
      Parameters:
      object - the given object instance
      Returns:
      a set of relation value assertions that have the given instance as their object
    • findInstancesRelatedTo

      public static Set<NamedInstance> findInstancesRelatedTo(NamedInstance instance, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds instances that are asserted as related to the given instance by any relation
      Parameters:
      instance - the given instance
      scope - The scope of the search (can be null)
      Returns:
      a set of instances related to the given instance by any relation
    • findInstancesRelatedTo

      @Deprecated public static Set<NamedInstance> findInstancesRelatedTo(NamedInstance instance)
      Deprecated.
      Finds instances that are asserted as related to the given instance by any relation
      Parameters:
      instance - the given instance
      Returns:
      a set of instances related to the given instance by any relation
    • findInstancesRelatedTo

      public static Set<NamedInstance> findInstancesRelatedTo(NamedInstance instance, Relation relation, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds instances that are asserted as related to the given instance by a given relation
      Parameters:
      instance - the given instance
      relation - the given relation
      scope - The scope of the search (can be null)
      Returns:
      a set of instances related to the given instance by a given relation
    • findInstancesRelatedTo

      @Deprecated public static Set<NamedInstance> findInstancesRelatedTo(NamedInstance instance, Relation relation)
      Finds instances that are asserted as related to the given instance by a given relation
      Parameters:
      instance - the given instance
      relation - the given relation
      Returns:
      a set of instances related to the given instance by a given relation
    • findInstancesRelatedAsTargetTo

      public static Set<NamedInstance> findInstancesRelatedAsTargetTo(NamedInstance source, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds target instances that are asserted as related to the given source instance by any relation
      Parameters:
      source - the given source instance
      scope - The scope of the search (can be null)
      Returns:
      a set of target instances related to the given source instance
    • findInstancesRelatedAsTargetTo

      @Deprecated public static Set<NamedInstance> findInstancesRelatedAsTargetTo(NamedInstance source)
      Finds target instances that are asserted as related to the given source instance by any relation
      Parameters:
      source - the given source instance
      Returns:
      a set of target instances related to the given source instance
    • findInstancesRelatedAsTargetTo

      public static Set<NamedInstance> findInstancesRelatedAsTargetTo(NamedInstance source, Relation relation, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds target instances that are asserted as related to the given source instance by a given relation
      Parameters:
      source - the given source instance
      relation - the given relation
      scope - The scope of the search (can be null)
      Returns:
      a set of target instances related to the given source instance
    • findInstancesRelatedAsTargetTo

      @Deprecated public static Set<NamedInstance> findInstancesRelatedAsTargetTo(NamedInstance source, Relation relation)
      Finds target instances that are asserted as related to the given source instance by a given relation
      Parameters:
      source - the given source instance
      relation - the given relation
      Returns:
      a set of target instances related to the given source instance
    • findInstancesRelatedAsSourceTo

      public static Set<NamedInstance> findInstancesRelatedAsSourceTo(NamedInstance target, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds source instances that are related by any relation to the given target instance
      Parameters:
      target - the given target instance
      scope - The scope of the search (can be null)
      Returns:
      a set of source instances related to the given target instance
    • findInstancesRelatedAsSourceTo

      @Deprecated public static Set<NamedInstance> findInstancesRelatedAsSourceTo(NamedInstance target)
      Finds source instances that are related by any relation to the given target instance
      Parameters:
      target - the given target instance
      Returns:
      a set of source instances related to the given target instance
    • findInstancesRelatedAsSourceTo

      public static Set<NamedInstance> findInstancesRelatedAsSourceTo(NamedInstance target, Relation relation, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds source instances that are related by a given relation to a given target instance
      Parameters:
      target - the given target instance
      relation - the given relation
      scope - The scope of the search (can be null)
      Returns:
      a set of source instances that are related by a given relation to the given target instance
    • findInstancesRelatedAsSourceTo

      @Deprecated public static Set<NamedInstance> findInstancesRelatedAsSourceTo(NamedInstance target, Relation relation)
      Finds source instances that are related by a given relation to a given target instance
      Parameters:
      target - the given target instance
      relation - the given relation
      Returns:
      a set of source instances that are related by a given relation to the given target instance
    • findPropertyValues

      public static Set<Element> findPropertyValues(Instance instance, SemanticProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds elements that represent values of given semantic property defined on the given instance
      Parameters:
      instance - the given instance
      property - the given semantic property
      scope - The scope of the search (can be null)
      Returns:
      a set of elements that represent values of given semantic property defined on the given instance
    • findPropertyValues

      @Deprecated public static Set<Element> findPropertyValues(Instance instance, SemanticProperty property)
      Deprecated.
      Finds elements that represent values of given semantic property defined on the given instance
      Parameters:
      instance - the given instance
      property - the given semantic property
      Returns:
      a set of elements that represent values of given semantic property defined on the given instance
    • findPropertyLiteralValue

      public static Literal findPropertyLiteralValue(Instance instance, ScalarProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds the first literal value of given scalar property defined on the given instance
      Parameters:
      instance - the given instance
      property - the given scalar property
      scope - The scope of the search (can be null)
      Returns:
      a literal value of the given scalar property on the given instance
    • findPropertyLiteralValue

      @Deprecated public static Literal findPropertyLiteralValue(Instance instance, ScalarProperty property)
      Finds the first literal value of given scalar property defined on the given instance
      Parameters:
      instance - the given instance
      property - the given scalar property
      Returns:
      a literal value of the given scalar property on the given instance
    • findPropertyContainedValue

      public static StructureInstance findPropertyContainedValue(Instance instance, StructuredProperty property, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds the first contained value of given structured property defined on the given instance
      Parameters:
      instance - the given instance
      property - the given structured property
      scope - The scope of the search (can be null)
      Returns:
      a contained value of the given structured property on the given instance
    • findPropertyContainedValue

      @Deprecated public static StructureInstance findPropertyContainedValue(Instance instance, StructuredProperty property)
      Finds the first contained value of given structured property defined on the given instance
      Parameters:
      instance - the given instance
      property - the given structured property
      Returns:
      a contained value of the given structured property on the given instance
    • findPropertyReferencedValue

      public static NamedInstance findPropertyReferencedValue(Instance instance, Relation relation, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds the first referenced value of given structured property defined on the given instance
      Parameters:
      instance - the given instance
      relation - the given relation
      scope - The scope of the search (can be null)
      Returns:
      a referenced value of the given relation on the given instance
    • findPropertyReferencedValue

      @Deprecated public static NamedInstance findPropertyReferencedValue(Instance instance, Relation relation)
      Finds the first referenced value of given structured property defined on the given instance
      Parameters:
      instance - the given instance
      relation - the given relation
      Returns:
      a referenced value of the given relation on the given instance
    • findTypes

      public static Set<Classifier> findTypes(Instance instance, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds classifiers that are direct types of the given instance
      Parameters:
      instance - the given instance
      scope - The scope of the search (can be null)
      Returns:
      a set of classifiers that are direcf types of the given instance
    • findTypes

      @Deprecated public static Set<Classifier> findTypes(Instance instance)
      Deprecated.
      As of 2.5.0. Use {findTypes(Instance, Set<Resource>) instead
      Finds classifiers that are direct types of the given instance
      Parameters:
      instance - the given instance
      Returns:
      a set of classifiers that are direcf types of the given instance
    • findAllTypes

      public static Set<Classifier> findAllTypes(Instance instance, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds classifiers that are direct or indirect types of the given instance
      Parameters:
      instance - the given instance
      scope - The scope of the search (can be null)
      Returns:
      a set of classifiers that are direct or indirect types of the given instance
    • findAllTypes

      @Deprecated public static Set<Classifier> findAllTypes(Instance instance)
      Deprecated.
      As of 2.5.0. Use {findAllTypes(Instance, Set<Resource>) instead
      Finds classifiers that are direct or indirect types of the given instance
      Parameters:
      instance - the given instance
      Returns:
      a set of classifiers that are direct or indirect types of the given instance
    • findIsTypeOf

      public static boolean findIsTypeOf(Instance instance, Classifier type, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds whether the given instance is typed directly by the given type
      Parameters:
      instance - the given instance
      type - the given type
      scope - The scope of the search (can be null)
      Returns:
      true if the given instance is typed directly by the given type; otherwise false
    • findIsTypeOf

      @Deprecated public static boolean findIsTypeOf(Instance instance, Classifier type)
      Deprecated.
      Finds whether the given instance is typed directly by the given type
      Parameters:
      instance - the given instance
      type - the given type
      Returns:
      true if the given instance is typed directly by the given type; otherwise false
    • findIsKindOf

      public static boolean findIsKindOf(Instance instance, Classifier type, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds whether the given instance is typed directly or transitively by the given type
      Parameters:
      instance - the given instance
      type - the given type
      scope - The scope of the search (can be null)
      Returns:
      true if the given instance is typed directly or transitively by the given type; otherwise false
    • findIsKindOf

      @Deprecated public static boolean findIsKindOf(Instance instance, Classifier type)
      Deprecated.
      Finds whether the given instance is typed directly or transitively by the given type
      Parameters:
      instance - the given instance
      type - the given type
      Returns:
      true if the given instance is typed directly or transitively by the given type; otherwise false
    • findInstancesOfType

      public static Set<Instance> findInstancesOfType(Classifier type, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds instances that have the given type as their direct type
      Parameters:
      type - the given type
      scope - The scope of the search (can be null)
      Returns:
      a set of instances that have the given type as their direct type
    • findInstancesOfType

      @Deprecated public static Set<Instance> findInstancesOfType(Classifier type)
      Deprecated.
      Finds instances that have the given type as their direct type
      Parameters:
      type - the given type
      Returns:
      a set of instances that have the given type as their direct type
    • findInstancesOfKind

      public static Set<Instance> findInstancesOfKind(Classifier type, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds instances that have the given type as their direct or transitive type
      Parameters:
      type - the given type
      scope - The scope of the search (can be null)
      Returns:
      a set of instances that have the given type as their direct or transitive type
    • findInstancesOfKind

      @Deprecated public static Set<Instance> findInstancesOfKind(Classifier type)
      Deprecated.
      Finds instances that have the given type as their direct or transitive type
      Parameters:
      type - the given type
      Returns:
      a set of instances that have the given type as their direct or transitive type
    • findAllTypes

      public static Set<Scalar> findAllTypes(Literal literal, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds all the scalars that are direct or indirect types of the given literal
      Parameters:
      literal - the given literal
      scope - The scope of the search (can be null)
      Returns:
      a set of scalars that are direct or indirect types of the given literal
    • findAllTypes

      @Deprecated public static Set<Scalar> findAllTypes(Literal literal)
      Deprecated.
      As of 2.5.0. Use {findAllTypes(Literal, Set<Resource>) instead
      Finds all the scalars that are direct or indirect types of the given literal
      Parameters:
      literal - the given literal
      Returns:
      a set of scalars that are direct or indirect types of the given literal
    • findIsKindOf

      public static boolean findIsKindOf(Literal literal, Scalar type, Set<org.eclipse.emf.ecore.resource.Resource> scope)
      Finds if the given literal is typed directly or transitively by the given type
      Parameters:
      literal - the given literal
      type - the given type
      scope - The scope of the search (can be null)
      Returns:
      true if the given literal is typed directly or transitively by the given type; otherwise false
    • findIsKindOf

      @Deprecated public static boolean findIsKindOf(Literal literal, Scalar type)
      Deprecated.
      Finds if the given literal is typed directly or transitively by the given type
      Parameters:
      literal - the given literal
      type - the given type
      Returns:
      true if the given literal is typed directly or transitively by the given type; otherwise false