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

public Drawable d;

The graph as a constraint set.

public Solution s;

The solution to the constraints.


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

public class PremonEnvironment

PremonEnvironment.html