PMII - JAVA-Packages - Principia Mathematica II

com.meyling.principia.logic.paragraph
Interface ParagraphCheck

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

public interface ParagraphCheck
extends Argument

Every main Paragraph entry must implement this interface.

Version:
$Revision: 1.2 $
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

PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.