All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class aioli.ppml.PPManager 

java.lang.Object
   |
   +----aioli.ppml.PPManager
public class PPManager
extends Object
Defines a manager for prettyprinter operator

Constructor Index

o PPManager()

Method Index

o getPprinter(String, String)
Gets the PPEngine given the language and the style
o getPprinter(Variable, String)
Gets the PPEngine given a tree and a style

Constructors

o PPManager 
 public PPManager()

Methods

o getPprinter 
 public static PPEngine getPprinter(String name,
                                    String type)
Gets the PPEngine given the language and the style

Parameters:
name - is the name of the formalism
Returns:
a PPEngine
o getPprinter 
 public static PPEngine getPprinter(Variable var,
                                    String type)
Gets the PPEngine given a tree and a style

Parameters:
tree - is the tree to visualize 
All Packages  Class Hierarchy  This Package  Previous  Next  Index