sandmark.watermark.ct.trace.callforest
Class Node

java.lang.Object
  |
  +--sandmark.util.graph.Node
        |
        +--sandmark.watermark.ct.trace.callforest.Node

All Implemented Interfaces:

java.lang.Cloneable

public class Node

extends Node

Field Summary

static int	CALL
static int	ENTER
static int	EXIT
(package private) StackFrame	frame
(package private) boolean	isMark
(package private) int	kind
static int	MISSING_int
static int	MISSING_kind
static int	RETURN
(package private) int	weight

Fields inherited from class sandmark.util.graph.Node

number

Constructor Summary

Node(ByteCodeLocation location, long threadID)

Node(ByteCodeLocation location, long threadID, long frameID)

Node(ByteCodeLocation location, long threadID, long frameID, int weight)

Node(ByteCodeLocation location, long threadID, long frameID, int weight, int kind, boolean isMark)

Node(int number, StackFrame frame, int weight, int kind)

Method Summary

java.lang.Object	clone()
protected java.lang.String	color() Return the color of this node.
Node	copy()
boolean	equals(java.lang.Object o)
protected int	fontsize() Return the fontsize of this node.
long	frameID() Return the ID number of the frame represented by this node.
StackFrame	getFrame() Get the stack frame corresponding to this node.
int	getKind() Get the weight of this node.
MethodID	getMethod() Return the method represented by this node.
int	getWeight() Return the weight of this node.
int	hashCode()
boolean	isCallNode() Return true is this is an CALL node.
boolean	isEnterNode() Return true is this is an ENTER node.
boolean	isExitNode() Return true is this is an EXIT node.
boolean	isMarkNode() Return true if this node represents one of the mark()-methods in the annotator class.
boolean	isReturnNode() Return true is this is an RETURN node.
java.lang.String	kind2String(int kind)
java.lang.String	kind2StringSmall(int kind)
void	setWeight(int v) Set the weight of this node.
protected java.lang.String	style() Return the style of this node.
java.lang.String	toDot() Format the node label in the dot format.
java.lang.String	toString() Format the data in an easy to parse form.
java.lang.String	toStringDotFormat() Format the data in a format suitable for dot.
java.lang.String	toStringShortFormat() Format the data in a compact form.

Methods inherited from class sandmark.util.graph.Node

main, name, nodeNumber, setNodeNumber, shape, toDot

Methods inherited from class java.lang.Object

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

Field Detail

MISSING_int

public static final int MISSING_int

See Also:

Constant Field Values

MISSING_kind

public static final int MISSING_kind

See Also:

Constant Field Values

ENTER

public static final int ENTER

See Also:

Constant Field Values

EXIT

public static final int EXIT

See Also:

Constant Field Values

CALL

public static final int CALL

See Also:

Constant Field Values

RETURN

public static final int RETURN

See Also:

Constant Field Values

kind

int kind

weight

int weight

frame

StackFrame frame

isMark

boolean isMark

Constructor Detail

Node

public Node(ByteCodeLocation location,
            long threadID,
            long frameID,
            int weight,
            int kind,
            boolean isMark)

Node

public Node(int number,
            StackFrame frame,
            int weight,
            int kind)

Node

public Node(ByteCodeLocation location,
            long threadID,
            long frameID,
            int weight)

Node

public Node(ByteCodeLocation location,
            long threadID)

Node

public Node(ByteCodeLocation location,
            long threadID,
            long frameID)

Method Detail

clone

public java.lang.Object clone()
                       throws java.lang.CloneNotSupportedException

Overrides:

clone in class Node

java.lang.CloneNotSupportedException

copy

public Node copy()

toString

public java.lang.String toString()

Format the data in an easy to parse form.

Overrides:

toString in class Node

toStringShortFormat

public java.lang.String toStringShortFormat()

Format the data in a compact form.

toStringDotFormat

public java.lang.String toStringDotFormat()

Format the data in a format suitable for dot.

color

protected java.lang.String color()

Return the color of this node. Color indicates the type of node. Used when generating code for dot.

Overrides:

color in class Node

style

protected java.lang.String style()

Return the style of this node. Used when generating code for dot.

Overrides:

style in class Node

fontsize

protected int fontsize()

Return the fontsize of this node. Used when generating code for dot.

Overrides:

fontsize in class Node

toDot

public java.lang.String toDot()

Format the node label in the dot format.

Overrides:

toDot in class Node

kind2String

public java.lang.String kind2String(int kind)

kind2StringSmall

public java.lang.String kind2StringSmall(int kind)

getMethod

public MethodID getMethod()

Return the method represented by this node.

frameID

public long frameID()

Return the ID number of the frame represented by this node.

isMarkNode

public boolean isMarkNode()

Return true if this node represents one of the mark()-methods in the annotator class.

getWeight

public int getWeight()

Return the weight of this node.

setWeight

public void setWeight(int v)

Set the weight of this node.

getKind

public int getKind()

Get the weight of this node.

isEnterNode

public boolean isEnterNode()

Return true is this is an ENTER node.

isExitNode

public boolean isExitNode()

Return true is this is an EXIT node.

isCallNode

public boolean isCallNode()

Return true is this is an CALL node.

isReturnNode

public boolean isReturnNode()

Return true is this is an RETURN node.

getFrame

public StackFrame getFrame()

Get the stack frame corresponding to this node.

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Node

hashCode

public int hashCode()

Overrides:

hashCode in class Node