FullLauncher.OpenHandler (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 FullLauncher.OpenHandler

java.lang.Object
  org.multijava.util.gui.AbstractOpenHandler
      org.multijava.launcher.FullLauncher.OpenHandler

All Implemented Interfaces:: ActionListener, EventListener

Enclosing class:: FullLauncher

private class FullLauncher.OpenHandler
extends org.multijava.util.gui.AbstractOpenHandler

Handles the selection of files in an open file window

Nested Class Summary

Nested classes inherited from class org.multijava.util.gui.AbstractOpenHandler

Constructor Summary

protected FullLauncher.OpenHandler()
          Constructs the "Open File" dialog

Method Summary

protected String getCurrentDirectory()
          Returns the starting directory preferred by the user

protected JList getFileList()
          Returns the list of files that the tool is going to process

protected void setDirectory(String file)
          Set current directory location to last location accessed

Methods inherited from class org.multijava.util.gui.AbstractOpenHandler

actionPerformed, createFileChooser

Methods inherited from class java.lang.Object

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

Constructor Detail