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

public class PremonJJTPatBind

(source file: PremonJJTPatBind.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonJJTNode
                   |
                   +----PremonJJTPat
                           |
                           +----PremonJJTPatBind
The pure class interface. 
public class PremonJJTPatBind
  extends PremonJJTPat
A pattern x : T

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

Constuctor Index

O PremonJJTPatBind(int)

Methods

O desugar()
O print(Printer)

Constructors

O PremonJJTPatBind
public PremonJJTPatBind(int id);

Methods

O print
public void print(Printer p);

O desugar

public PremonPat desugar();

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