public class Environment
extends java.lang.Object
Constructor and Description |
---|
Environment() |
Modifier and Type | Method and Description |
---|---|
void |
error(java.lang.String message) |
void |
failure(java.lang.String message) |
ContextManager |
getContextManager() |
ExecutionManager |
getExecutionManager() |
MonitorListModel |
getMonitorListModel() |
OutputSink |
getOutputSink() |
SourceManager |
getSourceManager() |
boolean |
getVerboseFlag() |
void |
notice(java.lang.String message) |
void |
setTypeScript(java.io.PrintWriter writer) |
void |
setVerboseFlag(boolean verbose) |
void |
terminate() |
public SourceManager getSourceManager()
public ContextManager getContextManager()
public ExecutionManager getExecutionManager()
public MonitorListModel getMonitorListModel()
public void terminate()
public void setTypeScript(java.io.PrintWriter writer)
public void error(java.lang.String message)
public void failure(java.lang.String message)
public void notice(java.lang.String message)
public OutputSink getOutputSink()
public boolean getVerboseFlag()
public void setVerboseFlag(boolean verbose)