imop.lib.analysis.dataflow.interprocedural

Class LockSetAnalysis.LockFlowFact

java.lang.Object

imop.lib.analysis.dataflow.generic.FlowFact

imop.lib.analysis.dataflow.interprocedural.LockSetAnalysis.LockFlowFact

Enclosing class:

LockSetAnalysis

public static class LockSetAnalysis.LockFlowFact
extends FlowFact

Flow fact type for lock-set analysis.

Author:

aman

Field Summary

Fields

Modifier and Type	Field and Description
private LockSetAnalysis.LockMap	lockMap

Constructor Summary

Constructors

Constructor and Description
LockFlowFact(LockSetAnalysis.LockMap lockMap)

Method Summary

Modifier and Type	Method and Description
int	decrementLockCounter(AbstractLock lock)
java.util.HashMap<AbstractLock,java.lang.Integer>	getLockMapCopy()
java.lang.String	getString() Prints the information represented by this object in a human-readable form.
int	incrementLockCounter(AbstractLock lock)
boolean	isEqualTo(FlowFact other) Returns true if other is semantically same as this object.
FlowFact	meetWith(FlowFact other, java.util.Set<Cell> cellSet) Given an instance of a FlowFact other, this method should be overridden to return the meet of the receiver with $other$.

Methods inherited from class java.lang.Object

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

Field Detail

lockMap

private LockSetAnalysis.LockMap lockMap

Constructor Detail

LockFlowFact

public LockFlowFact(LockSetAnalysis.LockMap lockMap)

Method Detail

getLockMapCopy

public java.util.HashMap<AbstractLock,java.lang.Integer> getLockMapCopy()

incrementLockCounter

public int incrementLockCounter(AbstractLock lock)

decrementLockCounter

public int decrementLockCounter(AbstractLock lock)

isEqualTo

public boolean isEqualTo(FlowFact other)

Description copied from class: FlowFact

Returns true if other is semantically same as this object. Note that we do not use equals() methods, since we want to enforce the subclasses of FlowFact to define this equality.

Specified by:

isEqualTo in class FlowFact

Parameters:

other - the object to be checked for equality with this object.

Returns:

true, if other is same as this object.

getString

public java.lang.String getString()

Description copied from class: FlowFact

Prints the information represented by this object in a human-readable form.

Specified by:

getString in class FlowFact

Returns:

a String that represents the human-readable form of this FlowFact.

meetWith

public FlowFact meetWith(FlowFact other,
                         java.util.Set<Cell> cellSet)

Description copied from class: FlowFact

Given an instance of a FlowFact other, this method should be overridden to return the meet of the receiver with $other$. An implementation can use the set of symbols (symbolSet), to make the meet more precise. The set symbolSet, is used to obtain a set of those symbols which may contribute to the update in data-flow fact of a node. Note: Make sure that this method returns a new object every time, if needed.

Specified by:

meetWith in class FlowFact

Parameters:

other - one of the flowFacts. Can be null.

cellSet - set of cells that may affect the data-flow fact.

• Note 1: An empty set should be treated as a universal set of all the cells available in this context.
• Note 2: A set with just a singleton object Symbol.getPhantomSharedSymbol() should be treated as the set of all the shared objects available in this context.

Returns:

meet of the flowFact other, with the receiver.