public class ProofAsstCursor
extends java.lang.Object
Constructor and Description |
---|
ProofAsstCursor()
Default constructor.
|
ProofAsstCursor(int caretCharNbr,
int caretLine,
int caretCol) |
ProofAsstCursor(ProofWorkStmt proofWorkStmt) |
ProofAsstCursor(ProofWorkStmt proofWorkStmt,
int fieldId) |
Modifier and Type | Method and Description |
---|---|
static ProofAsstCursor |
makeProofStartCursor() |
ProofAsstException |
outputCursorInstrumentation(java.lang.String theoremLabel) |
void |
setCursor(int caretCharNbr,
int caretLine,
int caretCol) |
void |
setCursorAtCaret(int caretCharNbr,
int caretLine,
int caretCol) |
void |
setCursorAtProofWorkStmt(ProofWorkStmt proofWorkStmt) |
void |
setCursorAtProofWorkStmt(ProofWorkStmt proofWorkStmt,
int fieldId) |
public ProofAsstCursor()
public ProofAsstCursor(int caretCharNbr, int caretLine, int caretCol)
public ProofAsstCursor(ProofWorkStmt proofWorkStmt)
public ProofAsstCursor(ProofWorkStmt proofWorkStmt, int fieldId)
public static ProofAsstCursor makeProofStartCursor()
public void setCursorAtProofWorkStmt(ProofWorkStmt proofWorkStmt)
public void setCursorAtProofWorkStmt(ProofWorkStmt proofWorkStmt, int fieldId)
public void setCursorAtCaret(int caretCharNbr, int caretLine, int caretCol)
public void setCursor(int caretCharNbr, int caretLine, int caretCol)
public ProofAsstException outputCursorInstrumentation(java.lang.String theoremLabel)