Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members

IDS.java

00001 package gov.nasa.arc.ase.jpf.jvm;
00002 
00003 public class IDS {
00004   static public int class_id  = 0;
00005   static public int method_id = 0;
00006   static public int new_id = 0;
00007 }

Generated at Thu Feb 7 06:46:21 2002 for Bandera by