Package qilin.core.pag

Class PagNode

java.lang.Object

qilin.core.pag.PagNode

All Implemented Interfaces:

Numberable

Direct Known Subclasses:

AllocNode, FieldRefNode, ValNode

public class PagNode
extends Object
implements Numberable

Represents every node in the pointer assignment graph.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field	Description
protected DoublePointsToSet	p2set
protected Type	type

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PagNode(Type type)	Creates a new node of pointer assignment graph pag, with type type.

Method Summary

Modifier and Type	Method	Description
final boolean	equals(Object other)
final int	getNumber()
Type	getType()	Returns the declared type of this node, null for unknown.
final int	hashCode()
PagNode	parameterize(Parameterizer parameterizer, Context context)	Turns this node into its context-sensitive counterpart by calling back into the matching overload of parameterizer.
final void	setNumber(int number)

Methods inherited from class java.lang.Object

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

Field Details

type

protected Type type

p2set

protected DoublePointsToSet p2set

Constructor Details

PagNode

protected PagNode(Type type)

Creates a new node of pointer assignment graph pag, with type type.

Method Details

hashCode

public final int hashCode()

Overrides:

hashCode in class Object

equals

public final boolean equals(Object other)

Overrides:

equals in class Object

getType

public Type getType()

Returns the declared type of this node, null for unknown.

getNumber

public final int getNumber()

Specified by:

getNumber in interface Numberable

setNumber

public final void setNumber(int number)

Specified by:

setNumber in interface Numberable

parameterize

public PagNode parameterize(Parameterizer parameterizer,
 Context context)

Turns this node into its context-sensitive counterpart by calling back into the matching overload of parameterizer. Only the node kinds that can actually be parameterized (LocalVarNode, FieldRefNode, AllocNode, FieldValNode, GlobalVarNode) override this; every other node kind is not meant to reach a context parameterization step, so the default fails loudly instead of silently doing nothing.