proguard.analysis.cpa.jvm.state.heap.tree

Class HeapNode<StateT extends LatticeAbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.jvm.state.heap.tree.HeapNode<StateT>

All Implemented Interfaces:

LatticeAbstractState<HeapNode<StateT>>, AbstractState

public class HeapNode<StateT extends LatticeAbstractState<StateT>>
extends java.lang.Object
implements LatticeAbstractState<HeapNode<StateT>>

The heap node represents an object or an array in the heap. The arrays do not distinguish between different indices and consider all their elements to be aliased.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	HeapNode() Create a heap node.
protected	HeapNode(MapAbstractState<java.lang.String,StateT> fieldToAbstractState)

Method Summary

Modifier and Type	Method and Description
StateT	computeIfAbsent(java.lang.String descriptor, java.util.function.Function<? super java.lang.String,? extends StateT> mappingFunction) Returns an abstract state for the corresponding field or computes it if there is no entry.
HeapNode<StateT>	copy() Creates a copy of itself.
boolean	equals(java.lang.Object obj)
StateT	getValueOrDefault(java.lang.String descriptor, StateT defaultValue) Returns an abstract state for the corresponding field or the defaultValue if there is no entry.
int	hashCode()
boolean	isLessOrEqual(HeapNode<StateT> abstractState) Compares itself to the abstractState.
HeapNode<StateT>	join(HeapNode<StateT> abstractState) Computes a join over itself and the abstractState.
void	mergeValue(java.lang.String descriptor, StateT value) Joins the field value with the input value.
void	setValue(java.lang.String descriptor, StateT value) Sets the field to the input value.

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState

isLess

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

getPrecision, getStateByName

Constructor Detail

HeapNode

protected HeapNode()

Create a heap node.

HeapNode

protected HeapNode(MapAbstractState<java.lang.String,StateT> fieldToAbstractState)

Method Detail

join

public HeapNode<StateT> join(HeapNode<StateT> abstractState)

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

join in interface LatticeAbstractState<HeapNode<StateT extends LatticeAbstractState<StateT>>>

isLessOrEqual

public boolean isLessOrEqual(HeapNode<StateT> abstractState)

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

isLessOrEqual in interface LatticeAbstractState<HeapNode<StateT extends LatticeAbstractState<StateT>>>

copy

public HeapNode<StateT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface AbstractState

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface AbstractState

Overrides:

hashCode in class java.lang.Object

getValueOrDefault

public StateT getValueOrDefault(java.lang.String descriptor,
                                StateT defaultValue)

Returns an abstract state for the corresponding field or the defaultValue if there is no entry.

computeIfAbsent

public StateT computeIfAbsent(java.lang.String descriptor,
                              java.util.function.Function<? super java.lang.String,? extends StateT> mappingFunction)

Returns an abstract state for the corresponding field or computes it if there is no entry.

mergeValue

public void mergeValue(java.lang.String descriptor,
                       StateT value)

Joins the field value with the input value.

setValue

public void setValue(java.lang.String descriptor,
                     StateT value)

Sets the field to the input value.