public class BindingContext extends Object
Modifier and Type | Field and Description |
---|---|
protected Map |
ptypes |
protected Map |
ptypetheory |
protected boolean |
typecheck |
protected Map |
vtypes |
protected Map |
vtypetheory |
Constructor and Description |
---|
BindingContext(boolean typecheck) |
Modifier and Type | Method and Description |
---|---|
void |
addArgumentTypes(Object argument,
Class[] types,
PredicateIF predicate) |
boolean |
getCheckingTypes() |
Map |
getParameterTypes() |
Map |
getVariableTypes() |
protected static Object[] |
intersect(Object[] array1,
Object[] array2) |
void |
mergeAssymetric(BindingContext bc) |
void |
mergeIntersect(BindingContext bc) |
protected void |
mergeTypeMapsAssymetric(Map map1,
Map map2,
Map theory1,
Map theory2) |
protected Map |
mergeTypeMapsIntersect(Map map1,
Map map2,
boolean variables) |
protected Map |
mergeTypeMapsUnion(Map map1,
Map map2) |
void |
mergeUnion(BindingContext bc) |
String |
toString() |
protected static Object[] |
union(Object[] array1,
Object[] array2) |
protected boolean typecheck
protected Map vtypes
protected Map vtypetheory
protected Map ptypes
protected Map ptypetheory
public boolean getCheckingTypes()
public Map getVariableTypes()
public Map getParameterTypes()
public void addArgumentTypes(Object argument, Class[] types, PredicateIF predicate) throws InvalidQueryException
InvalidQueryException
public void mergeIntersect(BindingContext bc) throws InvalidQueryException
InvalidQueryException
protected Map mergeTypeMapsIntersect(Map map1, Map map2, boolean variables) throws InvalidQueryException
InvalidQueryException
public void mergeUnion(BindingContext bc)
public void mergeAssymetric(BindingContext bc)
protected void mergeTypeMapsAssymetric(Map map1, Map map2, Map theory1, Map theory2)