public class PropertyDomainRestriction extends PropertyRestriction
Represents a domainRestriction tag for PropertyExpressions.
Modifier and Type | Field and Description |
---|---|
protected ClassExpression |
domain |
variable
Constructor and Description |
---|
PropertyDomainRestriction()
Constructs a domainRestiction with the given restriction.
|
PropertyDomainRestriction(ClassExpression dom)
Constructs a domainRestiction with the given restriction.
|
Modifier and Type | Method and Description |
---|---|
void |
accept(EDOALVisitor visitor) |
TypeCheckingVisitor.TYPE |
accept(TypeCheckingVisitor visitor) |
ClassExpression |
getDomain() |
void |
setDomain(ClassExpression dom) |
getVariable, setVariable
protected ClassExpression domain
public PropertyDomainRestriction()
java.lang.NullPointerException
- if the restriction is nullpublic PropertyDomainRestriction(ClassExpression dom)
dom
- the restricting class expressionjava.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 setDomain(ClassExpression dom)
(C) INRIA & friends, 2003-2020