public class Document extends Object
| Constructor and Description |
|---|
Document(Header header,
List<Definition> definitions) |
| Modifier and Type | Method and Description |
|---|---|
static Document |
emptyDocument() |
List<Definition> |
getDefinitions() |
Header |
getHeader() |
String |
toString() |
void |
visit(DocumentVisitor visitor) |
public Document(Header header, List<Definition> definitions)
public Header getHeader()
public List<Definition> getDefinitions()
public void visit(DocumentVisitor visitor) throws IOException
IOExceptionpublic static Document emptyDocument()
Copyright © 2012-2017. All Rights Reserved.