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
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)
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
getDomain
public ClassExpression getDomain()
setDomain
public void setDomain(ClassExpression cl)
isUniversal
public boolean isUniversal()
(C) INRIA & friends, 2003-2014