Overview
Package
Class
Use
Tree
Deprecated
Index
Help
The Meta-Environment API
PREV NEXT
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
L
M
N
P
R
S
T
U
V
_
A
AbstractModuleTreeModel
- Class in
nl.cwi.sen1.gui.plugin.data
AbstractModuleTreeModel()
- Constructor for class nl.cwi.sen1.gui.plugin.data.
AbstractModuleTreeModel
add(E)
- Method in class nl.cwi.sen1.gui.plugin.data.
ListModel
addAll(Collection<? extends E>)
- Method in class nl.cwi.sen1.gui.plugin.data.
ListModel
addChild(String)
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
addChild(ATerm, String, File)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
addModule(Module)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
addModuleSelectionListener(ModuleSelectionListener)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
addMouseListener(MouseListener)
- Method in class nl.cwi.sen1.gui.plugin.
ModuleTree
addNavigatorComponent()
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
addParent(String)
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
addSelectionPaths(TreePath[])
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleSelectionModel
addTreeModelListener(TreeModelListener)
- Method in class nl.cwi.sen1.gui.plugin.data.
AbstractModuleTreeModel
B
bridge
- Variable in class nl.cwi.sen1.gui.plugin.
Navigator
C
checkInputSignature(ATermList)
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorTool
childListModel
- Variable in class nl.cwi.sen1.gui.plugin.data.
Module
children
- Variable in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
clearChildren()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
clearModules()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
compareTo(Module)
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
configFactory
- Variable in class nl.cwi.sen1.gui.plugin.
Navigator
contains(Object)
- Method in class nl.cwi.sen1.gui.plugin.data.
ListModel
createEventId(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
createModel()
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
createOverlayIcon(ImageIcon, ImageIcon)
- Method in class nl.cwi.sen1.gui.plugin.
ModuleTree
D
deleteModule(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
deleteModule(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorBridge
deleteModule(ATerm)
- Method in interface nl.cwi.sen1.gui.plugin.
NavigatorTif
documentIcon
- Variable in class nl.cwi.sen1.gui.plugin.
ModuleTree.TreeIconCellRenderer
E
elementAdded()
- Method in class nl.cwi.sen1.gui.plugin.data.
ListModel
error
- Variable in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
errorDocumentIcon
- Variable in class nl.cwi.sen1.gui.plugin.
ModuleTree.TreeIconCellRenderer
errorFolderIcon
- Variable in class nl.cwi.sen1.gui.plugin.
ModuleTree.TreeIconCellRenderer
expansionState
- Variable in class nl.cwi.sen1.gui.plugin.
ModuleTree
F
fetchChildIterator()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
fetchChildListModel()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
fetchChildrenArray()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
fetchParentIterator()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
fetchParentListModel()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
filtered(TreePath[])
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleSelectionModel
fireTreeNodesChanged(TreeModelEvent)
- Method in class nl.cwi.sen1.gui.plugin.data.
AbstractModuleTreeModel
fireTreeNodesInserted(TreeModelEvent)
- Method in class nl.cwi.sen1.gui.plugin.data.
AbstractModuleTreeModel
fireTreeNodesRemoved(TreeModelEvent)
- Method in class nl.cwi.sen1.gui.plugin.data.
AbstractModuleTreeModel
fireTreeStructureChanged(TreeModelEvent)
- Method in class nl.cwi.sen1.gui.plugin.data.
AbstractModuleTreeModel
folderIcon
- Variable in class nl.cwi.sen1.gui.plugin.
ModuleTree.TreeIconCellRenderer
G
getAbbreviation()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
getChild(Object, int)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
getChild(int)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
getChild(String)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
getChildCount(Object)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
getChildCount()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
getChildren()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
getCurrentModule()
- Method in class nl.cwi.sen1.gui.plugin.
ModuleTree
getElementAt(int)
- Method in class nl.cwi.sen1.gui.plugin.data.
ListModel
getFile()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
getFullName()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
getId()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
getId()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
getIndexOfChild(Object, Object)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
getIndexOfChild(ModuleTreeNode)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
getInsertIndex(String)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
getLeafChild(String)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
getModule(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
getModules()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
getName()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
getName()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
getName()
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
getNodeChild(String)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
getParents()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
getRoot()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
getSize()
- Method in class nl.cwi.sen1.gui.plugin.data.
ListModel
getState()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
getTreeCellRendererComponent(JTree, Object, boolean, boolean, boolean, int, boolean)
- Method in class nl.cwi.sen1.gui.plugin.
ModuleTree.TreeIconCellRenderer
graphFactory
- Variable in class nl.cwi.sen1.gui.plugin.
Navigator
H
handler(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorTool
hasError()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
I
id
- Variable in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
initChildList()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
initParentList()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
initPatterns()
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorTool
initSigTable()
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorTool
initStudioPlugin(Studio)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
ioFactory
- Variable in class nl.cwi.sen1.gui.plugin.
Navigator
isLeaf(Object)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
isLeaf()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
isSelectable(TreePath)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleSelectionModel
iterator()
- Method in class nl.cwi.sen1.gui.plugin.data.
ListModel
L
leaf
- Variable in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
list
- Variable in class nl.cwi.sen1.gui.plugin.data.
ListModel
listeners
- Variable in class nl.cwi.sen1.gui.plugin.data.
AbstractModuleTreeModel
ListModel
<
E
> - Class in
nl.cwi.sen1.gui.plugin.data
ListModel(List<E>)
- Constructor for class nl.cwi.sen1.gui.plugin.data.
ListModel
loadExpansionState()
- Method in class nl.cwi.sen1.gui.plugin.
ModuleTree
M
makePath(File)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
makePath(SegmentList, List<ModuleTreeNode>)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
makeTreePath(File)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
manager
- Variable in class nl.cwi.sen1.gui.plugin.
ModuleTree
markError(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
markModuleError(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
markModuleError(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorBridge
markModuleError(ATerm)
- Method in interface nl.cwi.sen1.gui.plugin.
NavigatorTif
markModuleNormal(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
markModuleNormal(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorBridge
markModuleNormal(ATerm)
- Method in interface nl.cwi.sen1.gui.plugin.
NavigatorTif
markNormal(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
Module
- Class in
nl.cwi.sen1.gui.plugin.data
Module(ATerm, File, String)
- Constructor for class nl.cwi.sen1.gui.plugin.data.
Module
moduleModel
- Variable in class nl.cwi.sen1.gui.plugin.
Navigator
moduleSelected(Module)
- Method in interface nl.cwi.sen1.gui.plugin.data.
ModuleSelectionListener
ModuleSelectionListener
- Interface in
nl.cwi.sen1.gui.plugin.data
moduleSelectionListeners
- Variable in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
ModuleSelectionModel
- Class in
nl.cwi.sen1.gui.plugin.data
ModuleSelectionModel()
- Constructor for class nl.cwi.sen1.gui.plugin.data.
ModuleSelectionModel
moduleTable
- Variable in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
ModuleTree
- Class in
nl.cwi.sen1.gui.plugin
ModuleTree(Navigator, ModuleTreeModel)
- Constructor for class nl.cwi.sen1.gui.plugin.
ModuleTree
ModuleTree.TreeIconCellRenderer
- Class in
nl.cwi.sen1.gui.plugin
ModuleTree.TreeIconCellRenderer(Icon, Icon, Icon, Icon)
- Constructor for class nl.cwi.sen1.gui.plugin.
ModuleTree.TreeIconCellRenderer
ModuleTreeModel
- Class in
nl.cwi.sen1.gui.plugin.data
ModuleTreeModel()
- Constructor for class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
ModuleTreeNode
- Class in
nl.cwi.sen1.gui.plugin.data
ModuleTreeNode(ATerm, String, String, boolean)
- Constructor for class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
N
name
- Variable in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
Navigator
- Class in
nl.cwi.sen1.gui.plugin
Navigator()
- Constructor for class nl.cwi.sen1.gui.plugin.
Navigator
NavigatorBridge
- Class in
nl.cwi.sen1.gui.plugin
NavigatorBridge(ATermFactory, NavigatorTif)
- Constructor for class nl.cwi.sen1.gui.plugin.
NavigatorBridge
navigatorComponent
- Variable in class nl.cwi.sen1.gui.plugin.
Navigator
NavigatorTif
- Interface in
nl.cwi.sen1.gui.plugin
NavigatorTool
- Class in
nl.cwi.sen1.gui.plugin
NavigatorTool(ATermFactory)
- Constructor for class nl.cwi.sen1.gui.plugin.
NavigatorTool
nl.cwi.sen1.gui.plugin
- package nl.cwi.sen1.gui.plugin
nl.cwi.sen1.gui.plugin.data
- package nl.cwi.sen1.gui.plugin.data
notInInputSignature(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorTool
P
parentListModel
- Variable in class nl.cwi.sen1.gui.plugin.data.
Module
PdeleteModule0
- Variable in class nl.cwi.sen1.gui.plugin.
NavigatorTool
PmarkModuleError0
- Variable in class nl.cwi.sen1.gui.plugin.
NavigatorTool
PmarkModuleNormal0
- Variable in class nl.cwi.sen1.gui.plugin.
NavigatorTool
postPopupRequest(MouseEvent, Module)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
PrecAckEvent0
- Variable in class nl.cwi.sen1.gui.plugin.
NavigatorTool
PrecTerminate0
- Variable in class nl.cwi.sen1.gui.plugin.
NavigatorTool
prefix
- Variable in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
PselectModule0
- Variable in class nl.cwi.sen1.gui.plugin.
NavigatorTool
PshowPopup0
- Variable in class nl.cwi.sen1.gui.plugin.
NavigatorTool
PupdateModule0
- Variable in class nl.cwi.sen1.gui.plugin.
NavigatorTool
R
recAckEvent(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
recAckEvent(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorBridge
recAckEvent(ATerm)
- Method in interface nl.cwi.sen1.gui.plugin.
NavigatorTif
recTerminate(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
recTerminate(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorBridge
recTerminate(ATerm)
- Method in interface nl.cwi.sen1.gui.plugin.
NavigatorTif
remove(Object)
- Method in class nl.cwi.sen1.gui.plugin.data.
ListModel
removeAll(Collection<?>)
- Method in class nl.cwi.sen1.gui.plugin.data.
ListModel
removeChild(File)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
removeChild(SegmentList)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
removeModule(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
removeTreeModelListener(TreeModelListener)
- Method in class nl.cwi.sen1.gui.plugin.data.
AbstractModuleTreeModel
repaintTree()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
root
- Variable in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
S
saveExpansionState()
- Method in class nl.cwi.sen1.gui.plugin.
ModuleTree
selectModule(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
selectModule(Module)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
selectModule(int, int)
- Method in class nl.cwi.sen1.gui.plugin.
ModuleTree
selectModule(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
selectModule(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorBridge
selectModule(ATerm)
- Method in interface nl.cwi.sen1.gui.plugin.
NavigatorTif
setErrorState(File, boolean)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
setErrorState(SegmentList, boolean)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
setFile(File)
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
setId(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
setList(List<E>)
- Method in class nl.cwi.sen1.gui.plugin.data.
ListModel
setModules(ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
setName(String)
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
setSelectionPaths(TreePath[])
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleSelectionModel
setState(int)
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
showPopup(ATerm, ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
showPopup(ATerm, ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorBridge
showPopup(ATerm, ATerm)
- Method in interface nl.cwi.sen1.gui.plugin.
NavigatorTif
sigTable
- Variable in class nl.cwi.sen1.gui.plugin.
NavigatorTool
State
- Variable in class nl.cwi.sen1.gui.plugin.data.
Module
STATE_NEW
- Static variable in class nl.cwi.sen1.gui.plugin.data.
Module
STATE_NORMAL
- Static variable in class nl.cwi.sen1.gui.plugin.data.
Module
status
- Variable in class nl.cwi.sen1.gui.plugin.
Navigator
statusBarComponents
- Variable in class nl.cwi.sen1.gui.plugin.
Navigator
studio
- Variable in class nl.cwi.sen1.gui.plugin.
Navigator
suspendSelectionNotification
- Variable in class nl.cwi.sen1.gui.plugin.
Navigator
T
tool
- Variable in class nl.cwi.sen1.gui.plugin.
NavigatorBridge
TOOL_NAME
- Static variable in class nl.cwi.sen1.gui.plugin.
Navigator
toString()
- Method in class nl.cwi.sen1.gui.plugin.data.
ListModel
toString()
- Method in class nl.cwi.sen1.gui.plugin.data.
Module
toString()
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeNode
tree
- Variable in class nl.cwi.sen1.gui.plugin.
ModuleTree
tree
- Variable in class nl.cwi.sen1.gui.plugin.
Navigator
U
updateModule(ATerm, ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
Navigator
updateModule(ATerm, ATerm)
- Method in class nl.cwi.sen1.gui.plugin.
NavigatorBridge
updateModule(ATerm, ATerm)
- Method in interface nl.cwi.sen1.gui.plugin.
NavigatorTif
V
valueForPathChanged(TreePath, Object)
- Method in class nl.cwi.sen1.gui.plugin.data.
ModuleTreeModel
_
_child
- Variable in class nl.cwi.sen1.gui.plugin.data.
Module
_file
- Variable in class nl.cwi.sen1.gui.plugin.data.
Module
_id
- Variable in class nl.cwi.sen1.gui.plugin.data.
Module
_name
- Variable in class nl.cwi.sen1.gui.plugin.data.
Module
_parent
- Variable in class nl.cwi.sen1.gui.plugin.data.
Module
A
B
C
D
E
F
G
H
I
L
M
N
P
R
S
T
U
V
_
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
The Meta-Environment API
PREV NEXT
FRAMES
NO FRAMES
All Classes