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

public class PremonConComp

(source file: PremonConComp.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonCon
                   |
                   +----PremonConComp
The pure class interface. 
public class PremonConComp
  extends PremonCon
The composition of two contexts.

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

Constuctor Index

O PremonConComp(PremonCon, PremonCon)

Methods

O binds(PremonVar)
O hide(PremonCon)
O lookup(String)
O print(Printer)
O semantics()
O shuffleFromVar(PremonVar)
O shuffleTo(PremonCon)
O shuffleToVar(PremonVar)
O uniq()

Constructors

O PremonConComp
public PremonConComp(PremonCon Gamma1,
                     PremonCon Gamma2);

Methods

O print
public void print(Printer p);

O lookup

public PremonVar lookup(String s)
  throws TypeError;

O hide

public PremonCon hide(PremonCon Gamma);

O uniq

public PremonCon uniq();

O binds

public boolean binds(PremonVar x);

O semantics

public Obj semantics();

O shuffleTo

public Shuffle shuffleTo(PremonCon Gamma);

O shuffleFromVar

public Shuffle shuffleFromVar(PremonVar x);

O shuffleToVar

public Shuffle shuffleToVar(PremonVar x);

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