|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--pnuts.lang.Context | +--pnuts.lang.ManualContext
This class represents a runtime context of the interpretation. When an exception is thrown during an evaluation with ManualContext, the exception is not caught by the interpreter and thrown out of the static method call of pnuts.lang.Pnuts class.
in Java: try { Pnuts.load(stream new ManualContext()); } catch (PnutsException e){ Throwable t = e.getThrowable(); ... }
Fields inherited from class pnuts.lang.Context |
beginLine,
defaultErrorStream,
defaultOutputStream,
defaultTerminalStream,
importEnv,
loadingResource |
Constructor Summary | |
ManualContext()
|
|
ManualContext(Package pkg)
|
|
ManualContext(java.lang.String pkg)
|
Methods inherited from class pnuts.lang.Context |
_getId,
clone,
defined,
get,
getCurrentPackage,
getErrorStream,
getId,
getName,
getOutputStream,
getTerminalStream,
set,
setErrorStream,
setErrorStream,
setName,
setOutputStream,
setOutputStream,
setTerminalStream,
setTerminalStream |
Methods inherited from class java.lang.Object |
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public ManualContext()
public ManualContext(java.lang.String pkg)
public ManualContext(Package pkg)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |