All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class aioli.vtp.LFormalism 

java.lang.Object
   |
   +----aioli.vtp.LFormalism
public class LFormalism
extends Object
implements Formalism
A class that implement a formalism.

See Also:
Formalism

Constructor Index

o LFormalism(String)
The formalism constructor.

Method Index

o beginOperator()
o beginPhylum()
o checkOperator(String)
Checks if an operator belongs to the formalism.
o checkPhylum(String)
Checks if a phylum belongs to the formalism.
o genDTD(PrintWriter)
Returns the DTD version of the formalism name
o genJava(PrintWriter)
Generates some Java code that correspond to the definition of the formalism.
o insert(Operator)
Adds an operator to a formalism.
o insert(Phylum)
Adds a phylum to a formalism.
o insertCheck(Operator)
Adds an operator to a formalism.
o insertCheck(Phylum)
Adds a phylum to a formalism.
o name()
Returns the name of the formalism
o operator(String)
Gets an operator from the formalism by its name.
o phylum(String)
Gets a phylum from the formalism by its name.
o toString()
Returns the Metal version of the formalism

Constructors

o LFormalism 
 public LFormalism(String n)
The formalism constructor.

Parameters:
n - The name of the formalism.

Methods

o insert 
 public void insert(Operator elem)
Adds an operator to a formalism.

Parameters:
op - The operator to be added.
See Also:
operator
o insertCheck 
 public boolean insertCheck(Operator op)
Adds an operator to a formalism. First checks if the operator is yet in the formalism.

Parameters:
op - The operator to be added.
Returns:
true if op is inserted, false if op is yet in the formalism.
o insert 
 public void insert(Phylum ph)
Adds a phylum to a formalism.

Parameters:
ph - The phylum to be added.
See Also:
phylum
o insertCheck 
 public boolean insertCheck(Phylum ph)
Adds a phylum to a formalism. First checks if the phylum is yet in the formalism.

Parameters:
ph - The phylum to be added.
Returns:
true if ph is inserted, false if ph is yet in the formalism.
o operator 
 public Operator operator(String elem)
Gets an operator from the formalism by its name.

Parameters:
name - The name of the operator.
Returns:
The operator if it exists otherwise null.
o checkOperator 
 public Operator checkOperator(String name)
Checks if an operator belongs to the formalism.

Parameters:
name - The name of the operator.
Returns:
The operator or null
o phylum 
 public Phylum phylum(String name)
Gets a phylum from the formalism by its name.

Parameters:
name - The name of the phylum.
Returns:
The phylum if it exists otherwise null.
o checkPhylum 
 public Phylum checkPhylum(String name)
Checks if a phylum belongs to the formalism.

Parameters:
name - is the name of the phylum.
Returns:
The phylum if it exists otherwise null.
o name 
 public String name()
Returns the name of the formalism

o beginOperator 
 public OperatorIterator beginOperator()
Returns:
An OperatorIterator positioned on the first element.
o beginPhylum 
 public PhylumIterator beginPhylum()
Returns:
An PhylumIterator positioned on the first element.
o toString 
 public String toString()
Returns the Metal version of the formalism

Overrides:
toString in class Object
o genJava 
 public void genJava(PrintWriter ps)
Generates some Java code that correspond to the definition of the formalism.

Parameters:
ps - The output Writer.
o genDTD 
 public void genDTD(PrintWriter ps)
Returns the DTD version of the formalism name 

All Packages  Class Hierarchy  This Package  Previous  Next  Index