1 package Analysis.SSJava;
3 import IR.Tree.BlockStatementNode;
5 //contains a varID and what branch that var has implicit flow on
6 public class ImplicitTuple{
8 private BlockStatementNode branchID;
10 public ImplicitTuple(VarID var, BlockStatementNode branchID){
12 this.branchID = branchID;
15 public VarID getVar(){
19 public boolean isFromBranch(BlockStatementNode branchID){
20 return this.branchID.equals(branchID);