dk.brics.tajs.lattice

Class UnknownValueResolver

java.lang.Object

dk.brics.tajs.lattice.UnknownValueResolver

public final class UnknownValueResolver
extends Object

Resolves 'unknown' and polymorphic properties. Contains wrappers for certain methods in Obj. Each method reads the appropriate property. If unknown/polymorphic, it is recovered via the function entry state in the call graph.

Field Summary

Fields

Modifier and Type	Field and Description
static org.apache.log4j.Logger	logger

Method Summary

Methods

Modifier and Type	Method and Description
static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value	getDefaultArrayProperty(ObjectLabel objlabel, BlockState<BlockStateType,CallContextType,CallEdgeType> s) Wrapper for Obj.getDefaultArrayProperty().
static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value	getDefaultNonArrayProperty(ObjectLabel objlabel, BlockState<BlockStateType,CallContextType,CallEdgeType> s) Wrapper for Obj.getDefaultNonArrayProperty().
static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value	getInternalPrototype(ObjectLabel objlabel, BlockState<BlockStateType,CallContextType,CallEdgeType> s, boolean partial) Wrapper for Obj.getInternalPrototype().
static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value	getInternalValue(ObjectLabel objlabel, BlockState<BlockStateType,CallContextType,CallEdgeType> s, boolean partial) Wrapper for Obj.getInternalValue().
static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Map<String,Value>	getProperties(ObjectLabel objlabel, BlockState<BlockStateType,CallContextType,CallEdgeType> s) Wrapper for Obj.getProperties().
static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value	getProperty(ObjectLabel objlabel, String propertyname, BlockState<BlockStateType,CallContextType,CallEdgeType> s, boolean partial) Wrapper for Obj.getProperty(String).
static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value	getRealValue(Value v, BlockState<BlockStateType,CallContextType,CallEdgeType> s) Fully recovers the given value if polymorphic.
static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> ScopeChain	getScopeChain(ObjectLabel objlabel, BlockState<BlockStateType,CallContextType,CallEdgeType> s) Wrapper for Obj.getScopeChain().
static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value	join(Iterable<Value> values, BlockState<BlockStateType,CallContextType,CallEdgeType> s) Joins the given values, performing full recovery for polymorphic values if necessary.
static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value	join(Value v1, Value v2, BlockState<BlockStateType,CallContextType,CallEdgeType> s) Joins the given values, performing full recovery for polymorphic values if necessary.
static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value	joinWithModified(Value v1, Value v2, BlockState<BlockStateType,CallContextType,CallEdgeType> s) Joins the given values, performing full recovery for polymorphic values if necessary.

Methods inherited from class java.lang.Object

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

Field Detail

logger

public static org.apache.log4j.Logger logger

Method Detail

getDefaultArrayProperty

public static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value getDefaultArrayProperty(ObjectLabel objlabel,
                                                                                                                                                                                                                 BlockState<BlockStateType,CallContextType,CallEdgeType> s)

Wrapper for Obj.getDefaultArrayProperty(). Never returns 'unknown'. As a side-effect, ordinary properties may be materialized (to 'unknown').

getDefaultNonArrayProperty

public static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value getDefaultNonArrayProperty(ObjectLabel objlabel,
                                                                                                                                                                                                                    BlockState<BlockStateType,CallContextType,CallEdgeType> s)

Wrapper for Obj.getDefaultNonArrayProperty(). Never returns 'unknown'. As a side-effect, ordinary properties may be materialized (to 'unknown').

getInternalPrototype

public static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value getInternalPrototype(ObjectLabel objlabel,
                                                                                                                                                                                                              BlockState<BlockStateType,CallContextType,CallEdgeType> s,
                                                                                                                                                                                                              boolean partial)

Wrapper for Obj.getInternalPrototype(). Never returns 'unknown'.

getInternalValue

public static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value getInternalValue(ObjectLabel objlabel,
                                                                                                                                                                                                          BlockState<BlockStateType,CallContextType,CallEdgeType> s,
                                                                                                                                                                                                          boolean partial)

Wrapper for Obj.getInternalValue(). Never returns 'unknown'.

getProperties

public static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Map<String,Value> getProperties(ObjectLabel objlabel,
                                                                                                                                                                                                                   BlockState<BlockStateType,CallContextType,CallEdgeType> s)

Wrapper for Obj.getProperties(). The resulting map may contain 'unknown' and polymorphic values, but all property names will be present. The map is not writable.

getProperty

public static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value getProperty(ObjectLabel objlabel,
                                                                                                                                                                                                     String propertyname,
                                                                                                                                                                                                     BlockState<BlockStateType,CallContextType,CallEdgeType> s,
                                                                                                                                                                                                     boolean partial)

Wrapper for Obj.getProperty(String). Never returns 'unknown'.

getRealValue

public static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value getRealValue(Value v,
                                                                                                                                                                                                      BlockState<BlockStateType,CallContextType,CallEdgeType> s)

Fully recovers the given value if polymorphic.

getScopeChain

public static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> ScopeChain getScopeChain(ObjectLabel objlabel,
                                                                                                                                                                                                            BlockState<BlockStateType,CallContextType,CallEdgeType> s)

Wrapper for Obj.getScopeChain(). Never returns 'unknown'.

join

public static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value join(Iterable<Value> values,
                                                                                                                                                                                              BlockState<BlockStateType,CallContextType,CallEdgeType> s)

Joins the given values, performing full recovery for polymorphic values if necessary. Assumes that the values are non-unknown.

join

public static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value join(Value v1,
                                                                                                                                                                                              Value v2,
                                                                                                                                                                                              BlockState<BlockStateType,CallContextType,CallEdgeType> s)

Joins the given values, performing full recovery for polymorphic values if necessary. Assumes that both values are non-unknown.

joinWithModified

public static <BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>> Value joinWithModified(Value v1,
                                                                                                                                                                                                          Value v2,
                                                                                                                                                                                                          BlockState<BlockStateType,CallContextType,CallEdgeType> s)

Joins the given values, performing full recovery for polymorphic values if necessary. Marks the resulting value as maybe modified if different from v1. Assumes that both values are non-unknown.