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

public class PremonTypeTuple

(source file: PremonTypeTuple.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonType
                   |
                   +----PremonTypeTuple
The pure class interface. 
public class PremonTypeTuple
  extends PremonType
The tuple type.

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

Constuctor Index

O PremonTypeTuple(PremonType[])
A new tuple type.

Variables Index

O empty
The emtpy tuple type ().

Methods

O equals(PremonType)
O print(Printer)
O printB(Printer)
O semantics()
The semantics using tensor.
O traceable()
Tuple types are not traceable.

Constructors

O PremonTypeTuple
public PremonTypeTuple(PremonType[] Ts);
A new tuple type.

Parameters:
Ts - the array of types T1...Tn to tuple together.

Variables

O empty
public static final PremonTypeTuple empty;
The emtpy tuple type ().

Methods

O print
public void print(Printer p);

O printB

public void printB(Printer p);

O semantics

public Obj semantics();
The semantics using tensor.

Returns:
[[T1]]...[[Tn]].
Overrides:
semantics in class PremonType

O equals

public boolean equals(PremonType T);

O traceable

public boolean traceable();
Tuple types are not traceable.

Returns:
false
Overrides:
traceable in class PremonType

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