public class Result
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
DB |
db |
java.io.PrintStream |
out |
java.lang.String |
outputFileName |
Schema |
schema |
Constructor and Description |
---|
Result(java.io.PrintStream out,
DB db) |
Result(Schema s) |
Result(java.lang.String outputFileName,
DB db) |
Modifier and Type | Method and Description |
---|---|
void |
outputDB() |
void |
outputSchema(java.lang.String filename) |
public final java.io.PrintStream out
public final java.lang.String outputFileName
public final DB db
public final Schema schema