PMII - JAVA-Packages - Principia Mathematica II

com.meyling.principia
Class CheckModule

java.lang.Object
  |
  +--com.meyling.principia.CheckModule

public class CheckModule
extends Object

This class checks Principia Mathematica II qedeq modules for errors.

Version:
$Revision: 1.4 $
Author:
Michael Meyling

Constructor Summary
CheckModule()
           
 
Method Summary
static boolean checkModule(String address)
          Check a module.
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

checkModule

public static final boolean checkModule(String address)
Check a module.
Parameters:
address - address of module
Returns:
is module ok?

PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.