public class TypeCheckingVisitor
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
TypeCheckingVisitor.TYPE |
Modifier and Type | Field and Description |
---|---|
(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) static org.slf4j.Logger |
logger |
(package private) java.util.Hashtable<java.net.URI,TypeCheckingVisitor.TYPE> |
nslist |
(package private) boolean |
print |
Constructor and Description |
---|
TypeCheckingVisitor() |
static final org.slf4j.Logger logger
EDOALAlignment alignment
EDOALCell cell
java.util.Hashtable<java.net.URI,TypeCheckingVisitor.TYPE> nslist
boolean embedded
boolean error
boolean print
private boolean isPattern
private static Namespace DEF
public TypeCheckingVisitor.TYPE visit(EDOALAlignment align) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(EDOALCell cell) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(Relation o) throws AlignmentException
AlignmentException
public boolean compatible(TypeCheckingVisitor.TYPE t1, TypeCheckingVisitor.TYPE t2)
public boolean pcompatible(TypeCheckingVisitor.TYPE ptype, TypeCheckingVisitor.TYPE tp)
public TypeCheckingVisitor.TYPE visit(Transformation trsf) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(Linkkey linkkey) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(LinkkeyBinding linkkeyBinding) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(ClassId e) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(ClassConstruction e) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(ClassValueRestriction c) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(ClassTypeRestriction c) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(ClassDomainRestriction c) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(ClassOccurenceRestriction c) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(PropertyId e) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(PropertyConstruction e) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(PropertyValueRestriction c) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(PropertyDomainRestriction c) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(PropertyTypeRestriction c) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(RelationId e) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(RelationConstruction e) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(RelationCoDomainRestriction c) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(RelationDomainRestriction c) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(InstanceId e) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(ValueExpression e) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(Value e) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(Apply e) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE visit(Datatype e) throws AlignmentException
AlignmentException
public TypeCheckingVisitor.TYPE raiseError(java.net.URI u, TypeCheckingVisitor.TYPE expT, TypeCheckingVisitor.TYPE foundT)
(C) INRIA & friends, 2003-2020