public class BlockList
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
boolean |
marked |
Constructor and Description |
---|
BlockList() |
Modifier and Type | Method and Description |
---|---|
void |
addBlock(java.lang.String block) |
int |
getIndex() |
int |
getNext(java.lang.String theoremLabel) |
boolean |
isEmpty() |
java.lang.String |
toString() |
public int getIndex()
public void addBlock(java.lang.String block)
public int getNext(java.lang.String theoremLabel) throws LangException
LangException
public boolean isEmpty()
public java.lang.String toString()
toString
in class java.lang.Object