|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of ConsoleTif in nl.cwi.sen1.gui.plugin |
---|
Classes in nl.cwi.sen1.gui.plugin that implement ConsoleTif | |
---|---|
class |
Console
|
class |
ConsoleBridge
|
class |
ConsoleTool
|
Fields in nl.cwi.sen1.gui.plugin declared as ConsoleTif | |
---|---|
private ConsoleTif |
ConsoleBridge.tool
|
Constructors in nl.cwi.sen1.gui.plugin with parameters of type ConsoleTif | |
---|---|
ConsoleBridge(aterm.ATermFactory factory,
ConsoleTif tool)
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |