View Javadoc

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