1 package Analysis.SSJava;
5 public class GlobalFlowNode {
7 NTuple<Location> locTuple;
8 CompositeLocation compLoc;
10 public GlobalFlowNode(NTuple<Location> in) {
17 public int hashCode() {
18 return locTuple.hashCode();
21 public NTuple<Location> getLocTuple() {
25 public boolean equals(Object obj) {
27 if (obj instanceof GlobalFlowNode) {
28 GlobalFlowNode in = (GlobalFlowNode) obj;
29 if (locTuple.equals(in.getLocTuple())) {
38 public String toString() {
39 return locTuple.toString();
42 public NTuple<Descriptor> getDescTuple() {
43 NTuple<Descriptor> descTuple = new NTuple<Descriptor>();
45 for (int i = 0; i < locTuple.size(); i++) {
46 descTuple.add(locTuple.get(i).getLocDescriptor());
52 public String getID() {
54 NTuple<Descriptor> descTuple = getDescTuple();
56 for (int i = 0; i < descTuple.size(); i++) {
57 id += descTuple.get(i).getSymbol();
62 public void setInferCompositeLocation(CompositeLocation in) {
66 public CompositeLocation getInferCompositeLocation() {
70 public String getPrettyID() {
72 NTuple<Descriptor> descTuple = getDescTuple();
76 for (int i = 0; i < descTuple.size(); i++) {
78 id += locTuple.get(i);
81 id += descTuple.get(i).getSymbol();
86 if (compLoc != null) {
94 // if (isSkeleton()) {
98 if (property.length() > 0) {
99 property = " [" + property + "]";
102 return id + property;