public class SwingJSTerm extends Object
Constructor and Description |
---|
SwingJSTerm(SegmentationController controls) |
Modifier and Type | Method and Description |
---|---|
void |
addClasses() |
void |
addReadyObserver(ReadyObserver observer) |
void |
appendToDisplay(String text) |
void |
echo(Object o) |
void |
evaluateHeadless(String s) |
static void |
main(String[] args) |
void |
showTerminal() |
void |
submit() |
public SwingJSTerm(SegmentationController controls)
public void appendToDisplay(String text)
public void addClasses() throws ScriptException
ScriptException
public void echo(Object o)
public void submit()
public void showTerminal()
public void evaluateHeadless(String s)
public static void main(String[] args)
public void addReadyObserver(ReadyObserver observer)
Copyright © 2013–2022 Francis Crick Institute. All rights reserved.