Robust/src/Analysis/SSJava/ImplicitTuple.java

   1 package Analysis.SSJava;
   2
   3 import IR.Tree.BlockStatementNode;
   4
   5 //contains a varID and what branch that var has implicit flow on
   6 public class ImplicitTuple{
   7     private VarID var;
   8     private BlockStatementNode branchID;
   9
  10     public ImplicitTuple(VarID var, BlockStatementNode branchID){
  11         this.var = var;
  12         this.branchID = branchID;
  13     }
  14
  15     public VarID getVar(){
  16         return var;
  17     }
  18
  19     public boolean isFromBranch(BlockStatementNode branchID){
  20         return this.branchID.equals(branchID);
  21     }
  22 }