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

public class PremonPatBind

(source file: PremonPatBind.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonPat
                   |
                   +----PremonPatBind
The pure class interface. 
public class PremonPatBind
  extends PremonPat
A variable pattern x:T.

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

Constuctor Index

O PremonPatBind(PremonVar)
Create a binding pattern.

Methods

O print(Printer)

Constructors

O PremonPatBind
public PremonPatBind(PremonVar x);
Create a binding pattern.

Parameters:
x - the binding typed variable.

Methods

O print
public void print(Printer p);

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