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:

java.util.Map<java.lang.String,StateT>, LatticeAbstractState<HeapNode<StateT>>, AbstractState

public class HeapNode<StateT extends LatticeAbstractState<StateT>>
extends java.lang.Object
implements java.util.Map<java.lang.String,StateT>, 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.

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

java.util.Map.Entry<K,V>

Constructor Summary

Constructors

Constructor and Description
HeapNode(MapAbstractState<java.lang.String,StateT> fieldToAbstractState) Create a heap node form a map abstract state.

Method Summary

Modifier and Type	Method and Description
void	clear()
boolean	containsKey(java.lang.Object key)
boolean	containsValue(java.lang.Object value)
HeapNode<StateT>	copy() Creates a copy of itself.
java.util.Set<java.util.Map.Entry<java.lang.String,StateT>>	entrySet()
boolean	equals(java.lang.Object obj)
StateT	get(java.lang.Object key)
int	hashCode()
boolean	isEmpty()
boolean	isLessOrEqual(HeapNode<StateT> abstractState) Compares itself to the abstractState.
HeapNode<StateT>	join(HeapNode<StateT> abstractState) Computes a join over itself and the abstractState.
java.util.Set<java.lang.String>	keySet()
void	merge(java.lang.String descriptor, StateT value) Joins the field value with the input value.
StateT	put(java.lang.String key, StateT value)
void	putAll(java.util.Map<? extends java.lang.String,? extends StateT> m)
StateT	remove(java.lang.Object key)
int	size()
java.util.Collection<StateT>	values()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Map

compute, computeIfAbsent, computeIfPresent, forEach, getOrDefault, merge, putIfAbsent, remove, replace, replace, replaceAll

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

isLess

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

getPrecision, getStateByName

Constructor Detail

HeapNode

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

Create a heap node form a map abstract state.

Method Detail

size

public int size()

Specified by:

size in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

containsKey

public boolean containsKey(java.lang.Object key)

Specified by:

containsKey in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

containsValue

public boolean containsValue(java.lang.Object value)

Specified by:

containsValue in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

get

public StateT get(java.lang.Object key)

Specified by:

get in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

put

@Nullable
public StateT put(java.lang.String key,
                            StateT value)

Specified by:

put in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

remove

public StateT remove(java.lang.Object key)

Specified by:

remove in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

putAll

public void putAll(@NotNull
                   java.util.Map<? extends java.lang.String,? extends StateT> m)

Specified by:

putAll in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

clear

public void clear()

Specified by:

clear in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

keySet

@NotNull
public java.util.Set<java.lang.String> keySet()

Specified by:

keySet in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

values

public java.util.Collection<StateT> values()

Specified by:

values in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

entrySet

@NotNull
public java.util.Set<java.util.Map.Entry<java.lang.String,StateT>> entrySet()

Specified by:

entrySet in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

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 java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

Specified by:

equals in interface AbstractState

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.Map<java.lang.String,StateT extends LatticeAbstractState<StateT>>

Specified by:

hashCode in interface AbstractState

Overrides:

hashCode in class java.lang.Object

merge

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

Joins the field value with the input value.