[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