fr.inrialpes.exmo.align.parser
Class TypeCheckingVisitor
java.lang.Object
fr.inrialpes.exmo.align.parser.TypeCheckingVisitor
public class TypeCheckingVisitor
- extends Object
Checks if an EDOALAlignment is well-typed
This is called by AlignmentParser (with debug>0)
- Version:
- $Id: TypeCheckingVisitor.java 1608 2011-05-28 20:21:16Z euzenat $
- Author:
- Jérôme Euzenat
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
alignment
EDOALAlignment alignment
cell
EDOALCell cell
nslist
Hashtable<URI,TypeCheckingVisitor.TYPE> nslist
embedded
boolean embedded
error
boolean error
print
boolean print
isPattern
private boolean isPattern
DEF
private static Namespace DEF
TypeCheckingVisitor
public TypeCheckingVisitor()
visit
public TypeCheckingVisitor.TYPE visit(Visitable o)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(Expression o)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(EDOALAlignment align)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(EDOALCell cell)
throws AlignmentException
- Throws:
AlignmentException
compatible
public boolean compatible(TypeCheckingVisitor.TYPE t1,
TypeCheckingVisitor.TYPE t2)
pcompatible
public boolean pcompatible(TypeCheckingVisitor.TYPE ptype,
TypeCheckingVisitor.TYPE tp)
visit
public TypeCheckingVisitor.TYPE visit(Transformation trsf)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(PathExpression p)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(ClassExpression e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(ClassId e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(ClassConstruction e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(ClassRestriction e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(ClassValueRestriction c)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(ClassTypeRestriction c)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(ClassDomainRestriction c)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(ClassOccurenceRestriction c)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(PropertyExpression e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(PropertyId e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(PropertyConstruction e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(PropertyRestriction e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(PropertyValueRestriction c)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(PropertyDomainRestriction c)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(PropertyTypeRestriction c)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(RelationExpression e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(RelationId e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(RelationConstruction e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(RelationRestriction e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(RelationCoDomainRestriction c)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(RelationDomainRestriction c)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(InstanceExpression e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(InstanceId e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(ValueExpression e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(Value e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(Apply e)
throws AlignmentException
- Throws:
AlignmentException
visit
public TypeCheckingVisitor.TYPE visit(Datatype e)
throws AlignmentException
- Throws:
AlignmentException
raiseError
public TypeCheckingVisitor.TYPE raiseError(URI u,
TypeCheckingVisitor.TYPE expT,
TypeCheckingVisitor.TYPE foundT)
(C) INRIA & friends, 2003-${curryear}