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 |
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 contextlabel
- label of paragraph
- Throws:
ArgumentException
- if addition is not possible