    All Packages  Class Hierarchy  This Package  Previous  Next  Index

# Class JavaAgent.resource.fopl.UnnamedSymbol

    java.lang.Object
       |
       +----JavaAgent.resource.fopl.Symbol
               |
               +----JavaAgent.resource.fopl.UnnamedSymbol

public class UnnamedSymbol
extends Symbol

This class extends the Symbol class to allow for the creation of unnamed Symbols as used, for example, in Skolemization.

##

UnnamedSymbol()
  This protected constructor creates an unnamed symbol.
UnnamedSymbol(String)
  An UnnamedSymbol can be constructed with a name that will characterize the type of this Symbol.

##

toString()
  An UnnamedSymbol is printed as its name and the unique index.

##

UnnamedSymbol

     public UnnamedSymbol(String name) throws IllegalArgumentException

  An UnnamedSymbol can be constructed with a name that will characterize the type of this Symbol. A new, unique index is generated automatically.

  Parameters:
    name - the type of this symbol, e.g. `"SkolemConst"`
  Throws: IllegalArgumentException
    An exception will occur if the supplied String is empty or null.
  Throws: OutOfMemoryError
    An error can occur if the unique indices for UnnamedSymbols have run out.

UnnamedSymbol

     protected UnnamedSymbol()

  This protected constructor creates an unnamed symbol. Its type which will be used in printing the UnnamedSymbol will be `UnnamedSymbol`. Normally the public constructor above should be used.

  Throws: OutOfMemoryError
    An error can occur if the unique indices for UnnamedSymbols have run out.

##

toString

     public String toString()

  An UnnamedSymbol is printed as its name and the unique index.

  Returns:
    the type and index, e.g. `SkolemConst_15`
  Overrides:
    toString in class Symbol

    All Packages  Class Hierarchy  This Package  Previous  Next  Index