org.multijava.launcher
Class Launcher

java.lang.Object
  org.multijava.launcher.Launcher

Direct Known Subclasses:

JmlLauncher, MjLauncher

public abstract class Launcher

extends Object

The superclass for all of the tool set definitions

Version:

$Revision: 1.9 $

Author:

Kristina Boysen

Nested Class Summary
protected static class	Launcher.ToolIterator           The Iterator that uses an ArrayList to cycle through Hashtables that hold the tool descriptions and AbstractToolLaunchers to enable the launchers to run the various tools.
protected static class	Launcher.ToolIteratorPair           Collects the name of the tool and the launcher of the tool into a mapping that can be accessed by outside classes because of the common interface

 

Field Summary
protected  ImpLauncher	impLauncher           Keeps an instance of the ImpLauncher class so it can "bridge" the abstraction of the various tool launchers to the implementation of how they are displayed.

 

Constructor Summary

Launcher()

 

Method Summary
protected  ImpLauncher	getImpLauncher(String name, String logoName)           Returns a Singleton instance of the ToolLauncher
protected abstract  Launcher.ToolIterator	getTools()           Returns the Iterator that cycles through the tool descriptions and AbstractToolLaunchers

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

impLauncher

protected ImpLauncher impLauncher

Keeps an instance of the ImpLauncher class so it can "bridge" the abstraction of the various tool launchers to the implementation of how they are displayed.

Launcher

public Launcher()

getImpLauncher

protected ImpLauncher getImpLauncher(String name,
                                     String logoName)

Returns a Singleton instance of the ToolLauncher

getTools

protected abstract Launcher.ToolIterator getTools()

Returns the Iterator that cycles through the tool descriptions and AbstractToolLaunchers