org.checkerframework.dataflow.constantpropagation

Class ConstantPropagationStore

java.lang.Object

org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore

All Implemented Interfaces:

Store<ConstantPropagationStore>

public class ConstantPropagationStore
extends 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(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(Object o)
Constant	getInformation(Node n)
boolean	hasDOToutput()
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)
String	toDOToutput()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstantPropagationStore

public ConstantPropagationStore()

ConstantPropagationStore

protected ConstantPropagationStore(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>

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class 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>

hasDOToutput

public boolean hasDOToutput()

Specified by:

hasDOToutput in interface Store<ConstantPropagationStore>

Returns:

Whether the Store supports DOT graph output.

toDOToutput

public String toDOToutput()

Specified by:

toDOToutput in interface Store<ConstantPropagationStore>

Returns:

The store encoded as a DOT graph for visualization.