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

##

PremonPatBind(PremonVar)
  Create a binding pattern.

##

print(Printer)

##

PremonPatBind

    public PremonPatBind(PremonVar x);

  Create a binding pattern.

  Parameters:
    x - the binding typed variable.

##

print

    public void print(Printer p);

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

###### PremonPatBind.html