| Package | Description |
|---|---|
| com.io7m.jstructural.annotated |
| Modifier and Type | Method and Description |
|---|---|
com.io7m.jaux.functional.Option<SAPart> |
SADocumentWithParts.getPart(SAPartNumber n) |
SNonEmptyList<SAPart> |
SADocumentWithParts.getParts() |
| Modifier and Type | Method and Description |
|---|---|
T |
SAIDTargetContentVisitor.visitPart(SAPart part)
Visit a part element.
|
| Constructor and Description |
|---|
SADocumentWithParts(SAIDMap in_ids,
SADocumentTitle in_title,
com.io7m.jaux.functional.Option<SDocumentContents> in_contents,
com.io7m.jaux.functional.Option<SDocumentStyle> in_style,
SNonEmptyList<SAPart> in_content,
List<SAFootnote> in_footnotes,
SAFormalItemsByKind in_formals)
Construct a new document with parts.
|
Copyright © 2014. All rights reserved.