`[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

##

PremonTypeTuple(PremonType[])
  A new tuple type.

##

empty
  The emtpy tuple type ().

##

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

##

PremonTypeTuple

    public PremonTypeTuple(PremonType[] Ts);

  A new tuple type.

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

##

empty

    public static final PremonTypeTuple empty;

  The emtpy tuple type ().

##

print

    public void print(Printer p);

printB

    public void printB(Printer p);

semantics

    public Obj semantics();

  The semantics using tensor.

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

equals

    public boolean equals(PremonType T);

traceable

    public boolean traceable();

  Tuple types are not traceable.

  Returns:
    false
  Overrides:
    traceable in class PremonType

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

###### PremonTypeTuple.html