MjLauncher (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.multijava.launcher
Class MjLauncher

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

public class MjLauncher
extends Launcher

A launcher for the Multijava tools

Version:: $Revision: 1.10 $
Author:: Kristina Boysen

Nested Class Summary

Nested classes inherited from class org.multijava.launcher.Launcher

Launcher.ToolIterator, Launcher.ToolIteratorPair

Field Summary

private String[] args
          The arguments to be used by these tools

private Launcher.ToolIterator iterator
          The iterator that cycles through all of the tool names and launchers for the MJ tools

private String LOGO_NAME
          The path to the logo

Fields inherited from class org.multijava.launcher.Launcher

impLauncher

Constructor Summary

MjLauncher(String name, String[] args)
          Constructor for the MjLauncher

Method Summary

private Launcher.ToolIterator createToolIterator()
          Builds the iterator that contains the tool description and the AbstractLaunchTool that can access the tool

protected Launcher.ToolIterator getTools()
          Returns the iterator that contains the tool description and the AbstractLaunchTool that can access the tool

static void main(String[] args)
          Main method for running the MjLauncher

Methods inherited from class org.multijava.launcher.Launcher

getImpLauncher

Methods inherited from class java.lang.Object

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

Field Detail

args

private String[] args

The arguments to be used by these tools

iterator

private Launcher.ToolIterator iterator

The iterator that cycles through all of the tool names and launchers for the MJ tools

LOGO_NAME

private String LOGO_NAME

The path to the logo

Constructor Detail

MjLauncher

public MjLauncher(String name,
                  String[] args)

Constructor for the MjLauncher

Method Detail

main

public static void main(String[] args)

Main method for running the MjLauncher

getTools

protected Launcher.ToolIterator getTools()

Returns the iterator that contains the tool description and the AbstractLaunchTool that can access the tool

createToolIterator

private Launcher.ToolIterator createToolIterator()

Builds the iterator that contains the tool description and the AbstractLaunchTool that can access the tool