aa
|
Public Member Functions | |
String | str () |
final String | toString () |
Package Functions | |
HMType | _fresh (HashSet< HMVar > nongen, HashMap< HMType, HMType > vars) |
abstract SB | _str (SB sb, VBitSet vbs, boolean debug) |
abstract HMType | find () |
HMType | fresh (HashSet< HMVar > nongen) |
boolean | is_top () |
boolean | occurs_in (HashSet< HMVar >nongen) |
boolean | occurs_in (HMType[] args) |
boolean | occurs_in_type (HMType v) |
abstract HMType | union (HMType t) |
Package Attributes | |
HMType | _u |
|
package |
Definition at line 171 of file HM1.java.
References com.cliffc.aa.HM.HM1.Oper._args, com.cliffc.aa.HM.HM1.HMType._fresh(), com.cliffc.aa.HM.HM1.Oper._name, com.cliffc.aa.HM.HM1.HMType.find(), and com.cliffc.aa.HM.HM1.HMType.occurs_in().
Referenced by com.cliffc.aa.HM.HM1.HMType._fresh(), and com.cliffc.aa.HM.HM1.HMType.fresh().
Reimplemented in com.cliffc.aa.HM.HM1.Oper, and com.cliffc.aa.HM.HM1.HMVar.
Referenced by com.cliffc.aa.HM.HM1.HMVar._str(), com.cliffc.aa.HM.HM1.Oper._str(), com.cliffc.aa.HM.HM1.HMType.str(), and com.cliffc.aa.HM.HM1.HMType.toString().
|
abstractpackage |
Reimplemented in com.cliffc.aa.HM.HM1.Oper, and com.cliffc.aa.HM.HM1.HMVar.
Referenced by com.cliffc.aa.HM.HM1.HMType._fresh(), com.cliffc.aa.HM.HM1.HMType.occurs_in_type(), and com.cliffc.aa.HM.HM1.HMVar.union().
Definition at line 167 of file HM1.java.
References com.cliffc.aa.HM.HM1.HMType._fresh().
Referenced by com.cliffc.aa.HM.HM1.Ident.hm().
|
package |
Definition at line 165 of file HM1.java.
References com.cliffc.aa.HM.HM1.HMType._u.
Referenced by com.cliffc.aa.HM.HM1.HMType.occurs_in_type(), and com.cliffc.aa.HM.HM1.HMVar.type().
|
package |
Definition at line 186 of file HM1.java.
References com.cliffc.aa.HM.HM1.HMType.occurs_in_type().
Referenced by com.cliffc.aa.HM.HM1.HMType._fresh(), and com.cliffc.aa.HM.HM1.HMType.occurs_in_type().
|
package |
Definition at line 190 of file HM1.java.
References com.cliffc.aa.HM.HM1.HMType.occurs_in_type().
|
package |
Definition at line 194 of file HM1.java.
References com.cliffc.aa.HM.HM1.HMType.find(), com.cliffc.aa.HM.HM1.HMType.is_top(), and com.cliffc.aa.HM.HM1.HMType.occurs_in().
Referenced by com.cliffc.aa.HM.HM1.HMType.occurs_in(), and com.cliffc.aa.HM.HM1.HMVar.union().
String com.cliffc.aa.HM.HM1.HMType.str | ( | ) |
Definition at line 163 of file HM1.java.
References com.cliffc.aa.HM.HM1.HMType._str(), and com.cliffc.aa.util.SB.toString().
final String com.cliffc.aa.HM.HM1.HMType.toString | ( | ) |
Definition at line 162 of file HM1.java.
References com.cliffc.aa.HM.HM1.HMType._str(), and com.cliffc.aa.util.SB.toString().
Reimplemented in com.cliffc.aa.HM.HM1.Oper, and com.cliffc.aa.HM.HM1.HMVar.
Referenced by com.cliffc.aa.HM.HM1.Apply.hm(), com.cliffc.aa.HM.HM1.HMVar.union(), and com.cliffc.aa.HM.HM1.Oper.union().
|
package |
Definition at line 159 of file HM1.java.
Referenced by com.cliffc.aa.HM.HM1.HMVar._str(), com.cliffc.aa.HM.HM1.HMVar.find(), com.cliffc.aa.HM.HM1.HMType.is_top(), and com.cliffc.aa.HM.HM1.HMVar.union().