BinaryClass loadFile(ClassFile file) throws IOException {
  long tm=System.currentTimeMillis();
  InputStream input=file.getInputStream();
  BinaryClass c=null;
  if (tracing)   dtEnter("loadFile: LOADING CLASSFILE " + file);
  try {
    DataInputStream is=new DataInputStream(new BufferedInputStream(input));
    c=BinaryClass.load(new Environment(this,file),is,loadFileFlags());
  }
 catch (  ClassFormatError e) {
    error(0,"class.format",file.getPath(),e.getMessage());
    if (tracing)     dtExit("loadFile: CLASS FORMAT ERROR " + file);
    return null;
  }
catch (  java.io.EOFException e) {
    error(0,"truncated.class",file.getPath());
    return null;
  }
  input.close();
  if (verbose()) {
    tm=System.currentTimeMillis() - tm;
    output(Main.getText("benv.loaded_in",file.getPath(),Long.toString(tm)));
  }
  if (tracing)   dtExit("loadFile: CLASSFILE LOADED " + file);
  return c;
}

BinaryClass loadFile ( ClassFile file ) throws IOException { long tm = System . currentTimeMillis ( ) ; InputStream input = file . getInputStream ( ) ; BinaryClass c = null ; if ( tracing ) dtEnter ( "loadFile: LOADING CLASSFILE " + file ) ; try { DataInputStream is = new DataInputStream ( new BufferedInputStream ( input ) ) ; c = BinaryClass . load ( new Environment ( this , file ) , is , loadFileFlags ( ) ) ; } catch ( ClassFormatError e ) { error ( 0 , "class.format" , file . getPath ( ) , e . getMessage ( ) ) ; if ( tracing ) dtExit ( "loadFile: CLASS FORMAT ERROR " + file ) ; return null ; } catch ( java . io . EOFException e ) { error ( 0 , "truncated.class" , file . getPath ( ) ) ; return null ; } input . close ( ) ; if ( verbose ( ) ) { tm = System . currentTimeMillis ( ) - tm ; output ( Main . getText ( "benv.loaded_in" , file . getPath ( ) , Long . toString ( tm ) ) ) ; } if ( tracing ) dtExit ( "loadFile: CLASSFILE LOADED " + file ) ; return c ; }
load a binary file
