Package tools.refinery.language.utils

Class ProblemUtil

java.lang.Object

tools.refinery.language.utils.ProblemUtil

public final class ProblemUtil
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final String	MODULE_EXTENSION

Method Summary

Modifier and Type	Method	Description
static int	getArityWithoutProxyResolution(Relation relation)
static ModuleKind	getDefaultModuleKind(org.eclipse.emf.common.util.URI uri)
static ModuleKind	getDefaultModuleKind(Problem problem)
static boolean	hasComputedValue(PredicateDefinition predicateDefinition)
static boolean	hasMultiplicityConstraint(ReferenceDeclaration referenceDeclaration)
static boolean	isAtomNode(Node node)
static boolean	isBasePredicate(PredicateDefinition predicateDefinition)
static boolean	isBuiltIn(org.eclipse.emf.ecore.EObject eObject)
static boolean	isComputedValuePredicate(Relation relation)
static boolean	isContainerReference(ReferenceDeclaration referenceDeclaration)
static boolean	isContainmentReference(ReferenceDeclaration referenceDeclaration)
static boolean	isDeclaredNode(Node node)
static boolean	isDerivedStatePredicate(PredicateDefinition predicateDefinition)
static boolean	isError(org.eclipse.emf.ecore.EObject eObject)
static boolean	isImplicit(org.eclipse.emf.ecore.EObject eObject)
static boolean	isImplicitNode(Node node)
static boolean	isImplicitVariable(Variable variable)
static boolean	isInModule(org.eclipse.emf.ecore.EObject eObject)
static boolean	isInvalidMultiplicityConstraint(Relation relation)
static boolean	isModule(Problem problem)
static boolean	isMultiNode(Node node)
static boolean	isShadow(org.eclipse.emf.ecore.EObject eObject)
static boolean	isSingletonVariable(Variable variable)
static boolean	isTypeLike(Relation relation)
static boolean	mayReferToShadow(org.eclipse.emf.ecore.EObject context)
static boolean	parameterBindingAnnotationsAreForbidden(RuleDefinition ruleDefinition)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

MODULE_EXTENSION

public static final String MODULE_EXTENSION

See Also:

• Constant Field Values

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(PredicateDefinition 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)