fmrisc.ProofNavigator
Class Util

java.lang.Object
  extended by fmrisc.ProofNavigator.Util

public final class Util
extends java.lang.Object

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

Util

public Util()
Method Detail

setLexer

public static void setLexer(PNLexer lexer)
set lexer used by proof navigator

Parameters:
lexer - used by the proof navigator

getLexer

public static PNLexer getLexer()
get lexer used by proof navigator

Returns:
lexer used by proof navigator

setError

public static void setError(java.lang.String error)
set error message, does not override previously set message

Parameters:
error - the error message

resetError

public static void resetError()
reset error message


getError

public static java.lang.String getError()
get error message set

Returns:
the error message (null if none set)

getEnvironment

public static Environment getEnvironment()
get environment used by proof navigator

Returns:
environment used by proof navigator

getContext

public static Context getContext()
get context used by proof navigator

Returns:
context used by proof navigator

getCVCL

public static CVCL getCVCL()
get CVCL interface

Returns:
CVCL interface