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

public class PremonJJTPatDots

(source file: PremonJJTPatDots.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonJJTNode
                   |
                   +----PremonJJTPat
                           |
                           +----PremonJJTPatTuple
                                   |
                                   +----PremonJJTPatDots
The pure class interface. 
public class PremonJJTPatDots
  extends PremonJJTPatTuple
A pattern P...Q.

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

Constuctor Index

O PremonJJTPatDots(int)

Methods

O desugar()
O print(Printer)

Constructors

O PremonJJTPatDots
public PremonJJTPatDots(int id);

Methods

O print
public void print(Printer p);

O desugar

public PremonPat desugar();

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