public class PremonTypeFun

java.lang.Object
   |
   +----Printable
           |
           +----PremonType
                   |
                   +----PremonTypeFun

public class PremonTypeFun
  extends PremonType

A function type.

Author:

Alan Jeffrey

Version: v1.0 1998/06/02

PremonTypeFun(PremonCat, PremonType, PremonType)

Create a new function type.

cat

The category of the function.

source

The source type of the function.

target

The target type of the function.

equals(PremonType)

print(Printer)

semantics()

The semantics is given using the appropriate function space.

traceable()

This type is traceable iff C is proc or (C is

PremonTypeFun

public PremonTypeFun(PremonCat cat,
                     PremonType source,
                     PremonType target);

Create a new function type.

Parameters:

cat - the category of the function.

source - the argument type.

U - the result type.

cat

public PremonCat cat;

The category of the function.

source

public PremonType source;

The source type of the function.

target

public PremonType target;

The target type of the function.

print

public void print(Printer p);

semantics

public Obj semantics();

The semantics is given using the appropriate function space.

Returns:

[[T]] [[U]] if C is val, [[T]] [[U]] if C is central, and [[T]] [[U]] if C is proc.

Overrides:

semantics in class PremonType

equals

public boolean equals(PremonType V);

traceable

public boolean traceable();

This type is traceable iff C is proc or (C is val and U is traceable).

Overrides:

traceable in class PremonType

---

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

PremonTypeFun.html