All Packages  Class Hierarchy  This Package  Previous  Next  Index

Interface aioli.vtp.Phylum

public interface Phylum
extends Serializable
Defines the notion of phylum

Method Index

o contains(Operator)
Checks if an operator belongs to a phylum.
o formalism()
Returns the formalism of the phylum.
o genDTD(PrintWriter)
Returns the DTD code for the phylum
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 phylum.
Warning No check that the operator is added twice .
o insertCheck(Operator)
Inserts an operator to the phylum.
Checks if the operator is added twice.
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

Methods

o contains 
 public abstract 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.
See Also:
Operator
o formalism 
 public abstract Formalism formalism()
Returns the formalism of the phylum.

o insert 
 public abstract void insert(Operator op)
Inserts an operator to the phylum.
Warning No check that the operator is added twice .

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

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

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

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

Overrides:
toString in class Object
o genJava 
 public abstract 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 abstract 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 abstract void genDTD(PrintWriter ps)
Returns the DTD code for the phylum 

All Packages  Class Hierarchy  This Package  Previous  Next  Index