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.

Constructor Index

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

Method Index

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

Constructors

o 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.
o 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.

Methods

o 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