ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

javafe.tc
Class TypePrint

java.lang.Object
  extended byjavafe.ast.PrettyPrint
      extended byjavafe.ast.DelegatingPrettyPrint
          extended byjavafe.tc.TypePrint

public class TypePrint
extends DelegatingPrettyPrint


Field Summary
 
Fields inherited from class javafe.ast.DelegatingPrettyPrint
del
 
Fields inherited from class javafe.ast.PrettyPrint
displayInferred, INDENT, inst, self
 
Constructor Summary
TypePrint()
           
TypePrint(PrettyPrint self, PrettyPrint del)
           
 
Method Summary
 void print(java.io.OutputStream o, int ind, VarInit e)
           
 
Methods inherited from class javafe.ast.DelegatingPrettyPrint
print, print, print, print, print, print, print, print, print, print, print, print, print, print, print, print, print, printnoln, toString
 
Methods inherited from class javafe.ast.PrettyPrint
print, println, println, println, spaces, toCanonicalString, toString, toString, toString, toString, toString, toString, toString, toString, toString, toString, write, write, writeln, writeln
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TypePrint

public TypePrint()

TypePrint

public TypePrint(PrettyPrint self,
                 PrettyPrint del)
Method Detail

print

public void print(java.io.OutputStream o,
                  int ind,
                  VarInit e)
Overrides:
print in class DelegatingPrettyPrint

ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage