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

fr.inrialpes.exmo.align.parser
Class TypeCheckingVisitor

java.lang.Object
  extended by 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

Nested Class Summary
private static class TypeCheckingVisitor.TYPE
           
 
Field Summary
(package private)  EDOALAlignment alignment
           
(package private)  EDOALCell cell
           
private static Namespace DEF
           
(package private)  boolean embedded
           
(package private)  boolean error
           
private  boolean isPattern
           
(package private)  Hashtable<URI,TypeCheckingVisitor.TYPE> nslist
           
(package private)  boolean print
           
 
Constructor Summary
TypeCheckingVisitor()
           
 
Method Summary
 boolean compatible(TypeCheckingVisitor.TYPE t1, TypeCheckingVisitor.TYPE t2)
           
 boolean pcompatible(TypeCheckingVisitor.TYPE ptype, TypeCheckingVisitor.TYPE tp)
           
 TypeCheckingVisitor.TYPE raiseError(URI u, TypeCheckingVisitor.TYPE expT, TypeCheckingVisitor.TYPE foundT)
           
 TypeCheckingVisitor.TYPE visit(Apply e)
           
 TypeCheckingVisitor.TYPE visit(ClassConstruction e)
           
 TypeCheckingVisitor.TYPE visit(ClassDomainRestriction c)
           
 TypeCheckingVisitor.TYPE visit(ClassExpression e)
           
 TypeCheckingVisitor.TYPE visit(ClassId e)
           
 TypeCheckingVisitor.TYPE visit(ClassOccurenceRestriction c)
           
 TypeCheckingVisitor.TYPE visit(ClassRestriction e)
           
 TypeCheckingVisitor.TYPE visit(ClassTypeRestriction c)
           
 TypeCheckingVisitor.TYPE visit(ClassValueRestriction c)
           
 TypeCheckingVisitor.TYPE visit(Datatype e)
           
 TypeCheckingVisitor.TYPE visit(EDOALAlignment align)
           
 TypeCheckingVisitor.TYPE visit(EDOALCell cell)
           
 TypeCheckingVisitor.TYPE visit(Expression o)
           
 TypeCheckingVisitor.TYPE visit(InstanceExpression e)
           
 TypeCheckingVisitor.TYPE visit(InstanceId e)
           
 TypeCheckingVisitor.TYPE visit(PathExpression p)
           
 TypeCheckingVisitor.TYPE visit(PropertyConstruction e)
           
 TypeCheckingVisitor.TYPE visit(PropertyDomainRestriction c)
           
 TypeCheckingVisitor.TYPE visit(PropertyExpression e)
           
 TypeCheckingVisitor.TYPE visit(PropertyId e)
           
 TypeCheckingVisitor.TYPE visit(PropertyRestriction e)
           
 TypeCheckingVisitor.TYPE visit(PropertyTypeRestriction c)
           
 TypeCheckingVisitor.TYPE visit(PropertyValueRestriction c)
           
 TypeCheckingVisitor.TYPE visit(RelationCoDomainRestriction c)
           
 TypeCheckingVisitor.TYPE visit(RelationConstruction e)
           
 TypeCheckingVisitor.TYPE visit(RelationDomainRestriction c)
           
 TypeCheckingVisitor.TYPE visit(RelationExpression e)
           
 TypeCheckingVisitor.TYPE visit(RelationId e)
           
 TypeCheckingVisitor.TYPE visit(RelationRestriction e)
           
 TypeCheckingVisitor.TYPE visit(Transformation trsf)
           
 TypeCheckingVisitor.TYPE visit(Value e)
           
 TypeCheckingVisitor.TYPE visit(ValueExpression e)
           
 TypeCheckingVisitor.TYPE visit(Visitable o)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

TypeCheckingVisitor

public TypeCheckingVisitor()
Method Detail

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)

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

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