public class PropertyTypeRestriction extends PropertyRestriction implements java.lang.Cloneable
Represents a attributeTypeRestriction tag for a ClassExpressions.
Created on 24-Mar-2005 Committed by $Author: poettler_ric $
Modifier and Type | Field and Description |
---|---|
(package private) Datatype |
type |
variable
Constructor and Description |
---|
PropertyTypeRestriction()
Constructs a simple PropertyTypeRestriction
|
PropertyTypeRestriction(Datatype t)
Constructs a PropertyTypeRestriction with the given restriction.
|
Modifier and Type | Method and Description |
---|---|
void |
accept(EDOALVisitor visitor) |
TypeCheckingVisitor.TYPE |
accept(TypeCheckingVisitor visitor) |
Datatype |
getType() |
void |
setType(Datatype t) |
getVariable, setVariable
Datatype type
public PropertyTypeRestriction()
java.lang.NullPointerException
- if the restriction is nullpublic PropertyTypeRestriction(Datatype t)
t
- the restricting target datatypejava.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 Datatype getType()
public void setType(Datatype t)
(C) INRIA & friends, 2003-2020