Daikon.FileOptions

Object
- FileOptions

Enclosing class:: Daikon

public static class Daikon.FileOptions
extends Object

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  Set<File> decls
  
  Set<String> dtrace
  
  Set<File> map
  
  Set<File> spinfo
- Constructor Summary
  
  Constructors
  Constructor Description
  
  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

FileOptions

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