final case classPointCastR(casttyp: JawaType, varname: String, loc: ResourceUri, locIndex: Int, ownerSig: Signature) extends Point with Loc with Right with Product with Serializable
Set of program points corresponding to const class value.
Linear Supertypes
Serializable, Serializable, Product, Equals, Right, Loc, Point, AnyRef, Any
Set of program points corresponding to const class value.