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.logic.paragraph
Interface ParagraphCheck

All Superinterfaces:
  Argument

All Known Implementing Classes:
  Abbreviation, Axiom, Proposition, RuleDeclaration

public interface ParagraphCheck
extends Argument

Every main `Paragraph` entry must implement this interface.

Version:
  $Revision: 1.5 $
Author:
  Michael Meyling

Method Summary
`void` | `check(Module module, String label)` Check if a paragraph could be added to a module.

Methods inherited from interface com.meyling.principia.argument.Argument
`containsPatternVariables, copy, create, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches, toString`

Method Detail

### check

    public void check(Module module,
                      String label)
               throws ArgumentException

  Check if a paragraph could be added to a module. Could also change a module attribut (e.g. add an label).

  Parameters:
    `module` - the module context
    `label` - label of paragraph
  Throws:
    `ArgumentException` - if addition is not possible

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.