rero.gui.script
Class WindowOperators
java.lang.Object
rero.gui.script.WindowOperators
public class WindowOperators
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
session
protected IRCSession session
WindowOperators
public WindowOperators(IRCSession _session)
scriptLoaded
public void scriptLoaded(ScriptInstance script)
scriptUnloaded
public void scriptUnloaded(ScriptInstance script)
evaluate
public Scalar evaluate(String function,
ScriptInstance script,
Stack locals)
safeEvaluate
public void safeEvaluate(String function,
ScriptInstance script,
Stack locals)
decide
public boolean decide(String predicate,
ScriptInstance script,
Stack terms)