[all packages] [package ] [class hierarchy] [index]

public class PremonJJTTypeDots

(source file: PremonJJTTypeDots.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonJJTNode
                   |
                   +----PremonJJTType
                           |
                           +----PremonJJTTypeTuple
                                   |
                                   +----PremonJJTTypeDots
The pure class interface. 
public class PremonJJTTypeDots
  extends PremonJJTTypeTuple
A type T...U used in drawing graphs with ellipses.

Author:
Alan Jeffrey
Version: v1.0 1998/06/02

Constuctor Index

O PremonJJTTypeDots(int)

Methods

O desugar()
O print(Printer)

Constructors

O PremonJJTTypeDots
public PremonJJTTypeDots(int id);

Methods

O print
public void print(Printer p);

O desugar

public PremonType desugar();

[all packages] [package ] [class hierarchy] [index]
PremonJJTTypeDots.html