X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FFlowNode.java;h=c6a6b79eb28bcdfa894fd06e9e8a39d67bb806ad;hb=2dcc891b7dfc2a791c10b820da51755813adefd7;hp=92822a3a80638ba82707bfa49fd7f4f5bf8bca2c;hpb=9dfdca00acf795117136425841493a1b0f036f10;p=IRC.git diff --git a/Robust/src/Analysis/SSJava/FlowNode.java b/Robust/src/Analysis/SSJava/FlowNode.java index 92822a3a..c6a6b79e 100644 --- a/Robust/src/Analysis/SSJava/FlowNode.java +++ b/Robust/src/Analysis/SSJava/FlowNode.java @@ -11,7 +11,7 @@ import IR.VarDescriptor; public class FlowNode { // descriptor tuple is a unique identifier of the flow node - private NTuple descTuple; + protected NTuple descTuple; // if the infer node represents the base type of field access, // this set contains fields of the base type