Package tools.refinery.language.utils

Class ProblemUtil

java.lang.Object
tools.refinery.language.utils.ProblemUtil
public final class ProblemUtil extends Object

  • Field Details

  • Method Details

    • isBuiltIn

      public static boolean isBuiltIn(org.eclipse.emf.ecore.EObject eObject)

    • isSingletonVariable

      public static boolean isSingletonVariable(Variable variable)

    • isImplicitVariable

      public static boolean isImplicitVariable(Variable variable)

    • isImplicitNode

      public static boolean isImplicitNode(Node node)

    • isImplicit

      public static boolean isImplicit(org.eclipse.emf.ecore.EObject eObject)

    • isError

      public static boolean isError(org.eclipse.emf.ecore.EObject eObject)

    • isShadow

      public static boolean isShadow(org.eclipse.emf.ecore.EObject eObject)

    • mayReferToShadow

      public static boolean mayReferToShadow(org.eclipse.emf.ecore.EObject context)

    • isAtomNode

      public static boolean isAtomNode(Node node)

    • isMultiNode

      public static boolean isMultiNode(Node node)

    • isDeclaredNode

      public static boolean isDeclaredNode(Node node)

    • isInvalidMultiplicityConstraint

      public static boolean isInvalidMultiplicityConstraint(Relation relation)

    • isComputedValuePredicate

      public static boolean isComputedValuePredicate(Relation relation)

    • hasMultiplicityConstraint

      public static boolean hasMultiplicityConstraint(ReferenceDeclaration referenceDeclaration)

    • isDerivedStatePredicate

      public static boolean isDerivedStatePredicate(org.eclipse.emf.ecore.EObject predicateDefinition)

    • isBasePredicate

      public static boolean isBasePredicate(PredicateDefinition predicateDefinition)

    • hasComputedValue

      public static boolean hasComputedValue(PredicateDefinition predicateDefinition)

    • isTypeLike

      public static boolean isTypeLike(Relation relation)

    • isContainmentReference

      public static boolean isContainmentReference(ReferenceDeclaration referenceDeclaration)

    • isContainerReference

      public static boolean isContainerReference(ReferenceDeclaration referenceDeclaration)

    • getDefaultModuleKind

      public static ModuleKind getDefaultModuleKind(Problem problem)

    • getDefaultModuleKind

      public static ModuleKind getDefaultModuleKind(org.eclipse.emf.common.util.URI uri)

    • isModule

      public static boolean isModule(Problem problem)

    • isInModule

      public static boolean isInModule(org.eclipse.emf.ecore.EObject eObject)

    • parameterBindingAnnotationsAreForbidden

      public static boolean parameterBindingAnnotationsAreForbidden(RuleDefinition ruleDefinition)

    • getArityWithoutProxyResolution

      public static int getArityWithoutProxyResolution(Relation relation)

    • isConcretizeByDefault

      public static boolean isConcretizeByDefault(Relation relation)

    • canEnableConcretization

      public static boolean canEnableConcretization(Relation relation)

    • canDisableConcretization

      public static boolean canDisableConcretization(Relation relation)

    • isDecideByDefault

      public static boolean isDecideByDefault(Relation relation)

    • canEnableDecision

      public static boolean canEnableDecision(Relation relation)

    • canDisableDecision

      public static boolean canDisableDecision(Relation relation)