1 package Analysis.SSJava;
5 public class GlobalFlowNode {
7 NTuple<Location> locTuple;
8 CompositeLocation compLoc;
10 public GlobalFlowNode(NTuple<Location> in) {
14 public int hashCode() {
15 return locTuple.hashCode();
18 public NTuple<Location> getLocTuple() {
22 public boolean equals(Object obj) {
24 if (obj instanceof GlobalFlowNode) {
25 GlobalFlowNode in = (GlobalFlowNode) obj;
26 if (locTuple.equals(in.getLocTuple())) {
35 public String toString() {
36 return locTuple.toString();
39 public NTuple<Descriptor> getDescTuple() {
40 NTuple<Descriptor> descTuple = new NTuple<Descriptor>();
42 for (int i = 0; i < locTuple.size(); i++) {
43 descTuple.add(locTuple.get(i).getLocDescriptor());
49 public String getID() {
51 NTuple<Descriptor> descTuple = getDescTuple();
53 for (int i = 0; i < descTuple.size(); i++) {
54 id += descTuple.get(i).getSymbol();
59 public void setInferCompositeLocation(CompositeLocation in) {
63 public CompositeLocation getInferCompositeLocation() {
67 public String getPrettyID() {
69 NTuple<Descriptor> descTuple = getDescTuple();
73 for (int i = 0; i < descTuple.size(); i++) {
75 id += locTuple.get(i);
78 id += descTuple.get(i).getSymbol();
83 if (compLoc != null) {
91 // if (isSkeleton()) {
95 if (property.length() > 0) {
96 property = " [" + property + "]";