daikon
Class Daikon.FileOptions

Object
  extended by Daikon.FileOptions
Enclosing class:
Daikon

public static class Daikon.FileOptions
extends Object


Field Summary
 Set<File> decls
           
 Set<String> dtrace
           
 Set<File> map
           
 Set<File> spinfo
           
 
Constructor Summary
Daikon.FileOptions(Set<File> decls, Set<String> dtrace, Set<File> spinfo, Set<File> map)
           
 
Method Summary
 
Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

decls

public Set<File> decls

dtrace

public Set<String> dtrace

spinfo

public Set<File> spinfo

map

public Set<File> map
Constructor Detail

Daikon.FileOptions

public Daikon.FileOptions(Set<File> decls,
                          Set<String> dtrace,
                          Set<File> spinfo,
                          Set<File> map)