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

# public class PremonEnvironment

(source file: PremonEnvironment.java)

    java.lang.Object
       |
       +----PremonEnvironment

The pure class interface.

    public class PremonEnvironment

  A class which contains the `environment' of a Premon applet.

  A premon applet is called with four arguments:

  - The base context (the nodes in the graph).

  - The free variables (the incoming edges of the graph).

  - The expression (the graph).

  - A flag to say whether the graph should be drawn with a control line or not.

  This information is stored as a parsed syntax tree, and as a desugared and typechecked syntax tree.

  In addition, the current font and font metrics are stored, as well as the graph (as a constraint set) and the solution to the constraints. These allow the graph to be drawn.

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

##

PremonEnvironment(Applet)
  Initialize the fields.

##

constructors
  The sugared constructors.
constructorsDesugared
  The desugared constructors.
context
  The sugared context.
contextDesugared
  The desugared context.
d
  The graph as a constraint set.
isRed
  Should the graph contain a control line?
s
  The solution to the constraints.
term
  The sugared term.
termDesugared
  The desugared term.
textFont
  The text font for the graph.
textFontMetrics
  The text font metrics for the graph.

##

PremonEnvironment

    public PremonEnvironment(Applet parent);

  Initialize the fields.

  Parameters:
    parent - The applet which created the context (necessary in order to get the parameters and find the fonts).

##

context

    public PremonJJTCon context;

  The sugared context.

constructors

    public PremonJJTCon constructors;

  The sugared constructors.

term

    public PremonJJTExp term;

  The sugared term.

contextDesugared

    public PremonCon contextDesugared;

  The desugared context.

constructorsDesugared

    public PremonCon constructorsDesugared;

  The desugared constructors.

termDesugared

    public PremonExp termDesugared;

  The desugared term.

isRed

    public boolean isRed;

  Should the graph contain a control line?

textFont

    public Font textFont;

  The text font for the graph.

textFontMetrics

    public FontMetrics textFontMetrics;

  The text font metrics for the graph.

d

    public Drawable d;

  The graph as a constraint set.

s

    public Solution s;

  The solution to the constraints.

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

###### PremonEnvironment.html