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

# public class PremonJJTId

(source file: PremonJJTId.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonJJTNode
                       |
                       +----PremonJJTId

The pure class interface.

    public class PremonJJTId
      extends PremonJJTNode

  An identifier.

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

##

PremonJJTId(int)

##

name

##

desugarTypeVar()
  Desugar the identifier.
desugarVar(PremonType)
  Desugar the identifer.
desugarVarPrimitive(PremonType)
  Desugar the identifer.
desugarVarPrimitiveFun(PremonType, int)
  Desugar the identifer.
print(Printer)
setName(String)
  Set the name of the identifier.
toString()

##

PremonJJTId

    public PremonJJTId(int id);

##

name

    public String name;

##

setName

    public PremonJJTId setName(String s);

  Set the name of the identifier.

  Parameters:
    s - the name.
  Returns:
    this identifier.

print

    public void print(Printer p);

toString

    public String toString();

desugarVar

    public PremonVar desugarVar(PremonType T);

  Desugar the identifer.

  Parameters:
    T - the type of the desugared variable.
  Returns:
    this identifier as a typed variable.

desugarVarPrimitive

    public PremonVar desugarVarPrimitive(PremonType T);

  Desugar the identifer.

  Parameters:
    T - the type of the desugared constant.
  Returns:
    this identifier as a typed primitive constant.

desugarVarPrimitiveFun

    public PremonVar desugarVarPrimitiveFun(PremonType T,
                                            int curryings);

  Desugar the identifer.

  Parameters:
    T - the type of the desugared function.
    curryings - how many times the function has been curried.
  Returns:
    this identifier as a typed primitive function.

desugarTypeVar

    public PremonType desugarTypeVar();

  Desugar the identifier.

  Returns:
    this identifier as a type variable.

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

###### PremonJJTId.html