|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfmrisc.ProofNavigator.Util
public final class Util
Utilities for the proof navigator.
Constructor Summary | |
---|---|
Util()
|
Method Summary | |
---|---|
static Context |
getContext()
get context used by proof navigator |
static CVCL |
getCVCL()
get CVCL interface |
static Environment |
getEnvironment()
get environment used by proof navigator |
static java.lang.String |
getError()
get error message set |
static PNLexer |
getLexer()
get lexer used by proof navigator |
static void |
resetError()
reset error message |
static void |
setError(java.lang.String error)
set error message, does not override previously set message |
static void |
setLexer(PNLexer lexer)
set lexer used by proof navigator |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Util()
Method Detail |
---|
public static void setLexer(PNLexer lexer)
lexer
- used by the proof navigatorpublic static PNLexer getLexer()
public static void setError(java.lang.String error)
error
- the error messagepublic static void resetError()
public static java.lang.String getError()
public static Environment getEnvironment()
public static Context getContext()
public static CVCL getCVCL()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |