fr.inrialpes.exmo.align.impl.edoal
Class ClassTypeRestriction
java.lang.Object
fr.inrialpes.exmo.align.impl.edoal.Expression
fr.inrialpes.exmo.align.impl.edoal.ClassExpression
fr.inrialpes.exmo.align.impl.edoal.ClassRestriction
fr.inrialpes.exmo.align.impl.edoal.ClassTypeRestriction
- All Implemented Interfaces:
- Cloneable
public class ClassTypeRestriction
- extends ClassRestriction
- implements Cloneable
Represents a type typeCondition tag for PropertyExpressions.
Created on 24-Mar-2005 Committed by $Author: poettler_ric $
- Version:
- $Id: ClassTypeRestriction.java 1710 2012-03-23 19:53:25Z euzenat $
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
type
Datatype type
universal
boolean universal
ClassTypeRestriction
public ClassTypeRestriction(PathExpression p,
boolean pred,
Datatype t)
- Constructs a ClassTypeRestriction with the given restriction.
- Parameters:
p
- the restricted PathExpressionpred
- wether the constraint is universal (true) or existential (false)t
- the Datatype to which this path is restricted
- Throws:
NullPointerException
- if the restriction is null
NOTE: Currently the predicate is not visible in the syntax which only
authorises type (so universal)
ClassTypeRestriction
public ClassTypeRestriction(PathExpression p,
Datatype t)
accept
public void accept(EDOALVisitor visitor)
throws AlignmentException
- Specified by:
accept
in class Expression
- Throws:
AlignmentException
accept
public TypeCheckingVisitor.TYPE accept(TypeCheckingVisitor visitor)
throws AlignmentException
- Specified by:
accept
in class Expression
- Throws:
AlignmentException
getType
public Datatype getType()
setType
public void setType(Datatype t)
isUniversal
public boolean isUniversal()
(C) INRIA & friends, 2003-2014