public class Chapter
extends java.lang.Object
See BookManager for more details.
Constructor and Description |
---|
Chapter(int chapterNbr,
java.lang.String chapterTitle)
Sole constructor for Chapter.
|
Modifier and Type | Method and Description |
---|---|
int |
getChapterNbr()
Returns the Chapter Number.
|
java.lang.String |
getChapterTitle()
Returns the Chapter Title
|
Section |
getFirstSection()
Returns the first Section within the Chapter.
|
Section |
getLastSection()
Returns the last Section within the Chapter.
|
int |
getMaxMObjSeq() |
int |
getMinMObjSeq() |
void |
setMaxMObjSeq(int maxMObjSeq) |
void |
setMinMObjSeq(int minMObjSeq) |
void |
storeNewSection(Section section)
Records the presence of a new Section with a Chapter.
|
java.lang.String |
toString()
Test code for creating diagnostics.
|
public Chapter(int chapterNbr, java.lang.String chapterTitle)
chapterNbr
- is assigned by BookManager.chapterTitle
- is the extracted descriptive title from the input
Metamath database or the default title (must be at least an
empty String!)public void storeNewSection(Section section)
section
- The new Section in the Chapter.public int getChapterNbr()
public java.lang.String getChapterTitle()
public Section getFirstSection()
public Section getLastSection()
Note: this may be the same as the first Section.
public int getMinMObjSeq()
public int getMaxMObjSeq()
public void setMinMObjSeq(int minMObjSeq)
public void setMaxMObjSeq(int maxMObjSeq)
public java.lang.String toString()
toString
in class java.lang.Object