net.ontopia.topicmaps.query.impl.utils
Class BindingContext

java.lang.Object
  net.ontopia.topicmaps.query.impl.utils.BindingContext

public class BindingContext
extends java.lang.Object

INTERNAL.

Field Summary

protected java.util.Map	ptypes
protected java.util.Map	ptypetheory
protected boolean	typecheck
protected java.util.Map	vtypes
protected java.util.Map	vtypetheory

Constructor Summary

BindingContext(boolean typecheck)

Method Summary

void	addArgumentTypes(java.lang.Object argument, java.lang.Class[] types, PredicateIF predicate)
boolean	getCheckingTypes()
java.util.Map	getParameterTypes()
java.util.Map	getVariableTypes()
protected static java.lang.Object[]	intersect(java.lang.Object[] array1, java.lang.Object[] array2)
void	mergeAssymetric(BindingContext bc)
void	mergeIntersect(BindingContext bc)
protected void	mergeTypeMapsAssymetric(java.util.Map map1, java.util.Map map2, java.util.Map theory1, java.util.Map theory2)
protected java.util.Map	mergeTypeMapsIntersect(java.util.Map map1, java.util.Map map2, boolean variables)
protected java.util.Map	mergeTypeMapsUnion(java.util.Map map1, java.util.Map map2)
void	mergeUnion(BindingContext bc)
java.lang.String	toString()
protected static java.lang.Object[]	union(java.lang.Object[] array1, java.lang.Object[] array2)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

typecheck

protected boolean typecheck

vtypes

protected java.util.Map vtypes

vtypetheory

protected java.util.Map vtypetheory

ptypes

protected java.util.Map ptypes

ptypetheory

protected java.util.Map ptypetheory

Constructor Detail

BindingContext

public BindingContext(boolean typecheck)

Method Detail

getCheckingTypes

public boolean getCheckingTypes()

getVariableTypes

public java.util.Map getVariableTypes()

getParameterTypes

public java.util.Map getParameterTypes()

addArgumentTypes

public void addArgumentTypes(java.lang.Object argument,
                             java.lang.Class[] types,
                             PredicateIF predicate)
                      throws InvalidQueryException

Throws:

InvalidQueryException

mergeIntersect

public void mergeIntersect(BindingContext bc)
                    throws InvalidQueryException

Throws:

InvalidQueryException

mergeTypeMapsIntersect

protected java.util.Map mergeTypeMapsIntersect(java.util.Map map1,
                                               java.util.Map map2,
                                               boolean variables)
                                        throws InvalidQueryException

Throws:

InvalidQueryException

mergeUnion

public void mergeUnion(BindingContext bc)

mergeTypeMapsUnion

protected java.util.Map mergeTypeMapsUnion(java.util.Map map1,
                                           java.util.Map map2)

mergeAssymetric

public void mergeAssymetric(BindingContext bc)

mergeTypeMapsAssymetric

protected void mergeTypeMapsAssymetric(java.util.Map map1,
                                       java.util.Map map2,
                                       java.util.Map theory1,
                                       java.util.Map theory2)

intersect

protected static java.lang.Object[] intersect(java.lang.Object[] array1,
                                              java.lang.Object[] array2)

union

protected static java.lang.Object[] union(java.lang.Object[] array1,
                                          java.lang.Object[] array2)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object