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

public class ObjFun

(source file: ObjFun.java)
java.lang.Object
   |
   +----Printable
           |
           +----Obj
                   |
                   +----ObjFun
The pure class interface. 
public class ObjFun
  extends Obj
A homobject C[X,Y].

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

Constuctor Index

O ObjFun(PremonCat, Obj, Obj)
Create a new homobject C[X,Y].

Variables Index

O cat
The category of the homobject.
O source
The source object.
O target
The target object.

Methods

O print(Printer)

Constructors

O ObjFun
public ObjFun(PremonCat C,
              Obj X,
              Obj Y);
Create a new homobject C[X,Y].

Parameters:
C - the category.
X - the source object.
Y - the target object.
Returns:
C[X,Y] the homobject.

Variables

O cat
public final PremonCat cat;
The category of the homobject.

O source

public final Obj source;
The source object.

O target

public final Obj target;
The target object.

Methods

O print
public void print(Printer p);

[all packages] [package ] [class hierarchy] [index]
ObjFun.html