BlockState (TAJS)

java.lang.Object
- dk.brics.tajs.lattice.BlockState<BlockStateType,CallContextType,CallEdgeType>

All Implemented Interfaces:: IBlockState<BlockStateType,CallContextType,CallEdgeType>, Cloneable

Direct Known Subclasses:: State

public abstract class BlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>
extends Object
implements IBlockState<BlockStateType,CallContextType,CallEdgeType>

Abstract state for block entries. Mutable.

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

static class BlockState.Properties

Nested Classes
Modifier and Type	Class and Description
`static class`	`BlockState.Properties`

Constructor Summary

Constructors
Modifier	Constructor and Description
`protected`	`BlockState(BlockState<BlockStateType,CallContextType,CallEdgeType> x)` Constructs a new state as a copy of the given state.
	`BlockState(GenericSolver.SolverInterface c, BasicBlock block)` Constructs a new none-state (representing the empty set of concrete states).

Method Summary

Methods
Modifier and Type	Method and Description
`void`	`check()` Checks that this state is consistent.
`void`	`checkNoDanglingRefs()` Checks for dangling references.
`void`	`checkOwner(BasicBlock other_block, CallContextType other_context)` Checks that the owner block and context are the given.
`void`	`clearEffects()` Clears effects and summarized sets (for function entry).
`void`	`clearOrdinaryRegisters()` Clears the registers, starting from `AbstractNode.FIRST_ORDINARY_REG`, and excluding property list values.
`void`	`clearRegisters()` Clears all registers.
`abstract BlockStateType`	`clone()` Constructs a new state as a copy of this state.
`void`	`copyUnknowns(BlockState<BlockStateType,CallContextType,CallEdgeType> calledge_state)` Copies the calledge state the current state.
`void`	`declareAndWriteVariable(String varname, Value value, boolean allow_overwrite)` Declares the given variable (or function) and assigns the given value to it.
`Value`	`deleteProperty(Collection<ObjectLabel> objlabels, Str propertystr)` Deletes the given property.
`Value`	`deleteVariable(String varname)` Deletes the given variable.
`protected String`	`diff(BlockState<BlockStateType,CallContextType,CallEdgeType> old)` Returns a string description of the differences between this state and the given one.
`boolean`	`equals(Object obj)` Checks whether the given state is equal to this one.
`void`	`freezeBasisStore()` Sets the current store contents as the basis store.
`void`	`gc()` Runs garbage collection on the contents of this state.
`BasicBlock`	`getBasicBlock()` Returns the basic block owning this state.
`CallContextType`	`getContext()` Returns the call context for this state.
`BlockState.Properties`	`getEnumProperties(Collection<ObjectLabel> objlabels)` Returns a description of the names of the enumerable properties of the given objects.
`ExecutionContext`	`getExecutionContext()` Returns the execution context.
`StateExtras`	`getExtras()` Returns the extra stuff.
`static int`	`getNumberOfMakeWritableRegistersCalls()` Returns the total number of makeWritableRegisters operations.
`static int`	`getNumberOfMakeWritableStoreCalls()` Returns the total number of makeWritableStore operations.
`int`	`getNumberOfRegisters()` Returns the size of the registers map.
`static int`	`getNumberOfStatesCreated()` Returns the total number of BlockState objects created.
`Obj`	`getObject(ObjectLabel objlabel, boolean writable)` Looks up an object in the store.
`Set<ObjectLabel>`	`getPrototypesUsedForUnknown(ObjectLabel objlabel)`
`Set<ObjectLabel>`	`getPrototypeWithProperty(ObjectLabel objlabel, String propertyname)` Returns the set of objects in the prototype chain that contain the property.
`ScopeChain`	`getScopeChain()` Returns the scope chain.
`GenericSolver.SolverInterface`	`getSolverInterface()` Returns the solver interface.
`Map<ObjectLabel,Obj>`	`getStore()` Returns the store (excluding the basis store).
`int`	`getStoreSize()` Returns the number of objects in the store, excluding the basis store.
`Summarized`	`getSummarized()` Returns the summarized sets.
`int`	`hashCode()` Computes the hash code for this state.
`Value`	`hasInstance(Collection<ObjectLabel> prototype, Value v)` Models [[HasInstance]] (for instanceof).
`Bool`	`hasProperty(Collection<ObjectLabel> objlabels, String propertyname)` Checks whether the given property is present in the given objects.
`boolean`	`isNone()` Checks whether this abstract state represents the empty set of concrete states.
`boolean`	`isRegisterDefined(int reg)` Returns true if the given register is defined.
`boolean`	`mergeForInEnd(BlockState<BlockStateType,CallContextType,CallEdgeType> parallel_state, String loop_var)` Merges parallel_state into the current state.
`Value`	`mergeFunctionReturn(BlockState<BlockStateType,CallContextType,CallEdgeType> caller_state, BlockState<BlockStateType,CallContextType,CallEdgeType> calledge_state, BlockState<BlockStateType,CallContextType,CallEdgeType> caller_entry_state, Summarized callee_summarized, Value returnval)` Replaces all definitely non-modified parts of this state by the corresponding parts of the given states.
`void`	`multiplyObject(ObjectLabel objlabel)` Moves the given object from singleton to summary, such that it represents an unknown number of concrete objects.
`void`	`newObject(ObjectLabel objlabel)` Adds an object label, representing a new empty object, to the store.
`Value`	`popRegister()` Pops a value from the register list.
`void`	`popScopeChain()` Pops the top item off the scope chain.
`String`	`printObject(Value v)` Prints the objects of the given value.
`static String`	`printObjectOrigins(Value v)` Prints the source locations of the origins of the objects of the given value.
`protected boolean`	`propagate(BlockState<BlockStateType,CallContextType,CallEdgeType> s)` Propagates the given state into this state.
`void`	`pushRegister(Value value)` Pushes the given value onto the register list.
`void`	`pushScopeChain(Set<ObjectLabel> objlabels)` Pushes a new item onto the scope chain.
`Value`	`readInternalPrototype(Collection<ObjectLabel> objlabels)` Returns the value of the internal prototype of the given objects.
`Value`	`readInternalValue(Collection<ObjectLabel> objlabels)` Returns the value of the internal value property of the given objects.
`ScopeChain`	`readObjectScope(ObjectLabel objlabel)` Returns the value of the internal scope property of the given objects.
`Value`	`readPropertyDirect(Collection<ObjectLabel> objlabels, String propertyname)` Returns the value of the given property in the objects.
`Value`	`readPropertyValue(Collection<ObjectLabel> objlabels, Str propertystr)` 8.6.2.1 [[Get]] Returns the value of the given property in the given objects.
`Value`	`readPropertyValue(Collection<ObjectLabel> objlabels, String propertyname)` 8.6.2.1 [[Get]] Returns the value of the given property in the given objects.
`Value`	`readPropertyWithAttributes(Collection<ObjectLabel> objlabels, Str propertystr)` Returns the value of the given property in the given objects.
`Value`	`readPropertyWithAttributes(Collection<ObjectLabel> objlabels, String propertyname)` Returns the value of the given property in the given objects.
`Value`	`readRegister(int reg)` Reads the value of the given register.
`Value`	`readThis()` Returns the value of 'this'.
`Set<ObjectLabel>`	`readThisObjects()` Returns the object value of 'this'.
`Value`	`readVariable(String varname, Collection<ObjectLabel> base_objs)` Returns the value of the given variable.
`void`	`reduce()` Reduces this state.
`protected void`	`remove(BlockState<BlockStateType,CallContextType,CallEdgeType> other)`
`void`	`removeRegister(int reg)` Removes the given register (strong update).
`static void`	`reset()` Resets the global counters.
`void`	`setBasicBlock(BasicBlock block)` Sets the basic block owning this state.
`void`	`setContext(CallContextType context)` Sets the call context.
`void`	`setExecutionContext(ExecutionContext e)` Sets the execution context.
`void`	`setToNone()` Sets this state to the none-state (representing the empty set of concrete states).
`void`	`setToUnknown()` Sets all object properties to 'unknown'.
`void`	`stackObjectLabels()` Adds object labels used in current registers and execution context to stacked object labels.
`String`	`toDot()` Produces a graphviz dot representation of this state.
`String`	`toString()` Returns a description of this abstract state.
`String`	`toStringBrief()` As `toString()` but excludes registers and non-modified objects and properties.
`String`	`toStringModified()` Prints the modified parts of the store.
`void`	`transform(CallEdgeType edge, BlockStateType callee_entry_state, Function callee, CallContextType callee_context)` Transforms this state according to the given edge.
`void`	`transformInverse(CallEdgeType edge, BlockStateType callee_entry_state)` Transforms this state inversely according to the given edge.
`void`	`trim(BlockStateType s)` Introduces 'unknown' values in this state according to the given function entry state.
`void`	`writeInternalPrototype(Collection<ObjectLabel> objlabels, Value value)` Assigns the given value to the internal prototype links of the given objects.
`void`	`writeInternalPrototype(ObjectLabel objlabel, Value value)` Assigns the given value to the internal prototype link of the given object.
`void`	`writeInternalValue(Collection<ObjectLabel> objlabels, Value value)` Assign the given value to the internal [[Value]] property of the given objects.
`void`	`writeInternalValue(ObjectLabel objlabel, Value value)` Assigns the given value to the internal [[Value]] property of the given object.
`void`	`writeObjectScope(ObjectLabel objlabel, ScopeChain scope)` Assigns a copy of the given scope chain to the internal scope property of the given object.
`void`	`writeProperty(Collection<ObjectLabel> objlabels, Str propertystr, Value value, boolean put, boolean force_weak)` 8.6.2.2 [[Put]] Assigns the given value to the given property of the given objects.
`void`	`writeProperty(ObjectLabel objlabel, String propertyname, Value value)` 8.6.2.2 [[Put]] Assigns the given value to the given property of the given object.
`void`	`writePropertyWithAttributes(Collection<ObjectLabel> objlabels, String propertyname, Value value)` Assigns the given value to the given property of the given objects, with attributes.
`void`	`writePropertyWithAttributes(Collection<ObjectLabel> objlabels, String propertyname, Value value, boolean real)` Assigns the given value to the given property of the given objects, with attributes.
`void`	`writePropertyWithAttributes(ObjectLabel objlabel, String propertyname, Value value)` Assigns the given value to the given property of the given object, with attributes.
`void`	`writeRegister(int reg, Value value)` Assigns the given value to the given register (strong update).
`Set<ObjectLabel>`	`writeVariable(String varname, Value value, boolean real)` Assigns the given value to the given variable.

Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface dk.brics.tajs.solver.IBlockState
diff, propagate, remove

- Constructor Detail
  - BlockState
```
protected BlockState(BlockState<BlockStateType,CallContextType,CallEdgeType> x)
```
    Constructs a new state as a copy of the given state.
  - BlockState
```
public BlockState(GenericSolver.SolverInterface c,
          BasicBlock block)
```
    Constructs a new none-state (representing the empty set of concrete states).
- Method Detail
  - check
```
public void check()
```
    Checks that this state is consistent. Does nothing if debug mode and test mode are disabled.
    
    Specified by:
    
    check in interface IBlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>
    
    See Also:
    checkNoDanglingRefs()
  - checkNoDanglingRefs
```
public void checkNoDanglingRefs()
```
    Checks for dangling references. Ignored if lazy propagation is enabled.
    
    Throws:
    
    AnalysisException - if dangling references are found
  - checkOwner
```
public void checkOwner(BasicBlock other_block,
              CallContextType other_context)
```
    Checks that the owner block and context are the given.
    
    Throws:
    
    AnalysisException - if mismatch
  - clearEffects
```
public void clearEffects()
```
    Clears effects and summarized sets (for function entry).
  - clearOrdinaryRegisters
```
public void clearOrdinaryRegisters()
```
    Clears the registers, starting from AbstractNode.FIRST_ORDINARY_REG, and excluding property list values.
  - clearRegisters
```
public void clearRegisters()
```
    Clears all registers.
  - clone
```
public abstract BlockStateType clone()
```
    Constructs a new state as a copy of this state.
    
    Specified by:
    
    clone in interface IBlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>
    
    Overrides:
    
    clone in class Object
  - copyUnknowns
```
public void copyUnknowns(BlockState<BlockStateType,CallContextType,CallEdgeType> calledge_state)
```
    Copies the calledge state the current state.
  - declareAndWriteVariable
```
public void declareAndWriteVariable(String varname,
                           Value value,
                           boolean allow_overwrite)
```
    Declares the given variable (or function) and assigns the given value to it.
  - deleteProperty
```
public Value deleteProperty(Collection<ObjectLabel> objlabels,
                   Str propertystr)
```
    Deletes the given property. Ignored if the property has attribute DontDelete. Returns false if attempting to delete a property with attribute DontDelete, true otherwise.
  - deleteVariable
```
public Value deleteVariable(String varname)
```
    Deletes the given variable.
    
    See Also:
    deleteProperty(Collection, Str)
  - diff
```
protected String diff(BlockState<BlockStateType,CallContextType,CallEdgeType> old)
```
    Returns a string description of the differences between this state and the given one.
  - equals
```
public boolean equals(Object obj)
```
    Checks whether the given state is equal to this one.
    
    Overrides:
    
    equals in class Object
  - freezeBasisStore
```
public void freezeBasisStore()
```
    Sets the current store contents as the basis store. After this, objects in the basis store should never be summarized. Ignored if lazy propagation is enabled.
  - gc
```
public void gc()
```
    Runs garbage collection on the contents of this state. Ignored if Options.isGCDisabled() or Options.isRecencyDisabled() is set.
  - getBasicBlock
```
public BasicBlock getBasicBlock()
```
    Returns the basic block owning this state.
  - getContext
```
public CallContextType getContext()
```
    Returns the call context for this state.
  - getEnumProperties
```
public BlockState.Properties getEnumProperties(Collection<ObjectLabel> objlabels)
```
    Returns a description of the names of the enumerable properties of the given objects.
  - getExecutionContext
```
public ExecutionContext getExecutionContext()
```
    Returns the execution context.
  - getExtras
```
public StateExtras getExtras()
```
    Returns the extra stuff.
  - getNumberOfMakeWritableRegistersCalls
```
public static int getNumberOfMakeWritableRegistersCalls()
```
    Returns the total number of makeWritableRegisters operations.
  - getNumberOfMakeWritableStoreCalls
```
public static int getNumberOfMakeWritableStoreCalls()
```
    Returns the total number of makeWritableStore operations.
  - getNumberOfRegisters
```
public int getNumberOfRegisters()
```
    Returns the size of the registers map.
  - getNumberOfStatesCreated
```
public static int getNumberOfStatesCreated()
```
    Returns the total number of BlockState objects created.
  - getObject
```
public Obj getObject(ObjectLabel objlabel,
            boolean writable)
```
    Looks up an object in the store.
  - getPrototypesUsedForUnknown
```
public Set<ObjectLabel> getPrototypesUsedForUnknown(ObjectLabel objlabel)
```
  - getPrototypeWithProperty
```
public Set<ObjectLabel> getPrototypeWithProperty(ObjectLabel objlabel,
                                        String propertyname)
```
    Returns the set of objects in the prototype chain that contain the property.
  - getScopeChain
```
public ScopeChain getScopeChain()
```
    Returns the scope chain.
    
    Returns:
    new set
  - getSolverInterface
```
public GenericSolver.SolverInterface getSolverInterface()
```
    Returns the solver interface.
  - getStore
```
public Map<ObjectLabel,Obj> getStore()
```
    Returns the store (excluding the basis store).
  - getStoreSize
```
public int getStoreSize()
```
    Returns the number of objects in the store, excluding the basis store.
  - getSummarized
```
public Summarized getSummarized()
```
    Returns the summarized sets.
  - hashCode
```
public int hashCode()
```
    Computes the hash code for this state.
    
    Overrides:
    
    hashCode in class Object
  - hasInstance
```
public Value hasInstance(Collection<ObjectLabel> prototype,
                Value v)
```
    Models [[HasInstance]] (for instanceof).
    
    Parameters:
    prototype - external prototype of the second argument to instanceof
    v - first argument to instanceof
  - hasProperty
```
public Bool hasProperty(Collection<ObjectLabel> objlabels,
               String propertyname)
```
    Checks whether the given property is present in the given objects. The internal prototype chains are used.
  - isNone
```
public boolean isNone()
```
    Description copied from interface: IBlockState
    
    Checks whether this abstract state represents the empty set of concrete states. This is an approximation in the sense that not all possible inconsistencies may be discovered, i.e. if true is returned then the abstract state definitely represents the empty set of concrete states but maybe not the other way around.
    
    Specified by:
    
    isNone in interface IBlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>
  - isRegisterDefined
```
public boolean isRegisterDefined(int reg)
```
    Returns true if the given register is defined.
  - mergeForInEnd
```
public boolean mergeForInEnd(BlockState<BlockStateType,CallContextType,CallEdgeType> parallel_state,
                    String loop_var)
```
    Merges parallel_state into the current state. Returns false if the merge failed.
  - mergeFunctionReturn
```
public Value mergeFunctionReturn(BlockState<BlockStateType,CallContextType,CallEdgeType> caller_state,
                        BlockState<BlockStateType,CallContextType,CallEdgeType> calledge_state,
                        BlockState<BlockStateType,CallContextType,CallEdgeType> caller_entry_state,
                        Summarized callee_summarized,
                        Value returnval)
```
    Replaces all definitely non-modified parts of this state by the corresponding parts of the given states. The store is restored from the call edge state; the stack is restored from the caller state. Returns the updated returnval.
  - multiplyObject
```
public void multiplyObject(ObjectLabel objlabel)
```
    Moves the given object from singleton to summary, such that it represents an unknown number of concrete objects.
  - newObject
```
public void newObject(ObjectLabel objlabel)
```
    Adds an object label, representing a new empty object, to the store. Takes recency abstraction into account. Updates sets of summarized objects.
  - popRegister
```
public Value popRegister()
```
    Pops a value from the register list.
  - popScopeChain
```
public void popScopeChain()
```
    Pops the top item off the scope chain.
  - printObject
```
public String printObject(Value v)
```
    Prints the objects of the given value.
  - printObjectOrigins
```
public static String printObjectOrigins(Value v)
```
    Prints the source locations of the origins of the objects of the given value.
  - propagate
```
protected boolean propagate(BlockState<BlockStateType,CallContextType,CallEdgeType> s)
```
    Propagates the given state into this state. Replaces 'unknown' and polymorphic values when necessary. Assumes that the states belong to the same block and context.
    
    Returns:
    true if an object changed (note there may be other changes due to recoveries)
  - pushRegister
```
public void pushRegister(Value value)
```
    Pushes the given value onto the register list.
  - pushScopeChain
```
public void pushScopeChain(Set<ObjectLabel> objlabels)
```
    Pushes a new item onto the scope chain.
  - readInternalPrototype
```
public Value readInternalPrototype(Collection<ObjectLabel> objlabels)
```
    Returns the value of the internal prototype of the given objects.
  - readInternalValue
```
public Value readInternalValue(Collection<ObjectLabel> objlabels)
```
    Returns the value of the internal value property of the given objects.
  - readObjectScope
```
public ScopeChain readObjectScope(ObjectLabel objlabel)
```
    Returns the value of the internal scope property of the given objects.
    
    Returns:
    unmodifiable set
  - readPropertyDirect
```
public Value readPropertyDirect(Collection<ObjectLabel> objlabels,
                       String propertyname)
```
    Returns the value of the given property in the objects. The internal prototype chains and scope chains are not used.
  - readPropertyValue
```
public Value readPropertyValue(Collection<ObjectLabel> objlabels,
                      Str propertystr)
```
    8.6.2.1 [[Get]] Returns the value of the given property in the given objects. The internal prototype chains are used. Absent is converted to undefined. Attributes are set to bottom.
  - readPropertyValue
```
public Value readPropertyValue(Collection<ObjectLabel> objlabels,
                      String propertyname)
```
    8.6.2.1 [[Get]] Returns the value of the given property in the given objects. The internal prototype chains are used. Absent is converted to undefined. Attributes are set to bottom.
  - readPropertyWithAttributes
```
public Value readPropertyWithAttributes(Collection<ObjectLabel> objlabels,
                               Str propertystr)
```
    Returns the value of the given property in the given objects. The internal prototype chains are used.
  - readPropertyWithAttributes
```
public Value readPropertyWithAttributes(Collection<ObjectLabel> objlabels,
                               String propertyname)
```
    Returns the value of the given property in the given objects. The internal prototype chains are used.
  - readRegister
```
public Value readRegister(int reg)
```
    Reads the value of the given register.
  - readThis
```
public Value readThis()
```
    Returns the value of 'this'.
  - readThisObjects
```
public Set<ObjectLabel> readThisObjects()
```
    Returns the object value of 'this'.
  - readVariable
```
public Value readVariable(String varname,
                 Collection<ObjectLabel> base_objs)
```
    Returns the value of the given variable.
    
    Parameters:
    varname - the variable name
    base_objs - collection where base objects are added (ignored if null)
  - reduce
```
public void reduce()
```
    Reduces this state.
    
    See Also:
    gc()
  - remove
```
protected void remove(BlockState<BlockStateType,CallContextType,CallEdgeType> other)
```
  - removeRegister
```
public void removeRegister(int reg)
```
    Removes the given register (strong update).
  - reset
```
public static void reset()
```
    Resets the global counters.
  - setBasicBlock
```
public void setBasicBlock(BasicBlock block)
```
    Sets the basic block owning this state.
  - setContext
```
public void setContext(CallContextType context)
```
    Sets the call context.
  - setExecutionContext
```
public void setExecutionContext(ExecutionContext e)
```
    Sets the execution context.
  - setToNone
```
public void setToNone()
```
    Sets this state to the none-state (representing the empty set of concrete states). Used for representing 'no flow'.
  - setToUnknown
```
public void setToUnknown()
```
    Sets all object properties to 'unknown'.
  - stackObjectLabels
```
public void stackObjectLabels()
```
    Adds object labels used in current registers and execution context to stacked object labels.
  - toDot
```
public String toDot()
```
    Description copied from interface: IBlockState
    
    Produces a graphviz dot representation of this state.
    
    Specified by:
    
    toDot in interface IBlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>
  - toString
```
public String toString()
```
    Returns a description of this abstract state.
    
    Overrides:
    
    toString in class Object
  - toStringBrief
```
public String toStringBrief()
```
    As toString() but excludes registers and non-modified objects and properties.
    
    Specified by:
    
    toStringBrief in interface IBlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>
  - toStringModified
```
public String toStringModified()
```
    Prints the modified parts of the store.
  - transform
```
public void transform(CallEdgeType edge,
             BlockStateType callee_entry_state,
             Function callee,
             CallContextType callee_context)
```
    Description copied from interface: IBlockState
    
    Transforms this state according to the given edge.
    
    Specified by:
    
    transform in interface IBlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>
  - transformInverse
```
public void transformInverse(CallEdgeType edge,
                    BlockStateType callee_entry_state)
```
    Description copied from interface: IBlockState
    
    Transforms this state inversely according to the given edge.
    
    Specified by:
    
    transformInverse in interface IBlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>
  - trim
```
public void trim(BlockStateType s)
```
    Introduces 'unknown' values in this state according to the given function entry state.
    
    Specified by:
    
    trim in interface IBlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>
  - writeInternalPrototype
```
public void writeInternalPrototype(Collection<ObjectLabel> objlabels,
                          Value value)
```
    Assigns the given value to the internal prototype links of the given objects. Takes recency abstraction into account.
  - writeInternalPrototype
```
public void writeInternalPrototype(ObjectLabel objlabel,
                          Value value)
```
    Assigns the given value to the internal prototype link of the given object.
  - writeInternalValue
```
public void writeInternalValue(Collection<ObjectLabel> objlabels,
                      Value value)
```
    Assign the given value to the internal [[Value]] property of the given objects.
  - writeInternalValue
```
public void writeInternalValue(ObjectLabel objlabel,
                      Value value)
```
    Assigns the given value to the internal [[Value]] property of the given object.
  - writeObjectScope
```
public void writeObjectScope(ObjectLabel objlabel,
                    ScopeChain scope)
```
    Assigns a copy of the given scope chain to the internal scope property of the given object.
  - writeProperty
```
public void writeProperty(Collection<ObjectLabel> objlabels,
                 Str propertystr,
                 Value value,
                 boolean put,
                 boolean force_weak)
```
    8.6.2.2 [[Put]] Assigns the given value to the given property of the given objects. Attributes are cleared or copied from the old value according to 8.6.2.2.
    
    Parameters:
    put - if set, attributes are cleared or copied from the old value according to 8.6.2.2
    force_weak - if set, force weak update disregarding objlabels
  - writeProperty
```
public void writeProperty(ObjectLabel objlabel,
                 String propertyname,
                 Value value)
```
    8.6.2.2 [[Put]] Assigns the given value to the given property of the given object. Attributes are cleared or copied from the old value according to 8.6.2.2.
  - writePropertyWithAttributes
```
public void writePropertyWithAttributes(Collection<ObjectLabel> objlabels,
                               String propertyname,
                               Value value)
```
    Assigns the given value to the given property of the given objects, with attributes. Attributes are taken from the given value.
  - writePropertyWithAttributes
```
public void writePropertyWithAttributes(Collection<ObjectLabel> objlabels,
                               String propertyname,
                               Value value,
                               boolean real)
```
    Assigns the given value to the given property of the given objects, with attributes. Attributes are taken from the given value.
    
    Parameters:
    real - if set, the modified flag if set if the value changes as result of the operation
  - writePropertyWithAttributes
```
public void writePropertyWithAttributes(ObjectLabel objlabel,
                               String propertyname,
                               Value value)
```
    Assigns the given value to the given property of the given object, with attributes. Attributes are taken from the given value.
  - writeRegister
```
public void writeRegister(int reg,
                 Value value)
```
    Assigns the given value to the given register (strong update). All attribute information is cleared. 'unknown' values are not permitted.
  - writeVariable
```
public Set<ObjectLabel> writeVariable(String varname,
                             Value value,
                             boolean real)
```
    Assigns the given value to the given variable.
    
    Parameters:
    varname - the variable name
    value - the new value
    real - if set, the modified flag if set if the value changes as result of the operation
    
    Returns:
    the set of objects where the variable may be stored (i.e. the base objects)

Class BlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>

Nested Class Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface dk.brics.tajs.solver.IBlockState

Constructor Detail

BlockState

BlockState

Method Detail

check

checkNoDanglingRefs

checkOwner

clearEffects

clearOrdinaryRegisters

clearRegisters

clone

copyUnknowns

declareAndWriteVariable

deleteProperty

deleteVariable

diff

equals

freezeBasisStore

gc

getBasicBlock

getContext

getEnumProperties

getExecutionContext

getExtras

getNumberOfMakeWritableRegistersCalls

getNumberOfMakeWritableStoreCalls

getNumberOfRegisters

getNumberOfStatesCreated

getObject

getPrototypesUsedForUnknown

getPrototypeWithProperty

getScopeChain

getSolverInterface

getStore

getStoreSize

getSummarized

hashCode

hasInstance

hasProperty

isNone

isRegisterDefined

mergeForInEnd

mergeFunctionReturn

multiplyObject

newObject

popRegister

popScopeChain

printObject

printObjectOrigins

propagate

pushRegister

pushScopeChain

readInternalPrototype

readInternalValue

readObjectScope

readPropertyDirect

readPropertyValue

readPropertyValue

readPropertyWithAttributes

readPropertyWithAttributes

readRegister

readThis

readThisObjects

readVariable

reduce

remove

removeRegister

reset

setBasicBlock

setContext

setExecutionContext

setToNone

setToUnknown

stackObjectLabels