All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class aioli.vtp.LPhylum 

java.lang.Object
   |
   +----aioli.vtp.LPhylum
public class LPhylum
extends Object
implements Phylum
A class that implememts a phylum.

See Also:
Phylum

Constructor Index

o LPhylum(String, Formalism)
The phylum constructor.

Method Index

o contains(Operator)
Checks if an operator belongs to a phylum.
o formalism()
Returns the formalism of the phylum.
o genDTD(PrintWriter)
o genJava(PrintWriter, String)
Prints the java declaration of the phylum.
o genJavaInsert(PrintWriter, String)
Prints the java insertion of the operators in the phylum.
o insert(Operator)
Inserts an operator to the formalism.
o insertCheck(Operator)
Inserts an operator to the phylum.
Checks if the operator is added twice (checks the only name).
o name()
Returns the name of the phylum
o operators()
Returns the list of the operators, this list can be safely modified.
o toString()
Returns the Metal version of the phylum

Constructors

o LPhylum 
 public LPhylum(String n,
                Formalism f)
The phylum constructor.

Parameters:
n - The name of the phylum.
f - The formalism the phylum had to be added to.
See Also:
Formalism

Methods

o contains 
 public boolean contains(Operator op)
Checks if an operator belongs to a phylum.

Parameters:
op - The operator.
Returns:
true if op belongs to the phylum, false otherwise.
o formalism 
 public Formalism formalism()
Returns the formalism of the phylum.

o insert 
 public void insert(Operator op)
Inserts an operator to the formalism.

Parameters:
op - The operator to be added.
o insertCheck 
 public boolean insertCheck(Operator op)
Inserts an operator to the phylum.
Checks if the operator is added twice (checks the only name).

Parameters:
op - The operator to be added.
Returns:
true if op has been inserted false otherwise.
o operators 
 public Operator[] operators()
Returns the list of the operators, this list can be safely modified.

o name 
 public String name()
Returns the name of the phylum

o toString 
 public String toString()
Returns the Metal version of the phylum

Overrides:
toString in class Object
o genJava 
 public void genJava(PrintWriter ps,
                     String str)
Prints the java declaration of the phylum.

Parameters:
ps - The output Writer.
str - The phylum name.
o genJavaInsert 
 public void genJavaInsert(PrintWriter ps,
                           String str)
Prints the java insertion of the operators in the phylum.

Parameters:
ps - The output Writer.
str - The phylum name.
o genDTD 
 public void genDTD(PrintWriter ps)

All Packages  Class Hierarchy  This Package  Previous  Next  Index