public class RelationDomainRestriction extends RelationRestriction
Represents a domainRestriction tag for RelationExpressions.
Modifier and Type | Field and Description |
---|---|
private ClassExpression |
domain |
variable
Constructor and Description |
---|
RelationDomainRestriction()
Constructs a simple RelationDomainRestiction
|
RelationDomainRestriction(ClassExpression dom)
Constructs a RelationDomainRestiction with the given restriction.
|
Modifier and Type | Method and Description |
---|---|
void |
accept(EDOALVisitor visitor) |
TypeCheckingVisitor.TYPE |
accept(TypeCheckingVisitor visitor) |
ClassExpression |
getDomain() |
void |
getDomain(ClassExpression dom) |
getVariable, setVariable
private ClassExpression domain
public RelationDomainRestriction()
java.lang.NullPointerException
- if the restriction is nullpublic RelationDomainRestriction(ClassExpression dom)
dom
- the target restricting class expression to be taken as domainjava.lang.NullPointerException
- if the restriction is nullpublic void accept(EDOALVisitor visitor) throws AlignmentException
accept
in interface ValueExpression
accept
in class Expression
AlignmentException
public TypeCheckingVisitor.TYPE accept(TypeCheckingVisitor visitor) throws AlignmentException
accept
in interface ValueExpression
accept
in class Expression
AlignmentException
public ClassExpression getDomain()
public void getDomain(ClassExpression dom)
(C) INRIA & friends, 2003-2020