javafe.tc
Class TypePrint

java.lang.Object
  javafe.ast.PrettyPrint
      javafe.ast.DelegatingPrettyPrint
          javafe.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, setDel, 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