A C D E F G H I J L M N O P R S T U W

A

actionChosen() - Method in interface ic.doc.extension.Animator

return the action number in AllNames of the last action chosen and executed

actionNameChosen() - Method in interface ic.doc.extension.Animator

return the action name of the last action chosen and executed

addAsTab() - Method in class ic.doc.extension.LTSAPlugin

addMenuItems() - Method in class ic.doc.extension.LTSAPlugin

You can add menu items to menus that already exist in LTSA, or create entire new menus.

addMenusToMenuBar() - Method in class ic.doc.extension.LTSAPlugin

Deprecated. The option to add entire menus has been discontinued - use addMenuItems() instead. It is possible to add new menus to the existing LSTA menubar, implementing the menu in the plugin.

addToolbarButtons() - Method in class ic.doc.extension.LTSAPlugin

analyseCurrentState() - Method in interface ic.doc.extension.LTSA

Animator - interface ic.doc.extension.Animator.

C

compileNoClear() - Method in interface ic.doc.extension.LTSA

composeCurrentState() - Method in interface ic.doc.extension.LTSA

copy() - Method in class ic.doc.extension.LTSAPlugin

Override this method to implement a copy handler for your plugin.

cut() - Method in class ic.doc.extension.LTSAPlugin

Override this method to implement a cut handler for your plugin.

D

debugOn - Variable in class ic.doc.extension.JarResources

E

enumerateResources() - Method in class ic.doc.extension.JarClassLoader

enumerateResources() - Method in class ic.doc.extension.JarResources

Exportable - interface ic.doc.extension.Exportable.

exportGraphic(Exportable) - Method in interface ic.doc.extension.LTSA

F

fileDraw(Graphics) - Method in interface ic.doc.extension.Exportable

Draw the contents of this component with this graphics context.

formatClassName(String) - Method in class ic.doc.extension.MultiClassLoader

G

getAlignmentY() - Method in class ic.doc.extension.LTSAButton

This method overrides a method in JButton to specify alignment.

getAllNames() - Method in interface ic.doc.extension.Animator

getAnimator() - Method in interface ic.doc.extension.LTSA

getComponent() - Method in class ic.doc.extension.LTSAPlugin

getCurrentDirectory() - Method in interface ic.doc.extension.LTSA

getCurrentStateErrorTrace() - Method in interface ic.doc.extension.LTSA

getFileExtension() - Method in class ic.doc.extension.LTSAPlugin

If you want to define a particular file extension to look for when loading and saving files from your plugin, return that extension from this method, and it will be used in the filechooser.

getInputPane() - Method in interface ic.doc.extension.LTSA

getLTSA() - Method in class ic.doc.extension.LTSAPlugin

getLTSNames() - Method in interface ic.doc.extension.LTSA

getMenuBar() - Method in class ic.doc.extension.LTSAPlugin

Deprecated. The option to provide your own menubar has been discontinued - use addMenuItems() instead. To make LTSA switch to a new menubar when the pluign is selected, override this method to return a fully constructed JMenuBar.

getMenuItems() - Method in class ic.doc.extension.LTSAPlugin

This method should return a Map of menu items to add to the LTSA menus.

getMenuNames() - Method in interface ic.doc.extension.Animator

getMenuNames() - Method in interface ic.doc.extension.WebAnimator

getMenus() - Method in class ic.doc.extension.LTSAPlugin

Deprecated. The option to add entire menus has been discontinued - use addMenuItems() instead. To add menus to the existing menubar, override this method to return a java.util.List of JMenus. The menus should be implemented inside the plugin and will be hooked onto the existing menubar. Menus are only added when LTSA loads the plugin, so changing the contents of this list at a later time will have no effect on the menubar. This method will not be called unless addMenusToMenuBar() returns true.

getName() - Method in class ic.doc.extension.LTSAPlugin

A name needs to be given to a plugin so that it can be identified.

getPlugin(String) - Method in class ic.doc.extension.PluginManager

getPluginIterator() - Method in class ic.doc.extension.PluginManager

getPluginNameIterator() - Method in class ic.doc.extension.PluginManager

getPriority() - Method in interface ic.doc.extension.Animator

returns true if priority actions are low priority flase if they are low priority

getPriorityActions() - Method in interface ic.doc.extension.Animator

returns the bitset of menu actions with higher/lower priority

getResource(String) - Method in class ic.doc.extension.JarResources

Extracts a jar resource as a blob.

getToolbarButtons() - Method in class ic.doc.extension.LTSAPlugin

Buttons for the LTSA toolbar together with their associated actions can be created using the LTSAButton class.

getUndoManager() - Method in interface ic.doc.extension.LTSA

H

hasErrorTrace() - Method in interface ic.doc.extension.Animator

I

ic.doc.extension - package ic.doc.extension

Initialisable - interface ic.doc.extension.Initialisable.

initialise() - Method in class ic.doc.extension.LTSAPlugin

Because the constructor of this abstract class will be called by the extension mechanism, other constructors defined in subclasses will not be called.

initialise(Object[]) - Method in interface ic.doc.extension.Initialisable

initialise(Vector) - Method in interface ic.doc.extension.Animator

initialises the Animator with the list of actions that are to be controlled menu is a vector of strings returns bitset of eligible menu actions

initialise(Vector) - Method in interface ic.doc.extension.WebAnimator

invalidateState() - Method in interface ic.doc.extension.LTSA

inverse() - Method in class ic.doc.extension.Relation

isCurrentStateComposed() - Method in interface ic.doc.extension.LTSA

isCurrentStateNull() - Method in interface ic.doc.extension.LTSA

isEnd() - Method in interface ic.doc.extension.Animator

return true if END state has been reached

isError() - Method in interface ic.doc.extension.Animator

return true if error state has been reached

isError() - Method in interface ic.doc.extension.WebAnimator

isRelation() - Method in class ic.doc.extension.Relation

J

JarClassLoader - class ic.doc.extension.JarClassLoader.

JarClassLoader provides a minimalistic ClassLoader which shows how to instantiate a class which resides in a .jar file.

JarClassLoader(String) - Constructor for class ic.doc.extension.JarClassLoader

JarResources - class ic.doc.extension.JarResources.

JarResources: JarResources maps all resources included in a Zip or Jar file.

JarResources(String) - Constructor for class ic.doc.extension.JarResources

creates a JarResources.

L

loadClass(String) - Method in class ic.doc.extension.MultiClassLoader

This is a simple version for external clients since they will always want the class resolved before it is returned to them.

loadClass(String, boolean) - Method in class ic.doc.extension.MultiClassLoader

loadClassBytes(String) - Method in class ic.doc.extension.JarClassLoader

loadClassBytes(String) - Method in class ic.doc.extension.MultiClassLoader

LTSA - interface ic.doc.extension.LTSA.

LTSAButton - class ic.doc.extension.LTSAButton.

LTSAButton(ImageIcon, String, ActionListener) - Constructor for class ic.doc.extension.LTSAButton

The constructor takes and icon, some tooltip text and an ActionListener to respond to events triggered by this button being pressed.

LTSAPlugin - class ic.doc.extension.LTSAPlugin.

LTSAPlugin() - Constructor for class ic.doc.extension.LTSAPlugin

Default constructor

LTSAPlugin(LTSA) - Constructor for class ic.doc.extension.LTSAPlugin

This constructor is called by the extension mechanism.

M

main(String[]) - Static method in class ic.doc.extension.JarResources

Is a test driver.

menuStep(int) - Method in interface ic.doc.extension.Animator

causes the Animator to take a single step by choosing one of the eligible menu actions returns a bitset of eligible menu actions

menuStep(int) - Method in interface ic.doc.extension.WebAnimator

message(String) - Method in interface ic.doc.extension.Animator

monitor(String) - Method in class ic.doc.extension.MultiClassLoader

monitorOn - Variable in class ic.doc.extension.MultiClassLoader

MultiClassLoader - class ic.doc.extension.MultiClassLoader.

A simple test class loader capable of loading from multiple sources, such as local files or a URL.

MultiClassLoader() - Constructor for class ic.doc.extension.MultiClassLoader

N

newFile() - Method in class ic.doc.extension.LTSAPlugin

If you have overridden providesNewFile() to return true, this method will be called when New File is selected in the LTSA GUI.

nonMenuChoice() - Method in interface ic.doc.extension.Animator

returns true if there is an eligible action that is not a menu action

O

openFile(File) - Method in class ic.doc.extension.LTSAPlugin

If you have overridden providesOpenFile() to return true, this method will be called when a file is opened using the filechooser in the LTSA GUI.

P

parse() - Method in interface ic.doc.extension.LTSA

paste() - Method in class ic.doc.extension.LTSAPlugin

Override this method to implement a paste handler for your plugin.

PluginManager - class ic.doc.extension.PluginManager.

PluginManager(LTSA) - Constructor for class ic.doc.extension.PluginManager

postCurrentState() - Method in interface ic.doc.extension.LTSA

print(String) - Static method in class ic.doc.extension.MultiClassLoader

providesCopy() - Method in class ic.doc.extension.LTSAPlugin

As with Open, Save and New, you can provide handlers for Cut, Copy and Paste to be triggered by the corresponding buttons on the LTSA toolbar.

providesCut() - Method in class ic.doc.extension.LTSAPlugin

As with Open, Save and New, you can provide handlers for Cut, Copy and Paste to be triggered by the corresponding buttons on the LTSA toolbar.

providesNewFile() - Method in class ic.doc.extension.LTSAPlugin

You can write a handler to be triggered when the New File button or menu item is clicked in the LTSA GUI.

providesOpenFile() - Method in class ic.doc.extension.LTSAPlugin

You can write a handler to be triggered when the File Open button or menu item is clicked in the LTSA GUI.

providesPaste() - Method in class ic.doc.extension.LTSAPlugin

As with Open, Save and New, you can provide handlers for Cut, Copy and Paste to be triggered by the corresponding buttons on the LTSA toolbar.

providesSaveFile() - Method in class ic.doc.extension.LTSAPlugin

You can write a handler to be triggered when the File Save button or menu item is clicked in the LTSA GUI.

put(Object, Object) - Method in class ic.doc.extension.Relation

putValues(Object, Object) - Method in class ic.doc.extension.Relation

R

relabel(Relation) - Method in class ic.doc.extension.Relation

Relation - class ic.doc.extension.Relation.

Relation() - Constructor for class ic.doc.extension.Relation

S

saveFile(FileOutputStream) - Method in class ic.doc.extension.LTSAPlugin

If you have overridden providesSaveFile() to return true, this method will be called when a file is saved using the filechooser in the LTSA GUI.

setClassNameReplacementChar(char) - Method in class ic.doc.extension.MultiClassLoader

This optional call allows a class name such as "COM.test.Hello" to be changed to "COM_test_Hello", which is useful for storing classes from different packages in the same retrival directory.

setCurrentDirectory(String) - Method in interface ic.doc.extension.LTSA

setTargetChoice(String) - Method in interface ic.doc.extension.LTSA

showOutput() - Method in interface ic.doc.extension.LTSA

singleStep() - Method in interface ic.doc.extension.Animator

causes the Animator to take a single step by choosing one of the eligible non-menu actions

sourceMonitorOn - Variable in class ic.doc.extension.MultiClassLoader

swapto(String) - Method in interface ic.doc.extension.LTSA

T

traceChoice() - Method in interface ic.doc.extension.Animator

traceStep() - Method in interface ic.doc.extension.Animator

U

union(Relation) - Method in class ic.doc.extension.Relation

updateDoState() - Method in interface ic.doc.extension.LTSA

useOwnMenuBar() - Method in class ic.doc.extension.LTSAPlugin

Deprecated. The option to provide your own menubar has been discontinued - use addMenuItems() instead. It is possible for a plugin to provide its own menu bar. The menubar should be implemented inside the plugin. When the tab corresponding to the plugin is selected in the main LTSA user interface, the menubar will switch to that provided by that plugin.

W

WebAnimator - interface ic.doc.extension.WebAnimator.

A C D E F G H I J L M N O P R S T U W