Alignment API and Server 4.5 (1846M)

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

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.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 $

Field Summary
(package private)  Datatype type
           
(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
ClassTypeRestriction(PathExpression p, boolean pred, Datatype t)
          Constructs a ClassTypeRestriction with the given restriction.
ClassTypeRestriction(PathExpression p, Datatype t)
           
 
Method Summary
 void accept(EDOALVisitor visitor)
           
 TypeCheckingVisitor.TYPE accept(TypeCheckingVisitor visitor)
           
 Datatype getType()
           
 boolean isUniversal()
           
 void setType(Datatype t)
           
 
Methods inherited from class fr.inrialpes.exmo.align.impl.edoal.ClassRestriction
getRestrictionPath, setRestrictionPath
 
Methods inherited from class fr.inrialpes.exmo.align.impl.edoal.Expression
getVariable, setVariable
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

type

Datatype type

universal

boolean universal
Constructor Detail

ClassTypeRestriction

public ClassTypeRestriction(PathExpression p,
                            boolean pred,
                            Datatype t)
Constructs a ClassTypeRestriction with the given restriction.

Parameters:
p - the restricted PathExpression
pred - 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)
Method Detail

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()

Alignment API and Server 4.5 (1846M)

(C) INRIA & friends, 2003-2013