public class ClassTypeRestriction extends ClassRestriction implements java.lang.Cloneable
Represents a type typeCondition tag for PropertyExpressions.
Created on 24-Mar-2005 Committed by $Author: poettler_ric $
Modifier and Type | Field and Description |
---|---|
(package private) Datatype |
type |
(package private) boolean |
universal |
constrainedPath
variable
Constructor and Description |
---|
ClassTypeRestriction(PathExpression p,
boolean pred,
Datatype t)
Constructs a ClassTypeRestriction with the given restriction.
|
ClassTypeRestriction(PathExpression p,
Datatype t) |
Modifier and Type | Method and Description |
---|---|
void |
accept(EDOALVisitor visitor) |
TypeCheckingVisitor.TYPE |
accept(TypeCheckingVisitor visitor) |
Datatype |
getType() |
boolean |
isUniversal() |
void |
setType(Datatype t) |
getRestrictionPath, setRestrictionPath
getVariable, setVariable
Datatype type
boolean universal
public ClassTypeRestriction(PathExpression p, boolean pred, Datatype t)
p
- the restricted PathExpressionpred
- wether the constraint is universal (true) or existential (false)t
- the Datatype to which this path is restrictedjava.lang.NullPointerException
- if the restriction is null
NOTE: Currently the predicate is not visible in the syntax which only
authorises type (so universal)public ClassTypeRestriction(PathExpression p, Datatype t)
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 Datatype getType()
public void setType(Datatype t)
public boolean isUniversal()
(C) INRIA & friends, 2003-2020