All Packages  Class Hierarchy  This Package  Previous  Next  Index

Interface aioli.vtp.Operator

public interface Operator
extends Serializable
Defines the notion of operator

Method Index

o arity()
Gives the arity of the operator.
o atomic()
Checks if the operator is atomic.
o belongs(Phylum)
Checks if an operator belongs to a given phylum.
o formalism()
Returns the formalism of the operator.
o genDTD(PrintWriter)
Generates some DTD code that correspond to the definition of the operator tag
o genJava(PrintWriter, String)
Generates some Java code that correspond to the definition of the operator.
o getCode()
Gives the code of the operator.
o name()
Gives the name of the operator.
o phylum(int)
Returns the phylum of a given son.
o setCode(int)
Sets the code of the operator.
o toString()
Returns the Metal definition of the operator.
o tree()
Returns a dummy tree with this operator as head operator.

Methods

o arity 
 public abstract Arity arity()
Gives the arity of the operator.

Returns:
The arity of the operator.
o name 
 public abstract String name()
Gives the name of the operator.

Returns:
The String representing the name of the operator.
o atomic 
 public abstract boolean atomic()
Checks if the operator is atomic.

Returns:
true if the operator is atomic false otherwise.
o belongs 
 public abstract boolean belongs(Phylum ph)
Checks if an operator belongs to a given phylum. param ph A phylum.

Returns:
true if the operator belongs to the phylum ph false otherwise.
o phylum 
 public abstract Phylum phylum(int n)
Returns the phylum of a given son.

Parameters:
n - Denotes the son.
Returns:
A phylum or null.
o formalism 
 public abstract Formalism formalism()
Returns the formalism of the operator.

Returns:
A formalism.
See Also:
Formalism
o tree 
 public abstract Tree tree()
Returns a dummy tree with this operator as head operator.

Returns:
A tree.
See Also:
Tree
o toString 
 public abstract String toString()
Returns the Metal definition of the operator.

Overrides:
toString in class Object
o getCode 
 public abstract int getCode()
Gives the code of the operator.

Returns:
An int that represents the code of the operator.
o setCode 
 public abstract void setCode(int a)
Sets the code of the operator.

Parameters:
a - Code of the operator.
o genJava 
 public abstract void genJava(PrintWriter ps,
                              String str)
Generates some Java code that correspond to the definition of the operator.

Parameters:
ps - The output Writer.
str - The formalism name.
o genDTD 
 public abstract void genDTD(PrintWriter ps)
Generates some DTD code that correspond to the definition of the operator tag

Parameters:
ps - the output Writer 
All Packages  Class Hierarchy  This Package  Previous  Next  Index