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
ScriptExceptionpublic 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.