1 package joeq.Compiler.Analysis.IPSSA;
2
3
4 public class ContextSet {
5 // TODO: fill in the details of the representation
6
7 public class ContextLocationPair {
8 protected SSALocation _location;
9 protected ContextSet _context;
10
11 public SSALocation getLocation(){return _location;}
12 public ContextSet getContext(){return _context;}
13 }
14 }
15