edu.ucla.util.code
Class JDKRun.CompiledClassInfo

Object
  extended by JDKRun.CompiledClassInfo
Enclosing class:
JDKRun

public static class JDKRun.CompiledClassInfo
extends Object

Since:
040105

Field Summary
 File classfile
           
 String classname
           
 File directory
           
 String error
           
 File sourcefile
           
 
Constructor Summary
JDKRun.CompiledClassInfo(File source)
           
 
Method Summary
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

sourcefile

public File sourcefile

directory

public File directory

classfile

public File classfile

classname

public String classname

error

public String error
Constructor Detail

JDKRun.CompiledClassInfo

public JDKRun.CompiledClassInfo(File source)


Copyright 2010 UCLA Automated Reasoning Group