package

package

package

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 v₁...v_X.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 (M₁,...,M_n).
• 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 (M₁,...,M_n).
• 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 (P₁,...,P_n).
• 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 (T₁,...,T_n).
• 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 (p₁,...,p_n).
• 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.