org.checkerframework.dataflow.constantpropagation

Class ConstantPropagationStore

java.lang.Object

org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore

All Implemented Interfaces:

Store<ConstantPropagationStore>

public class ConstantPropagationStore
extends java.lang.Object
implements Store<ConstantPropagationStore>

Nested Class Summary

Nested classes/interfaces inherited from interface org.checkerframework.dataflow.analysis.Store

Store.FlowRule, Store.Kind

Constructor Summary

Constructors

Modifier	Constructor and Description
	ConstantPropagationStore()
protected	ConstantPropagationStore(java.util.Map<Node,Constant> contents)

Method Summary

Modifier and Type	Method and Description
boolean	canAlias(FlowExpressions.Receiver a, FlowExpressions.Receiver b) Can the objects a and b be aliases? Returns a conservative answer (i.e., returns true if not enough information is available to determine aliasing).
ConstantPropagationStore	copy()
boolean	equals(java.lang.Object o)
Constant	getInformation(Node n)
int	hashCode()
ConstantPropagationStore	leastUpperBound(ConstantPropagationStore other) Compute the least upper bound of two stores.
void	mergeInformation(Node n, Constant val)
void	setInformation(Node n, Constant val)
java.lang.String	toString()
java.lang.String	visualize(CFGVisualizer<?,ConstantPropagationStore,?> viz) Delegate visualization responsibility to a visualizer.
ConstantPropagationStore	widenedUpperBound(ConstantPropagationStore previous) Compute an upper bound of two stores that is wider than the least upper bound of the two stores.

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstantPropagationStore

public ConstantPropagationStore()

ConstantPropagationStore

protected ConstantPropagationStore(java.util.Map<Node,Constant> contents)

Method Detail

getInformation

public Constant getInformation(Node n)

mergeInformation

public void mergeInformation(Node n,
                             Constant val)

setInformation

public void setInformation(Node n,
                           Constant val)

copy

public ConstantPropagationStore copy()

Specified by:

copy in interface Store<ConstantPropagationStore>

Returns:

an exact copy of this store.

leastUpperBound

public ConstantPropagationStore leastUpperBound(ConstantPropagationStore other)

Description copied from interface: Store

Compute the least upper bound of two stores.

Important: This method must fulfill the following contract:

• Does not change this.
• Does not change other.
• Returns a fresh object which is not aliased yet.
• Returns an object of the same (dynamic) type as this, even if the signature is more permissive.
• Is commutative.

Specified by:

leastUpperBound in interface Store<ConstantPropagationStore>

widenedUpperBound

public ConstantPropagationStore widenedUpperBound(ConstantPropagationStore previous)

Description copied from interface: Store

Compute an upper bound of two stores that is wider than the least upper bound of the two stores. Used to jump to a higher abstraction to allow faster termination of the fixed point computations in Analysis. previous must be the previous store.

A particular analysis might not require widening and should implement this method by calling leastUpperBound.

Important: This method must fulfill the following contract:

• Does not change this.
• Does not change previous.
• Returns a fresh object which is not aliased yet.
• Returns an object of the same (dynamic) type as this, even if the signature is more permissive.
• Is commutative.

Specified by:

widenedUpperBound in interface Store<ConstantPropagationStore>

Parameters:

previous - must be the previous store

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

canAlias

public boolean canAlias(FlowExpressions.Receiver a,
                        FlowExpressions.Receiver b)

Description copied from interface: Store

Can the objects a and b be aliases? Returns a conservative answer (i.e., returns true if not enough information is available to determine aliasing).

Specified by:

canAlias in interface Store<ConstantPropagationStore>

visualize

public java.lang.String visualize(CFGVisualizer<?,ConstantPropagationStore,?> viz)

Delegate visualization responsibility to a visualizer.

Specified by:

visualize in interface Store<ConstantPropagationStore>

Parameters:

viz - the visualizer to visualize this store

Returns:

null because ConstantPropagationStore doesn't support visualization