@Immutable public final class SADocumentWithParts extends SADocument
Constructor and Description |
---|
SADocumentWithParts(SAIDMap in_ids,
SADocumentTitle in_title,
com.io7m.jfunctional.OptionType<SDocumentContents> in_contents,
com.io7m.jfunctional.OptionType<SDocumentStyle> in_style,
SNonEmptyList<SAPart> in_content,
List<SAFootnote> in_footnotes,
SAFormalItemsByKind in_formals)
Construct a new document with parts.
|
Modifier and Type | Method and Description |
---|---|
<A> A |
documentAccept(SADocumentVisitor<A> v)
Accept a document visitor.
|
boolean |
equals(Object obj) |
com.io7m.jfunctional.OptionType<SAPart> |
getPart(SAPartNumber n) |
SNonEmptyList<SAPart> |
getParts() |
com.io7m.jfunctional.OptionType<SASection> |
getSection(SASectionNumber n) |
int |
hashCode() |
SASegmentNumber |
segmentGetFirst() |
com.io7m.jfunctional.OptionType<SASegmentNumber> |
segmentGetNext(SASegmentNumber n) |
com.io7m.jfunctional.OptionType<SASegmentNumber> |
segmentGetPrevious(SASegmentNumber n) |
com.io7m.jfunctional.OptionType<SASegmentNumber> |
segmentGetUp(SASegmentNumber n) |
getContents, getFootnotes, getFormals, getIDMappings, getStyle, getTitle
public SADocumentWithParts(SAIDMap in_ids, SADocumentTitle in_title, com.io7m.jfunctional.OptionType<SDocumentContents> in_contents, com.io7m.jfunctional.OptionType<SDocumentStyle> in_style, SNonEmptyList<SAPart> in_content, List<SAFootnote> in_footnotes, SAFormalItemsByKind in_formals)
in_ids
- The set of mappings from IDs to elementsin_title
- The titlein_contents
- Whether or not the document has a table of contentsin_style
- The stylein_content
- The list of partsin_footnotes
- The list of footnotesin_formals
- The formal itemspublic <A> A documentAccept(SADocumentVisitor<A> v) throws Exception
SADocument
documentAccept
in class SADocument
A
- The type of values returned by the visitorv
- The visitorException
- If the visitor raises an Exception
public boolean equals(@Nullable Object obj)
equals
in class SADocument
public com.io7m.jfunctional.OptionType<SAPart> getPart(SAPartNumber n)
n
- The part numberpublic SNonEmptyList<SAPart> getParts()
public com.io7m.jfunctional.OptionType<SASection> getSection(SASectionNumber n)
getSection
in class SADocument
n
- The section numberpublic int hashCode()
hashCode
in class SADocument
public SASegmentNumber segmentGetFirst()
public com.io7m.jfunctional.OptionType<SASegmentNumber> segmentGetNext(SASegmentNumber n)
n
- The current segmentpublic com.io7m.jfunctional.OptionType<SASegmentNumber> segmentGetPrevious(SASegmentNumber n)
n
- The current segmentpublic com.io7m.jfunctional.OptionType<SASegmentNumber> segmentGetUp(SASegmentNumber n)
n
- The current segmentCopyright © 2017 <code@io7m.com> http://io7m.com