1 package Analysis.SSJava;
7 public class FlowNode {
9 // descriptor tuple is a unique identifier of the flow node
10 private NTuple<Descriptor> descTuple;
12 // if the infer node represents the base type of field access,
13 // this set contains fields of the base type
14 private Set<FlowNode> fieldNodeSet;
16 public FlowNode(Descriptor desc) {
20 public FlowNode(NTuple<Descriptor> base) {
24 public FlowNode(NTuple<Descriptor> base, Descriptor desc) {
25 descTuple = new NTuple<Descriptor>();
27 descTuple.addAll(base);
34 public NTuple<Descriptor> getDescTuple() {
38 public Descriptor getOwnDescriptor() {
39 return descTuple.get(descTuple.size() - 1);
42 public String toString() {
43 return "[FlowNode]::" + descTuple;