daikon
Class Daikon.FileOptions

Object
  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)