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
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 |
CheckModule
public CheckModule()
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?