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

# public abstract class PremonCon

(source file: PremonCon.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonCon

The pure class interface.

    public abstract class PremonCon
      extends Printable

  The syntactic class of contexts .

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

##

PremonCon()

##

empty
  An empty context.

##

binds(PremonVar)
  Does this context bind a given variable?
comp(PremonCon)
  Compose this context with another.
hide(PremonCon)
  Remove the variables in one context from the current ones.
lookup(String)
  Look up a variable in the context.
semantics()
  The semantics of the context as an object.
semanticsTo(PremonCon)
  The semantics of this context as a shuffle.
shuffleFromVar(PremonVar)
  The (partial) shuffle from a variable to this context. The shuffle will be total if this
shuffleTo(PremonCon)
  The (partial) shuffle from this context to another. The shuffle will be total if Gamma is
shuffleToVar(PremonVar)
  The (partial) shuffle from this context to a variable. The shuffle will be total if this
uniq()
  `Uniqueify' the context, by removing any duplicate variables.

##

PremonCon

    public PremonCon();

##

empty

    public static final PremonCon empty;

  An empty context.

##

hide

    public abstract PremonCon hide(PremonCon Gamma);

  Remove the variables in one context from the current ones.

  Parameters:
    Gamma - the variables to remove.
  Returns:
    this context with the variables from Gamma removed.

binds

    public abstract boolean binds(PremonVar x);

  Does this context bind a given variable?

  Parameters:
    x - the variable to check.
  Returns:
    true if this context contains x.

uniq

    public abstract PremonCon uniq();

  `Uniqueify' the context, by removing any duplicate variables.

  Returns:
    this context with any duplicate variables removed.

semantics

    public abstract Obj semantics();

  The semantics of the context as an object.

  Returns:
    [[]]

shuffleTo

    public abstract Shuffle shuffleTo(PremonCon Gamma);

  The (partial) shuffle from this context to another. The shuffle will be total if Gamma is contained in this context.

  Parameters:
    Gamma - the context to shuffle to.
  Returns:
    a shuffle [[this]] [[]]

shuffleFromVar

    public abstract Shuffle shuffleFromVar(PremonVar x);

  The (partial) shuffle from a variable to this context. The shuffle will be total if this context binds at most x.

  Parameters:
    x - the variable to shuffle from.
  Returns:
    a shuffle [[x:T]] [[this]]

shuffleToVar

    public abstract Shuffle shuffleToVar(PremonVar x);

  The (partial) shuffle from this context to a variable. The shuffle will be total if this context binds at least x.

  Parameters:
    the - variable to shuffle to.
  Returns:
    a shuffle [[this]] [[x:T]]

lookup

    public abstract PremonVar lookup(String s)
      throws TypeError;

  Look up a variable in the context.

  Parameters:
    s - the name of the variable to find.
  Returns:
    the variable of that name in this context.
  Throws:
    TypeError -thrown if this context does not contain s.

comp

    public PremonCon comp(PremonCon Gamma);

  Compose this context with another.

  Parameters:
    Gamma - the context to compose with.
  Returns:
    the composite of the two contexts.

semanticsTo

    public Mor semanticsTo(PremonCon Gamma);

  The semantics of this context as a shuffle.

  Parameters:
    Gamma - the context to shuffle to.
  Returns:
    [[[this : Gamma]]

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

###### PremonCon.html