Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia
Class CheckModule

java.lang.Object
  extended bycom.meyling.principia.CheckModule

public class CheckModule
extends Object

This class checks Principia Mathematica II qedeq modules for errors.

Version:
$Revision: 1.14 $
Author:
Michael Meyling

Constructor Summary
CheckModule()
           
 
Method Summary
static boolean checkModule(String address)
          Check a module.
static void doIt(String[] args)
          Check modules by trying to load them.
static void main(String[] args)
          Check modules by trying to load them.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CheckModule

public CheckModule()
Method Detail

main

public static void main(String[] args)
Check modules by trying to load them.

Parameters:
args - addresses of modules and options

doIt

public static void doIt(String[] args)
Check modules by trying to load them.

Parameters:
args - addresses of modules and options

checkModule

public static final boolean checkModule(String address)
Check a module.

Parameters:
address - address of module
Returns:
is module ok?

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.