fr.inrialpes.exmo.align.impl.edoal
Class ClassDomainRestriction
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.ClassDomainRestriction
- All Implemented Interfaces:
- Cloneable, Visitable
public class ClassDomainRestriction
- extends ClassRestriction
- implements Cloneable
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
domain
ClassExpression domain
universal
boolean universal
ClassDomainRestriction
public ClassDomainRestriction(PathExpression p,
boolean pred,
ClassExpression cl)
- Constructs a typeCondition with the given restriction.
- Parameters:
p
- the PathExpression to which the restriction appliespred
- wether the constraint is universal (true) or existential (false)cl
- the ClassExpression restricting the domain
- Throws:
NullPointerException
- if the restriction is null
ClassDomainRestriction
public ClassDomainRestriction(PathExpression p,
ClassExpression cl)
getDomain
public ClassExpression getDomain()
setDomain
public void setDomain(ClassExpression cl)
isUniversal
public boolean isUniversal()
(C) INRIA & friends, 2003-${curryear}