public class ClassDomainRestriction extends ClassRestriction implements java.lang.Cloneable
Modifier and Type | Field and Description |
---|---|
(package private) ClassExpression |
domain |
(package private) boolean |
universal |
constrainedPath
variable
Constructor and Description |
---|
ClassDomainRestriction(PathExpression p,
boolean pred,
ClassExpression cl)
Constructs a typeCondition with the given restriction.
|
ClassDomainRestriction(PathExpression p,
ClassExpression cl) |
Modifier and Type | Method and Description |
---|---|
void |
accept(EDOALVisitor visitor) |
TypeCheckingVisitor.TYPE |
accept(TypeCheckingVisitor visitor) |
ClassExpression |
getDomain() |
boolean |
isUniversal() |
void |
setDomain(ClassExpression cl) |
getRestrictionPath, setRestrictionPath
getVariable, setVariable
ClassExpression domain
boolean universal
public ClassDomainRestriction(PathExpression p, boolean pred, ClassExpression cl)
p
- the PathExpression to which the restriction appliespred
- wether the constraint is universal (true) or existential (false)cl
- the ClassExpression restricting the domainjava.lang.NullPointerException
- if the restriction is nullpublic ClassDomainRestriction(PathExpression p, ClassExpression cl)
public void accept(EDOALVisitor visitor) throws AlignmentException
accept
in class Expression
AlignmentException
public TypeCheckingVisitor.TYPE accept(TypeCheckingVisitor visitor) throws AlignmentException
accept
in class Expression
AlignmentException
public ClassExpression getDomain()
public void setDomain(ClassExpression cl)
public boolean isUniversal()
(C) INRIA & friends, 2003-2020