soot.jimple.toolkits.thread.synchronization
Class NewStaticLock

java.lang.Object
  soot.jimple.toolkits.thread.synchronization.NewStaticLock

All Implemented Interfaces:

Serializable, EquivTo, Switchable, Value

Direct Known Subclasses:

DeadlockAvoidanceEdge

public class NewStaticLock
extends Object
implements Value

See Also:

Serialized Form

Constructor Summary

NewStaticLock(SootClass sc)

Method Summary

void	apply(Switch sw) Called when this object is visited.
Object	clone() Clones the object.
boolean	equals(Object c)
int	equivHashCode() Returns a hash code consistent with structural equality for this object.
boolean	equivTo(Object c) Returns true if this object is structurally equivalent to c.
SootClass	getLockClass()
Type	getType() Returns the Soot type of this Value.
List	getUseBoxes() Returns a List of boxes corresponding to Values which are used by (ie contained within) this Value.
int	hashCode()
String	toString()
void	toString(UnitPrinter up)

Methods inherited from class java.lang.Object

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

Constructor Detail

NewStaticLock

public NewStaticLock(SootClass sc)

Method Detail

getLockClass

public SootClass getLockClass()

getUseBoxes

public List getUseBoxes()

Description copied from interface: Value

Returns a List of boxes corresponding to Values which are used by (ie contained within) this Value.

Specified by:

getUseBoxes in interface Value

clone

public Object clone()

Clones the object. Not implemented here.

Specified by:

clone in interface Value

Overrides:

clone in class Object

equivTo

public boolean equivTo(Object c)

Returns true if this object is structurally equivalent to c. AbstractDataSources are equal and equivalent if their sourcename is the same

Specified by:

equivTo in interface EquivTo

equals

public boolean equals(Object c)

Overrides:

equals in class Object

equivHashCode

public int equivHashCode()

Returns a hash code consistent with structural equality for this object.

Specified by:

equivHashCode in interface EquivTo

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public void toString(UnitPrinter up)

Specified by:

toString in interface Value

getType

public Type getType()

Description copied from interface: Value

Returns the Soot type of this Value.

Specified by:

getType in interface Value

apply

public void apply(Switch sw)

Description copied from interface: Switchable

Called when this object is visited.

Specified by:

apply in interface Switchable

toString

public String toString()

Overrides:

toString in class Object