`[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

##

PremonJJTTypeDots(int)

##

desugar()
print(Printer)

##

PremonJJTTypeDots

    public PremonJJTTypeDots(int id);

##

print

    public void print(Printer p);

desugar

    public PremonType desugar();

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

###### PremonJJTTypeDots.html