All Packages  Class Hierarchy  This Package  Previous  Next  Index

Interface aioli.vtp.Formalism

public interface Formalism
extends Serializable
Defines the notion of formalism . A formalism contains two kinds of objects:

Method Index

o beginOperator()
Returns An OperatorIterator positioned on the first element.
o beginPhylum()
Returns An PhylumIterator positioned on the first element.
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
o genJava(PrintWriter)
Returns the java version 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 am 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

Methods

o insertCheck 
 public abstract boolean insertCheck(Operator op)
Adds am 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 abstract void insert(Operator op)
Adds an operator to a formalism.

Parameters:
op - The operator to be added.
o insertCheck 
 public abstract 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 insert 
 public abstract void insert(Phylum ph)
Adds a phylum to a formalism.

Parameters:
ph - The phylum to be added.
o name 
 public abstract String name()
Returns the name of the formalism

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

Overrides:
toString in class Object
o operator 
 public abstract Operator operator(String name)
Gets an operator from the formalism by its name. Triggers an error if the operator doesn't exist.

Parameters:
name - The name of the operator.
Returns:
The operator if it exists otherwise null.
o checkOperator 
 public abstract 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 abstract Phylum phylum(String name)
Gets a phylum from the formalism by its name. Triggers an error if the phylum doesn't exist.

Parameters:
name - The name of the phylum.
Returns:
The phylum if it exists otherwise null.
o checkPhylum 
 public abstract 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 beginOperator 
 public abstract OperatorIterator beginOperator()
Returns An OperatorIterator positioned on the first element.

o beginPhylum 
 public abstract PhylumIterator beginPhylum()
Returns An PhylumIterator positioned on the first element.

o genJava 
 public abstract void genJava(PrintWriter ps)
Returns the java version of the formalism

o genDTD 
 public abstract void genDTD(PrintWriter ps)
Returns the DTD version of the formalism 

All Packages  Class Hierarchy  This Package  Previous  Next  Index