// method -> local variable lattice
Hashtable<MethodDescriptor, MethodLattice<String>> md2lattice;
// method -> local variable lattice
Hashtable<MethodDescriptor, MethodLattice<String>> md2lattice;
Hashtable<MethodDescriptor, Integer> skipLoopTerminate;
// map shared location to its descriptors
Hashtable<Location, Set<Descriptor>> mapSharedLocation2DescriptorSet;
Hashtable<MethodDescriptor, Integer> skipLoopTerminate;
// map shared location to its descriptors
Hashtable<Location, Set<Descriptor>> mapSharedLocation2DescriptorSet;
this.cd2methodDefault = new Hashtable<ClassDescriptor, MethodLattice<String>>();
this.md2lattice = new Hashtable<MethodDescriptor, MethodLattice<String>>();
this.annotationRequireSet = new HashSet<MethodDescriptor>();
this.cd2methodDefault = new Hashtable<ClassDescriptor, MethodLattice<String>>();
this.md2lattice = new Hashtable<MethodDescriptor, MethodLattice<String>>();
this.annotationRequireSet = new HashSet<MethodDescriptor>();
this.skipLoopTerminate = new Hashtable<MethodDescriptor, Integer>();
this.mapSharedLocation2DescriptorSet = new Hashtable<Location, Set<Descriptor>>();
}
this.skipLoopTerminate = new Hashtable<MethodDescriptor, Integer>();
this.mapSharedLocation2DescriptorSet = new Hashtable<Location, Set<Descriptor>>();
}