All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class aioli.vtp.AOperator 

java.lang.Object
   |
   +----aioli.vtp.AOperator
public class AOperator
extends Object
implements Operator
Implementation of an atomic operator.

See Also:
Operator

Constructor Index

o AOperator(String, Formalism, int)
Creates an atomic 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)
o genJava(PrintWriter, String)
Generates some Java code that correspond to the definition of the operator.
o getCode()
Returns 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()
Gives a Metal representation of the atomic operator.
o tree()
Returns a dummy tree with this operator as head operator.

Constructors

o AOperator 
 public AOperator(String n,
                  Formalism f,
                  int types)
Creates an atomic operator. Inserts it in the given formalism

Parameters:
n - is the name of the operator.
f - is the formalism where it has to be added.
types - is the type of the atomic value.

Methods

o getCode 
 public int getCode()
Returns the code of the operator.

Returns:
The code (int) of the operator.
o setCode 
 public void setCode(int a)
Sets the code of the operator.

Parameters:
a - an int representing the code of the operator.
o arity 
 public Arity arity()
Gives the arity of the operator.

Returns:
The arity of the operator.
See Also:
Arity
o name 
 public String name()
Gives the name of the operator.

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

Returns:
Always true it's an atomic operator.
o belongs 
 public 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.
See Also:
Phylum
o formalism 
 public Formalism formalism()
Returns the formalism of the operator.

Returns:
A Formalism.
See Also:
Formalism
o phylum 
 public Phylum phylum(int n)
Returns the phylum of a given son.

Parameters:
m - Denotes the son.
Returns:
Always null it's an atomic operator.
o tree 
 public Tree tree()
Returns a dummy tree with this operator as head operator.

Returns:
A tree.
See Also:
tree
o toString 
 public String toString()
Gives a Metal representation of the atomic operator.

Overrides:
toString in class Object
o genJava 
 public 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 void genDTD(PrintWriter ps)

All Packages  Class Hierarchy  This Package  Previous  Next  Index