Hilbert II - JAVA-Packages - Principia Mathematica II

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

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.