PMII - JAVA-Packages - Principia Mathematica II

com.meyling.principia.logic.paragraph
Class LinkLabel

java.lang.Object
  |
  +--com.meyling.principia.argument.AbstractArgument
        |
        +--com.meyling.principia.argument.AbstractArgumentList
              |
              +--com.meyling.principia.logic.paragraph.LinkLabel
All Implemented Interfaces:
Argument, Labeled, Textable

public class LinkLabel
extends AbstractArgumentList
implements Argument, Labeled, Textable

A reference label.

Version:
$Revision: 1.2 $
Author:
Michael Meyling

Constructor Summary
LinkLabel(Argument[] arguments)
          Constructs a reference label.
 
Method Summary
 Argument create(Argument[] arguments)
          Create a new Argument with given arguments.
 String getLabel()
          Get label of object.
 String getText()
          Get label of object.
 String toString()
          Get the argument in String form.
 
Methods inherited from class com.meyling.principia.argument.AbstractArgumentList
copy, getArgument, getArgumentSize
 
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

LinkLabel

public LinkLabel(Argument[] arguments)
          throws ArgumentException
Constructs a reference label.
Parameters:
arguments - Text to be a label
Throws:
ArgumentException - if there is not exactly one argument or the first argument is not an instance of Text or it isn't build of lowercase letters and digits and its first character is a lowercase letter.
Method Detail

getLabel

public final String getLabel()
Description copied from interface: Labeled
Get label of object.
Specified by:
getLabel in interface Labeled
Following copied from interface: com.meyling.principia.module.Labeled
Returns:
label of object

getText

public final String getText()
Description copied from interface: Textable
Get label of object.
Specified by:
getText in interface Textable
Following copied from interface: com.meyling.principia.module.Textable
Returns:
label of object

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 AbstractArgumentList
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 AbstractArgumentList
Following copied from interface: com.meyling.principia.argument.Argument
Returns:
readable formula

PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.