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 0.00.50$

Author:

Michael Meyling

Field Summary

private String	followingText this text follows the paragraph
private String	label the paragraph could be referenced by this label
private ParagraphCheck	paragraphCheck Abbreviation, Axiom, Proposition, or whatever
private String	preceedingText this text preceeds the paragraph

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

arguments

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, registerNatives, 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

Field Detail

label

private final String label

the paragraph could be referenced by this label

preceedingText

private String preceedingText

this text preceeds the paragraph

followingText

private String followingText

this text follows the paragraph

paragraphCheck

private final ParagraphCheck paragraphCheck

Abbreviation, Axiom, Proposition, or whatever

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