object TypesUtil
- Source
- TypesUtil.scala
- Alphabetic
- By Inheritance
- TypesUtil
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def getPossibleClasses(value: Expr[V], stmts: Array[Stmt[V]], project: SomeProject, onlyObjectTypes: Boolean = false): Option[Iterator[Type]]
Returns types that a given expression potentially evaluates to.
Returns types that a given expression potentially evaluates to. Identifies local uses of Class constants, class instances returned from Class.forName, by accesses to a primitive type's class as well as from Object.getClass.
- def getPossibleForNameClass(classNameDefSite: Int, stmts: Array[Stmt[V]], project: SomeProject, onlyObjectTypes: Boolean): Option[ObjectType]
Returns class that may be loaded by an invocation of Class.forName with the given String.
- def getPossibleForNameClasses(className: V, context: Context, depender: Entity, stmts: Array[Stmt[V]], project: SomeProject, failure: () => Unit, onlyObjectTypes: Boolean)(implicit typeIterator: TypeIterator, state: TypeIteratorState, ps: PropertyStore): Set[ObjectType]
Returns classes that may be loaded by an invocation of Class.forName.
Returns classes that may be loaded by an invocation of Class.forName. Clients MUST handle TWO types of dependencies: - One where the depender is the given one and the dependee provides allocation sites of Class objects on which the method in question is defined AND - One where the depender is a tuple of the given depender and the String "getPossibleTypes" and the dependee provides allocation sites of Strings that give class names of such classes
- def getPossibleForNameClasses(className: Expr[V], stmts: Array[Stmt[V]], project: SomeProject, onlyObjectTypes: Boolean): Option[Set[ObjectType]]
Returns classes that may be loaded by an invocation of Class.forName.
- def getTypesOfVar(uvar: V): Option[Iterator[ReferenceType]]
Retrieves the possible runtime types of a local variable if they are known precisely.
Retrieves the possible runtime types of a local variable if they are known precisely. Otherwise, an empty Iterator is returned.
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated