class
VerifyTypes extends Phase
Instance Constructors
-
new
VerifyTypes(after: Option[Phase] = scala.None)
Type Members
-
abstract
type
State
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
-
-
final
def
asInstanceOf[T0]: T0
-
def
check(tree: Node): Node
-
def
clone(): AnyRef
-
-
def
ensuring(cond: (VerifyTypes) ⇒ Boolean, msg: ⇒ Any): VerifyTypes
-
-
def
ensuring(cond: Boolean, msg: ⇒ Any): VerifyTypes
-
def
ensuring(cond: Boolean): VerifyTypes
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
val
name: String
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
Shadowed Implicit Value Members
-
val
self: Any
-
val
self: Any
Inherited from AnyRef
Inherited from Any
Inherited by implicit conversion any2stringadd from
VerifyTypes to StringAdd
Inherited by implicit conversion any2stringfmt from
VerifyTypes to StringFormat
Optional phase which verifies that retyping the tree does not change any types. Useful for debugging type-related problems with large trees.