JML

org.jmlspecs.racwrap.runner
Class Main

java.lang.Object
  extended byorg.jmlspecs.racwrap.runner.Main
All Implemented Interfaces:
ActionListener, EventListener

public class Main
extends Object
implements ActionListener


Field Summary
private  String[] args
           
private  ClassLoader loader
           
private  String name
           
private  boolean running
           
 
Constructor Summary
Main(String name, String[] args, ClassLoader loader)
           
 
Method Summary
 void actionPerformed(ActionEvent e)
           
static Properties getProperties()
          Get properties from the default properties file.
static Properties getProperties(String filename)
          Get properties from a specific properties file
private  boolean lockRunning()
           
static void main(String[] args)
           
 void runProgram()
           
 void runProgram(String name, String[] args, ClassLoader loader)
          Run the program
private  void unlockRunning()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

name

private String name

args

private String[] args

loader

private ClassLoader loader

running

private boolean running
Constructor Detail

Main

public Main(String name,
            String[] args,
            ClassLoader loader)
Method Detail

main

public static void main(String[] args)
                 throws Exception
Throws:
Exception

getProperties

public static Properties getProperties()
Get properties from the default properties file.


getProperties

public static Properties getProperties(String filename)
Get properties from a specific properties file


runProgram

public void runProgram(String name,
                       String[] args,
                       ClassLoader loader)
                throws Exception
Run the program

Throws:
Exception

runProgram

public void runProgram()
                throws Exception
Throws:
Exception

actionPerformed

public void actionPerformed(ActionEvent e)
Specified by:
actionPerformed in interface ActionListener

lockRunning

private boolean lockRunning()

unlockRunning

private void unlockRunning()

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.