CheckModule (PMII - Principia Mathematica II)
Keywords: com.meyling.principia.CheckModule class

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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.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?

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

©left GNU General Public Licence All Rights Reserved.