pnuts.lang
Class ManualContext

java.lang.Object
  |
  +--pnuts.lang.Context
        |
        +--pnuts.lang.ManualContext

public class ManualContext
extends Context

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();
      ...
   }
 

Since:
Pnuts 1.0beta3

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

ManualContext

public ManualContext()

ManualContext

public ManualContext(java.lang.String pkg)

ManualContext

public ManualContext(Package pkg)