public class Node extends Object implements Numberable
| Modifier and Type | Field and Description |
|---|---|
protected DoublePointsToSet |
p2set |
protected Type |
type |
| Modifier | Constructor and Description |
|---|---|
protected |
Node(Type type)
Creates a new node of pointer assignment graph pag, with type type.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object other) |
int |
getNumber() |
Type |
getType()
Returns the declared type of this node, null for unknown.
|
int |
hashCode() |
void |
setNumber(int number) |
protected Type type
protected DoublePointsToSet p2set
protected Node(Type type)
public Type getType()
public final int getNumber()
getNumber in interface Numberablepublic final void setNumber(int number)
setNumber in interface NumberableCopyright © 2024 Soot OSS. All rights reserved.