Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- final def analyze(declaredMethod: DeclaredMethod): PropertyComputationResult
- final def asInstanceOf[T0]: T0
- def c(state: CGState[ContextType])(eps: SomeEPS): ProperPropertyComputationResult
- final def ch: ClassHierarchy
- implicit final def classHierarchy: ClassHierarchy
- def clone(): AnyRef
- def continuationForTAC(declaredMethod: DeclaredMethod)(someEPS: SomeEPS): ProperPropertyComputationResult
- implicit val declaredMethods: DeclaredMethods
- def doHandleVirtualCall(callContext: ContextType, call: Call[V] with VirtualCall[V], pc: Int, specializedDeclaringClassType: ReferenceType, isPrecise: Boolean, calleesAndCallers: DirectCalls)(implicit state: CGState[ContextType]): Unit
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- final def getClass(): Class[_ <: AnyRef]
- final def handleCall(callContext: ContextType, callName: String, callDescriptor: MethodDescriptor, callDeclaringClass: ReferenceType, isStatic: Boolean, receiverType: ReferenceType, pc: Int, target: Result[Method], calleesAndCallers: DirectCalls): Unit
- def handlePreciseCall(calleeType: ObjectType, callContext: ContextType, call: Call[V] with VirtualCall[V], pc: Int, calleesAndCallers: DirectCalls)(implicit state: CGState[ContextType]): Unit
- def hashCode(): Int
- final def isInstanceOf[T0]: Boolean
- implicit final def logContext: LogContext
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- implicit final def p: SomeProject
- final def processMethod(state: CGState[ContextType], calls: DirectCalls): ProperPropertyComputationResult
- final def processMethod(callContext: ContextType, tacEP: EPS[Method, properties.TACAI]): ProperPropertyComputationResult
- def processMethodWithoutBody(eOptP: EOptionP[DeclaredMethod, Callers]): PropertyComputationResult
- final val processesMethodsWithoutBody: Boolean(true)
- val project: SomeProject
- implicit final val propertyStore: PropertyStore
- final def ps: PropertyStore
- def returnResult(calleesAndCallers: DirectCalls, enforceCalleesResult: Boolean = false)(implicit state: CGState[ContextType]): ProperPropertyComputationResult
- final def synchronized[T0](arg0: => T0): T0
- def toString(): String
- implicit val typeIterator: TypeIterator
- final def unknownLibraryCall(callContext: ContextType, callName: String, callDescriptor: MethodDescriptor, callDeclaringClass: ReferenceType, isStatic: Boolean, runtimeReceiverType: ReferenceType, packageName: String, pc: Int, calleesAndCallers: DirectCalls): Unit
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
Deprecated Value Members
- def finalize(): Unit
Inherited from AnyRef
Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- def clone(): AnyRef
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- 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(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- def finalize(): Unit
Inherited from Any
Value Members
- final def asInstanceOf[T0]: T0
- final def isInstanceOf[T0]: Boolean
Ungrouped
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- final def analyze(declaredMethod: DeclaredMethod): PropertyComputationResult
- final def asInstanceOf[T0]: T0
- def c(state: CGState[ContextType])(eps: SomeEPS): ProperPropertyComputationResult
- final def ch: ClassHierarchy
- implicit final def classHierarchy: ClassHierarchy
- def clone(): AnyRef
- def continuationForTAC(declaredMethod: DeclaredMethod)(someEPS: SomeEPS): ProperPropertyComputationResult
- implicit val declaredMethods: DeclaredMethods
- def doHandleVirtualCall(callContext: ContextType, call: Call[V] with VirtualCall[V], pc: Int, specializedDeclaringClassType: ReferenceType, isPrecise: Boolean, calleesAndCallers: DirectCalls)(implicit state: CGState[ContextType]): Unit
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- final def getClass(): Class[_ <: AnyRef]
- final def handleCall(callContext: ContextType, callName: String, callDescriptor: MethodDescriptor, callDeclaringClass: ReferenceType, isStatic: Boolean, receiverType: ReferenceType, pc: Int, target: Result[Method], calleesAndCallers: DirectCalls): Unit
- def handlePreciseCall(calleeType: ObjectType, callContext: ContextType, call: Call[V] with VirtualCall[V], pc: Int, calleesAndCallers: DirectCalls)(implicit state: CGState[ContextType]): Unit
- def hashCode(): Int
- final def isInstanceOf[T0]: Boolean
- implicit final def logContext: LogContext
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- implicit final def p: SomeProject
- final def processMethod(state: CGState[ContextType], calls: DirectCalls): ProperPropertyComputationResult
- final def processMethod(callContext: ContextType, tacEP: EPS[Method, properties.TACAI]): ProperPropertyComputationResult
- def processMethodWithoutBody(eOptP: EOptionP[DeclaredMethod, Callers]): PropertyComputationResult
- final val processesMethodsWithoutBody: Boolean(true)
- val project: SomeProject
- implicit final val propertyStore: PropertyStore
- final def ps: PropertyStore
- def returnResult(calleesAndCallers: DirectCalls, enforceCalleesResult: Boolean = false)(implicit state: CGState[ContextType]): ProperPropertyComputationResult
- final def synchronized[T0](arg0: => T0): T0
- def toString(): String
- implicit val typeIterator: TypeIterator
- final def unknownLibraryCall(callContext: ContextType, callName: String, callDescriptor: MethodDescriptor, callDeclaringClass: ReferenceType, isStatic: Boolean, runtimeReceiverType: ReferenceType, packageName: String, pc: Int, calleesAndCallers: DirectCalls): Unit
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- def finalize(): Unit