@Immutable public final class SFormalItem extends Object implements SSubsectionContent
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
static SFormalItem |
formalItem(SFormalItemTitle in_title,
String in_kind,
SFormalItemContent in_content)
Construct a new formal item with the given type attribute.
|
static SFormalItem |
formalItemTyped(SFormalItemTitle in_title,
String in_kind,
String in_type,
SFormalItemContent in_content)
Construct a new formal item with the given type attribute.
|
static SFormalItem |
formalItemTypedWithID(SFormalItemTitle in_title,
String in_kind,
String in_type,
SFormalItemContent in_content,
SID in_id)
Construct a new formal item with the given type attribute.
|
static SFormalItem |
formalItemWithID(SFormalItemTitle in_title,
String in_kind,
SFormalItemContent in_content,
SID in_id)
Construct a new formal item with the given type attribute.
|
SFormalItemContent |
getContent() |
com.io7m.jfunctional.OptionType<SID> |
getID() |
String |
getKind() |
SFormalItemTitle |
getTitle() |
com.io7m.jfunctional.OptionType<String> |
getType() |
int |
hashCode() |
<A> A |
subsectionContentAccept(SSubsectionContentVisitor<A> v)
Accept a section content visitor.
|
String |
toString() |
public static SFormalItem formalItem(SFormalItemTitle in_title, String in_kind, SFormalItemContent in_content)
in_title
- The titlein_kind
- The kind of formal itemin_content
- The formal item contentpublic static SFormalItem formalItemTyped(SFormalItemTitle in_title, String in_kind, String in_type, SFormalItemContent in_content)
in_title
- The titlein_kind
- The kind of formal itemin_type
- The type attributein_content
- The formal item contentpublic static SFormalItem formalItemTypedWithID(SFormalItemTitle in_title, String in_kind, String in_type, SFormalItemContent in_content, SID in_id)
in_title
- The titlein_kind
- The kind of formal itemin_type
- The type attributein_content
- The formal item contentin_id
- The IDpublic static SFormalItem formalItemWithID(SFormalItemTitle in_title, String in_kind, SFormalItemContent in_content, SID in_id)
in_title
- The titlein_kind
- The kind of formal itemin_content
- The formal item contentin_id
- The IDpublic SFormalItemContent getContent()
public com.io7m.jfunctional.OptionType<SID> getID()
public String getKind()
public SFormalItemTitle getTitle()
public com.io7m.jfunctional.OptionType<String> getType()
public <A> A subsectionContentAccept(SSubsectionContentVisitor<A> v) throws Exception
SSubsectionContent
subsectionContentAccept
in interface SSubsectionContent
A
- The type of values returned by the visitorv
- The visitorException
- If the visitor raises and Exception
Copyright © 2017 <code@io7m.com> http://io7m.com