Uses of Class
com.io7m.jstructural.annotated.SADocumentTitle

Packages that use SADocumentTitle

Package	Description
com.io7m.jstructural.annotated

Uses of SADocumentTitle in com.io7m.jstructural.annotated

Methods in com.io7m.jstructural.annotated that return SADocumentTitle

Modifier and Type	Method and Description
static SADocumentTitle	SADocumentTitle.documentTitle(String actual) Construct a document title.
SADocumentTitle	SADocument.getTitle()

Constructors in com.io7m.jstructural.annotated with parameters of type SADocumentTitle

Constructor and Description
SADocument(SAIDMap in_ids, SADocumentTitle in_title, com.io7m.jaux.functional.Option<SDocumentContents> in_contents, com.io7m.jaux.functional.Option<SDocumentStyle> in_style, List<SAFootnote> in_footnotes, SAFormalItemsByKind in_formals)
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.
SADocumentWithSections(SAIDMap in_ids, SADocumentTitle in_title, com.io7m.jaux.functional.Option<SDocumentContents> in_contents, com.io7m.jaux.functional.Option<SDocumentStyle> in_style, SNonEmptyList<SASection> in_content, List<SAFootnote> in_footnotes, SAFormalItemsByKind in_formals) Construct a new document with sections.