com.meyling.principia.logic.paragraph
Class Paragraph

java.lang.Object
  |
  +--com.meyling.principia.argument.AbstractArgument
        |
        +--com.meyling.principia.argument.AbstractDynamicArgumentList
              |
              +--com.meyling.principia.logic.paragraph.Paragraph

All Implemented Interfaces:

Argument

public class Paragraph

extends AbstractDynamicArgumentList

implements Argument

A paragraph is an axiom, an abbreviation or a proposition of a mathematical theory.

Version:

$Revision: 1.3 $

Author:

Michael Meyling

Constructor Summary

Paragraph(Argument[] arguments)
Constructs a paragraph.

Method Summary

void	check(Module module) Check if this paragraph could be added.
Argument	create(Argument[] arguments) Create a new Argument with given arguments.
String	getFollowingText() Get the following text of this paragraph.
String	getLabel() Get the label of this paragraph.
ParagraphCheck	getParagraphCheck() Get the meat of this paragraph.
String	getPreceedingText() Get the preceeding text of this paragraph.
String	toString() Get the argument in String form.

Methods inherited from class com.meyling.principia.argument.AbstractDynamicArgumentList

add, copy, getArgument, getArgumentSize, insert, remove, replace

Methods inherited from class com.meyling.principia.argument.AbstractArgument

containsPatternVariables, equals, getHighestNumber, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches

Methods inherited from class java.lang.Object

, clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.meyling.principia.argument.Argument

containsPatternVariables, copy, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches

Constructor Detail

Paragraph

public Paragraph(Argument[] arguments)
          throws ArgumentException

Constructs a paragraph.

Parameters:

arguments - list of arguments

Throws:

ArgumentException - if argument list is not like LinkLabel Text? (Abbreviation | Axiom | Proposition) Text?

the question mark is for an optional argument the pipe symbol is an exclusive "or"

Method Detail

getLabel

public final String getLabel()

Get the label of this paragraph.

Returns:

the label of this paragraph

getPreceedingText

public final String getPreceedingText()

Get the preceeding text of this paragraph.

Returns:

the preceedingText of this paragraph

getFollowingText

public final String getFollowingText()

Get the following text of this paragraph.

Returns:

the followingText of this paragraph

getParagraphCheck

public final ParagraphCheck getParagraphCheck()

Get the meat of this paragraph.

Returns:

the Axiom, Abbreviation, Proposition, etc.

check

public final void check(Module module)
                 throws ArgumentException

Check if this paragraph could be added.

Parameters:

module - module

Throws:

ArgumentException - if addition is impossible

create

public final Argument create(Argument[] arguments)
                      throws ArgumentException

Description copied from interface: Argument

Create a new Argument with given arguments.

Specified by:

create in interface Argument

Overrides:

create in class AbstractDynamicArgumentList

Following copied from interface: com.meyling.principia.argument.Argument

Parameters:

arguments - with these arguments the operator should be created

Returns:

new constructed Argument

Throws:

ArgumentException - if creation failed

toString

public final String toString()

Description copied from interface: Argument

Get the argument in String form.

Specified by:

toString in interface Argument

Overrides:

toString in class AbstractDynamicArgumentList

Following copied from interface: com.meyling.principia.argument.Argument

Returns:

readable formula