00001 package gov.nasa.arc.ase.jpf; 00002 00003 interface Core { 00004 void init(); 00005 void run(); 00006 }
1.2.10 written by Dimitri van Heesch,
© 1997-2001