JML

org.jmlspecs.racwrap.runner
Class Runner

java.lang.Object
  extended byorg.jmlspecs.racwrap.runner.Runner

public class Runner
extends Object


Field Summary
private  boolean check
           
private  ClassLoader cloader
           
private  String name
           
private  String[] prog_args
           
 
Constructor Summary
Runner(String name, String[] prog_args, boolean check)
           
 
Method Summary
static Vector getClasspaths()
           
static void main(String[] args)
           
 void run()
           
static String[] toArray(Vector v)
           
static void usage()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

name

private String name

prog_args

private String[] prog_args

check

private boolean check

cloader

private ClassLoader cloader
Constructor Detail

Runner

public Runner(String name,
              String[] prog_args,
              boolean check)
Method Detail

getClasspaths

public static Vector getClasspaths()

run

public void run()

main

public static void main(String[] args)

usage

public static void usage()

toArray

public static String[] toArray(Vector v)

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.