# package

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

# package

##

- public interface Node (pure interface)
- public interface PremonJJTParserConstants (pure interface)
- public interface PremonJJTParserTreeConstants (pure interface)

##

- public final class ASCII_CharStream (pure interface)
  An implementation of interface CharStream, where the stream is assumed to contain only
- public class AppletPremon (pure interface)
  This is an applet which displays a flow graph. It is described in Flow
- public class AppletPremonEditor (pure interface)
  An applet which allows the user to edit the source code of an expression, and draws the
- public class CanvasDrawer (pure interface)
  A canvas containing a drawing area for a graph.
- public abstract class Constraint (pure interface)
  The constaints about a single variable.
- public class ConstraintCons (pure interface)
  Add an extra constraint to a variable.
- public class ConstraintEmpty (pure interface)
  A variable with no constraints on it at all.
- public class ConstraintVector (pure interface)
  A vector of constraints.
- public class Constraints (pure interface)
- public class DialogueError (pure interface)
  A dialogue box consisting of an error message.
- public abstract class Drawable (pure interface)
  A drawable object is one which knows how to draw itself using a Drawer object.
- public class Drawer (pure interface)
  A drawing area graphs can be drawn on.
- public class FrameScrollable (pure interface)
  A frame with scrollbars at either side. Were I doing this using AWT 1.1, I could just use
- public abstract class Graph0 (pure interface)
  A graph without a control line.
- public class Graph0BlueNode (pure interface)
  A graph containing one blue node.
- public class Graph0Comp (pure interface)
  Compose two graphs together
- public class Graph0Curry0 (pure interface)
  Create a function node (a node containing a subgraph) where the subgraph has no control
- public class Graph0Curry1 (pure interface)
  Create a function node (a node containing a subgraph) where the subgraph has a control line.
- public class Graph0Id (pure interface)
  A graph just consisting of arcs from left to right.
- public class Graph0IdPerp (pure interface)
  A graph consisting of arcs running from right to left (this is used to draw the trace
- public class Graph0Pad (pure interface)
  Add some padding to a graph.
- public class Graph0PurpleNode (pure interface)
  A graph containing one blue node.
- public class Graph0Shuffle (pure interface)
  A graph where the source and target interfaces are connected by a shuffle.
- public class Graph0Tensor (pure interface)
  A graph built from two subgraphs, neither of which has a control line.
- public class Graph0TensorDots (pure interface)
  A graph built from two subgraphs one above the other, with ellipses (...) between them.
- public class Graph0UTurnL (pure interface)
  A graph with an empty source interface, and a target interface split into two equal-sized
- public class Graph0UTurnR (pure interface)
  A graph with an empty source interface, and a target interface split into two equal-sized
- public abstract class Graph1 (pure interface)
  A graph with a control line.
- public class Graph1Comp (pure interface)
  Compose two graphs together
- public class Graph1Embed (pure interface)
  Add a control line to a graph without a control line.
- public class Graph1Pad (pure interface)
  Add some padding to a graph.
- public class Graph1RedNode (pure interface)
  A graph containing one red node.
- public class Graph1TensorL (pure interface)
  A graph built from two subgaphs, where the bottom graph has a control line and the top one
- public class Graph1TensorR (pure interface)
  A graph built from two subgaphs, where the top graph has a control line and the bottom one
- public abstract class Grapher (pure interface)
  A class of `places that graphs can be drawn'
- public class GraphicsGrapher (pure interface)
  An implementation of the Grapher class which draws to a graphics context. Note that
- public abstract class Interface (pure interface)
  An interface for a constraint set consists of a list of variables
- public class InterfaceObj (pure interface)
  Create a new interface v1...vX.size where each
- public class InterfaceSubrange (pure interface)
  An interface which is a subrange of another interface.
- public class InterfaceTensor (pure interface)
  The concatenation of two interfaces.
- public class LaTeX (pure interface)
  A printer which uses LaTeX control sequences to control the formatting (useful for
- public abstract class Mor (pure interface)
  A morphism.
- public class MorComp (pure interface)
  The composition of two morphisms f;g.
- public class MorCurry (pure interface)
  A curried morphism.
- public class MorGenerator (pure interface)
  A generating morphism (drawn as a node in the graph).
- public class MorId (pure interface)
  An identity morphism.
- public class MorIdI (pure interface)
  The identity morphism I I.
- public class MorShuffle (pure interface)
  A shuffle morphism (one built only from composition, tensor, symmetry, diagonal and
- public class MorTensor (pure interface)
  The tensor of two morphisms f g.
- public class MorTensorDots (pure interface)
  A tensor of two morphisms, but drawn with ellipses between them (there is no categorical
- public class MorTrace (pure interface)
  A traced morphism Tr(f).
- public abstract class Obj (pure interface)
  The class of objects.
- public class ObjFun (pure interface)
  A homobject C[X,Y].
- public class ObjGenerator (pure interface)
  A primitive object.
- public class ObjI (pure interface)
  The unit object I.
- public class ObjTensor (pure interface)
  The tensor of two objects X Y.
- public class PSGrapher (pure interface)
  A PostScript back end for the application.
- public class Premon (pure interface)
  An application which reads a collection of program files, and writes the graphs as
- public abstract class PremonCat (pure interface)
  The syntactic category of categories (either val, central or proc).
- public class PremonCatCentral (pure interface)
  The category central.
- public class PremonCatProc (pure interface)
  The category proc.
- public class PremonCatVal (pure interface)
  The category val.
- public abstract class PremonCon (pure interface)
  The syntactic class of contexts .
- public class PremonConBind (pure interface)
  A context which binds a variable x:T.
- public class PremonConComp (pure interface)
  The composition of two contexts.
- public class PremonConEmpty (pure interface)
  An empty context.
- public abstract class PremonDec (pure interface)
  The syntactic class of type-annotated declarations, without syntax sugar.
- public class PremonDecBind (pure interface)
  A declaration let P = M;
- public class PremonDecComp (pure interface)
  The composition of two declarations.
- public class PremonDecLocalRec (pure interface)
  A local recursive declaration local rec x; D
- public class PremonEnvironment (pure interface)
- public abstract class PremonExp (pure interface)
  The syntactic class of expressions (without syntax sugar, and with type annotations).
- public class PremonExpApp (pure interface)
  A function application M N.
- public class PremonExpDec (pure interface)
  An expression D M binding a declaration D to an expression M.
- public class PremonExpDots (pure interface)
  An expression M`...`N used in drawing graphs containing ellipses.
- public class PremonExpDouble (pure interface)
  An expression representing a floating point constant d.
- public class PremonExpFun (pure interface)
  A function expression fn C P { M }
- public class PremonExpInt (pure interface)
  An integer constant expression n : int.
- public class PremonExpString (pure interface)
  A string constant expression "s" : string.
- public class PremonExpTopLevel (pure interface)
  A top-level expression.
- public class PremonExpTuple (pure interface)
  An expression (M1,...,Mn).
- public class PremonExpVar (pure interface)
  A variable expression x.
- public class PremonFrame (pure interface)
  A frame containing a source code editor.
- public abstract class PremonJJTCat (pure interface)
  A category (either val, central or proc).
- public class PremonJJTCatCentral (pure interface)
  The category central.
- public class PremonJJTCatProc (pure interface)
  The category proc.
- public class PremonJJTCatVal (pure interface)
  The category val.
- public abstract class PremonJJTCon (pure interface)
  The syntactic class of contexts (including syntax sugar).
- public class PremonJJTConBind (pure interface)
  The context x : T;
- public class PremonJJTConBindFunCurried (pure interface)
  The context
- public class PremonJJTConComp (pure interface)
  The composition of two contexts.
- public class PremonJJTConEmpty (pure interface)
  An empty context.
- public class PremonJJTConOptional (pure interface)
  A possibly empty context.
- public abstract class PremonJJTDec (pure interface)
  The syntactic class of declarations (including syntax sugar).
- public class PremonJJTDecBind (pure interface)
  A binding declaration let P = M;
- public class PremonJJTDecBindFunCurried (pure interface)
  A curried function declaration
- public class PremonJJTDecComp (pure interface)
  The composition of two declarations.
- public class PremonJJTDecLocalRecMany (pure interface)
  A declaration
- public class PremonJJTDecRecMany (pure interface)
  A recursive declaration
- public abstract class PremonJJTExp (pure interface)
  The syntactic class of expressions (including syntax sugar).
- public class PremonJJTExpApp (pure interface)
  A function application M N where M is a value of function type.
- public class PremonJJTExpAppInfix (pure interface)
  An infix function application M x N where x is a variable of
- public class PremonJJTExpComp (pure interface)
  A composition of two expressions M; N, sugar for
- public class PremonJJTExpDec (pure interface)
  An expression D M where D is a declaration which may bind
- public class PremonJJTExpDots (pure interface)
  An expression (M`...`N) used to produce graphs containing ellipses.
- public class PremonJJTExpDouble (pure interface)
  An expression representing a floating point constant.
- public class PremonJJTExpFunCurried (pure interface)
- public class PremonJJTExpFunThunk (pure interface)
  A thunked expression {M}, sugar for fn proc () {M}
- public class PremonJJTExpInt (pure interface)
  An integer constant.
- public class PremonJJTExpOptional (pure interface)
  An optional expression, by default ().
- public class PremonJJTExpReturn (pure interface)
  An expression return M, syntax sugar for M.
- public class PremonJJTExpString (pure interface)
  A string constant.
- public class PremonJJTExpTopLevel (pure interface)
  A top-level expression.
- public class PremonJJTExpTuple (pure interface)
  An expression (M1,...,Mn).
- public class PremonJJTExpVar (pure interface)
  An expression x.
- public class PremonJJTId (pure interface)
  An identifier.
- public abstract class PremonJJTNode (pure interface)
- public class PremonJJTParser (pure interface)
  The class of parsers for the Premon language. This parser is created using Sun's JJTree AST
- public class PremonJJTParserTokenManager (pure interface)
- public abstract class PremonJJTPat (pure interface)
  The syntactic class of patterns (including syntax sugar).
- public class PremonJJTPatBind (pure interface)
  A pattern x : T
- public class PremonJJTPatBindFunCurried (pure interface)
- public class PremonJJTPatDots (pure interface)
  A pattern P`...`Q.
- public class PremonJJTPatTuple (pure interface)
  A pattern (P1,...,Pn).
- public abstract class PremonJJTType (pure interface)
  The syntactic class of types (including syntax sugar).
- public class PremonJJTTypeDots (pure interface)
  A type T`...`U used in drawing graphs with ellipses.
- public class PremonJJTTypeFunCurried (pure interface)
- public class PremonJJTTypeResult (pure interface)
  An optional result type for a function
- public class PremonJJTTypeTuple (pure interface)
  The type of tuples (T1,...,Tn).
- public class PremonJJTTypeVar (pure interface)
  A type variable.
- public class PremonPanel (pure interface)
  A panel containing the source code editor.
- public abstract class PremonPat (pure interface)
  The syntactic class of patterns.
- public class PremonPatBind (pure interface)
  A variable pattern x:T.
- public class PremonPatDots (pure interface)
  A pattern (p`...`q). This has no categorical significance, but is
- public class PremonPatTuple (pure interface)
  A pattern matching a tuple (p1,...,pn).
- public abstract class PremonTarget (pure interface)
  A class used by the source editor, which allows either the constructors, the context, or
- public class PremonTargetConstructors (pure interface)
  Allows the constructors to be edited.
- public class PremonTargetContext (pure interface)
  Allows a context to be edited.
- public class PremonTargetTerm (pure interface)
  Allows a term to be edited.
- public abstract class PremonType (pure interface)
  The class representing a type.
- public class PremonTypeDots (pure interface)
  A type constructor T`...`U. This has no categorical significance,
- public class PremonTypeFun (pure interface)
  A function type.
- public class PremonTypeTuple (pure interface)
  The tuple type.
- public class PremonTypeVar (pure interface)
  A type variable.
- public class PremonVar (pure interface)
  The syntactic class of variables.
- public class PremonVarPrimitive (pure interface)
  This class represents the syntactic class of primitive functions. There is a bit of a hack
- public abstract class Printable (pure interface)
  A class of printable terms.
- public class PrintableString (pure interface)
  An implementation of the `Printable` class which prints a constant string.
- public abstract class Printer (pure interface)
  A class of printers. You can print strings in roman, bold, italic and typewriter to a
- public class PrinterStream (pure interface)
  An implementation of the `Printer` class which sends the output to a stream.
- public class PrinterStringBuffer (pure interface)
  An implementation of the `Printer` class which sends all output to a string
- public class PrinterTextArea (pure interface)
  An implementation of the `Printer` class which sends all output to a text area.
- public class ScrollableLayout (pure interface)
  A simple layout manager for adding scrollbars to a component. This has since been
- public abstract class Shuffle (pure interface)
- public class ShuffleCoMediate (pure interface)
  A partial shuffle which is the comediation of two partial shuffles. If
- public class ShuffleComp (pure interface)
  A shuffle which is the composition of two shuffles. If f : X
- public class ShuffleIdentity (pure interface)
  The identity shuffle.
- public class ShuffleInitial (pure interface)
  The initial partial shuffle from I to X, which is nowhere defined.
- public class ShuffleMediate (pure interface)
  A shuffle which is the mediateion of two shuffles. If f : X
- public class ShuffleTensor (pure interface)
  A shuffle which is the tensor of two shuffles. If f : W
- public class ShuffleTerminal (pure interface)
  The terminal shuffle from any object X to I.
- public class ShuffleZero (pure interface)
  The totally undefined partial shuffle between any two objects.
- public class SimpleNode (pure interface)
- public class Solution (pure interface)
- public class StdOut (pure interface)
  An implementation of the `Printer` class which sends the text to the standard
- public class TextAreaPlus (pure interface)
  An extension of the `TextArea` class which adds a method to find out whether
- public class Token (pure interface)
  Describes the input token stream.

##

- public class ParseException (pure interface)
  This exception is thrown when parse errors are encountered. You can explicitly create
- public class SemanticError (pure interface)
  A class of semantic errors
- public class TypeError (pure interface)
  An exception which indicates a type error

##

- public class TokenMgrError (pure interface)

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

###### NN.html