dk.brics.tajs.lattice

Class ObjectLabel

java.lang.Object

dk.brics.tajs.lattice.ObjectLabel

All Implemented Interfaces:

Comparable<ObjectLabel>

public final class ObjectLabel
extends Object
implements Comparable<ObjectLabel>

Label of abstract object. Immutable.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ObjectLabel.Kind Object kinds.

Field Summary

Fields

Modifier and Type	Field and Description
static SourceLocation	initial_source Source location used for host functions.

Constructor Summary

Constructors

Constructor and Description
ObjectLabel(AbstractNode n, ObjectLabel.Kind kind) Constructs a new object label for a user defined non-function object.
ObjectLabel(Function f) Constructs a new object label for a user defined function object.
ObjectLabel(HostObject hostobject, ObjectLabel.Kind kind) Constructs a new object label for a host object.

Method Summary

Methods

Modifier and Type	Method and Description
int	compareTo(ObjectLabel objlabel) Compares this and the given object label.
String	describe() Produces a human readable description of this object label.
boolean	equals(Object obj) Checks whether the given object label is equal to this one.
Function	getFunction() Returns the function of this function object label.
HostObject	getHostObject() Returns the descriptor for this object label.
ObjectLabel.Kind	getKind() Returns the object label kind.
AbstractNode	getNode() Returns the node of this non-function object label.
SourceLocation	getSourceLocation() Returns the source location.
int	hashCode() Returns the hash code for this object label.
boolean	isHostObject() Returns true if this object label represents a host object.
boolean	isSingleton() Returns true if this object label definitely represents a single concrete object.
ObjectLabel	makeSingleton() Returns the singleton object label associated with this object label, or this object if that is singleton.
ObjectLabel	makeSummary() Returns the summary object label associated with this singleton object label.
String	toString() Produces a string representation of this object label.

Methods inherited from class java.lang.Object

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

Field Detail

initial_source

public static final SourceLocation initial_source

Source location used for host functions.

Constructor Detail

ObjectLabel

public ObjectLabel(AbstractNode n,
           ObjectLabel.Kind kind)

Constructs a new object label for a user defined non-function object. If Options.isRecencyDisabled() is disabled, the object label represents a single concrete object (otherwise, it may represent any number of concrete objects).

ObjectLabel

public ObjectLabel(Function f)

Constructs a new object label for a user defined function object. If Options.isRecencyDisabled() is disabled, the object label represents a single concrete object (otherwise, it may represent any number of concrete objects).

ObjectLabel

public ObjectLabel(HostObject hostobject,
           ObjectLabel.Kind kind)

Constructs a new object label for a host object. If Options.isRecencyDisabled() is disabled, the object label represents a single concrete object (otherwise, it may represent any number of concrete objects).

Method Detail

compareTo

public int compareTo(ObjectLabel objlabel)

Compares this and the given object label. The source location is used as primary key, and toString is used as secondary key.

Specified by:

compareTo in interface Comparable<ObjectLabel>

describe

public String describe()

Produces a human readable description of this object label.

equals

public boolean equals(Object obj)

Checks whether the given object label is equal to this one.

Overrides:

equals in class Object

getFunction

public Function getFunction()

Returns the function of this function object label. Fails if this is not a user-defined function.

getHostObject

public HostObject getHostObject()

Returns the descriptor for this object label. It is assumed that this object label represents a host function.

getKind

public ObjectLabel.Kind getKind()

Returns the object label kind.

getNode

public AbstractNode getNode()

Returns the node of this non-function object label. Fails if this is a user-defined function.

getSourceLocation

public SourceLocation getSourceLocation()

Returns the source location.

hashCode

public int hashCode()

Returns the hash code for this object label.

Overrides:

hashCode in class Object

isHostObject

public boolean isHostObject()

Returns true if this object label represents a host object.

isSingleton

public boolean isSingleton()

Returns true if this object label definitely represents a single concrete object.

makeSingleton

public ObjectLabel makeSingleton()

Returns the singleton object label associated with this object label, or this object if that is singleton.

makeSummary

public ObjectLabel makeSummary()

Returns the summary object label associated with this singleton object label.

toString

public String toString()

Produces a string representation of this object label.

Overrides:

toString in class Object