All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class aioli.vtp.FManager 

java.lang.Object
   |
   +----aioli.vtp.FManager
public class FManager
extends Object
Implements a formalism manager

Constructor Index

o FManager()

Method Index

o addFormalism(Formalism)
Adds a formalism to the database
o getFormalism(String)
Gives the formalism of a given name when the formalism does not exist returns null
o getFormalisms()
Returns an array with the name of all available formalisms.
o main(String[])

Constructors

o FManager 
 public FManager()

Methods

o getFormalism 
 public static Formalism getFormalism(String name)
Gives the formalism of a given name when the formalism does not exist returns null

Parameters:
name - the name of the formalism
Returns:
the formalism
o getFormalisms 
 public static String[] getFormalisms()
Returns an array with the name of all available formalisms.

Returns:
s an array of String.
o addFormalism 
 public static void addFormalism(Formalism fm)
Adds a formalism to the database

Parameters:
fm - is the formalism that is added
o main 
 public static void main(String args[])

All Packages  Class Hierarchy  This Package  Previous  Next  Index