Alignment API and Server 4.2.${version.update}

fr.inrialpes.exmo.align.impl.edoal
Class ClassDomainRestriction

java.lang.Object
  extended by fr.inrialpes.exmo.align.impl.edoal.Expression
      extended by fr.inrialpes.exmo.align.impl.edoal.ClassExpression
          extended by fr.inrialpes.exmo.align.impl.edoal.ClassRestriction
              extended by fr.inrialpes.exmo.align.impl.edoal.ClassDomainRestriction
All Implemented Interfaces:
Cloneable, Visitable

public class ClassDomainRestriction
extends ClassRestriction
implements Cloneable


Field Summary
(package private)  ClassExpression domain
           
(package private)  boolean universal
           
 
Fields inherited from class fr.inrialpes.exmo.align.impl.edoal.ClassRestriction
constrainedPath
 
Fields inherited from class fr.inrialpes.exmo.align.impl.edoal.Expression
variable
 
Constructor Summary
ClassDomainRestriction(PathExpression p, boolean pred, ClassExpression cl)
          Constructs a typeCondition with the given restriction.
ClassDomainRestriction(PathExpression p, ClassExpression cl)
           
 
Method Summary
 ClassExpression getDomain()
           
 boolean isUniversal()
           
 void setDomain(ClassExpression cl)
           
 
Methods inherited from class fr.inrialpes.exmo.align.impl.edoal.ClassRestriction
getRestrictionPath, setRestrictionPath
 
Methods inherited from class fr.inrialpes.exmo.align.impl.edoal.Expression
accept, accept, getVariable, setVariable
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

domain

ClassExpression domain

universal

boolean universal
Constructor Detail

ClassDomainRestriction

public ClassDomainRestriction(PathExpression p,
                              boolean pred,
                              ClassExpression cl)
Constructs a typeCondition with the given restriction.

Parameters:
p - the PathExpression to which the restriction applies
pred - 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)
Method Detail

getDomain

public ClassExpression getDomain()

setDomain

public void setDomain(ClassExpression cl)

isUniversal

public boolean isUniversal()

Alignment API and Server 4.2.${version.update}

(C) INRIA & friends, 2003-${curryear}