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

public abstract class PremonPat

(source file: PremonPat.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonPat
The pure class interface. 
public abstract class PremonPat
  extends Printable
The syntactic class of patterns.

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

Constuctor Index

O PremonPat()

Variables Index

O bind
The bound variables of the pattern.
O type
The type of the pattern.

Constructors

O PremonPat
public PremonPat();

Variables

O type
public PremonType type;
The type of the pattern.

O bind

public PremonCon bind;
The bound variables of the pattern.

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