ReflectiveInvoker

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def +(other: String): String

   

   Implicit information

   This member is added by an implicit conversion from ReflectiveInvoker to any2stringadd[ReflectiveInvoker] performed by method any2stringadd in scala.Predef.

   Definition Classes

   any2stringadd

4. def ->[B](y: B): (ReflectiveInvoker, B)

   

   Implicit information

   This member is added by an implicit conversion from ReflectiveInvoker to ArrowAssoc[ReflectiveInvoker] performed by method ArrowAssoc in scala.Predef.

   Definition Classes

   ArrowAssoc

   Annotations

   @inline()

5. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. def ensuring(cond: (ReflectiveInvoker) ⇒ Boolean, msg: ⇒ Any): ReflectiveInvoker

   

   Implicit information

   This member is added by an implicit conversion from ReflectiveInvoker to Ensuring[ReflectiveInvoker] performed by method Ensuring in scala.Predef.

   Definition Classes

   Ensuring

9. def ensuring(cond: (ReflectiveInvoker) ⇒ Boolean): ReflectiveInvoker

   

   Implicit information

   This member is added by an implicit conversion from ReflectiveInvoker to Ensuring[ReflectiveInvoker] performed by method Ensuring in scala.Predef.

   Definition Classes

   Ensuring

10. def ensuring(cond: Boolean, msg: ⇒ Any): ReflectiveInvoker

    

    Implicit information

    This member is added by an implicit conversion from ReflectiveInvoker to Ensuring[ReflectiveInvoker] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

11. def ensuring(cond: Boolean): ReflectiveInvoker

    

    Implicit information

    This member is added by an implicit conversion from ReflectiveInvoker to Ensuring[ReflectiveInvoker] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

12. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

13. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

14. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

15. def formatted(fmtstr: String): String

    

    Implicit information

    This member is added by an implicit conversion from ReflectiveInvoker to StringFormat[ReflectiveInvoker] performed by method StringFormat in scala.Predef.

    Definition Classes

    StringFormat

    Annotations

    @inline()

16. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

17. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

18. def invokeReflective(pc: br.PC, declaringClass: ReferenceType, name: String, descriptor: MethodDescriptor, operands: (ReflectiveInvoker.this)#Operands): Option[(ReflectiveInvoker.this)#MethodCallResult]

    

    Performs a reflective call to the specified method.

    Performs a reflective call to the specified method. The declaring class needs to be in the classpath of the analyzing JavaVM.

    returns

    None when the reflective invocation has failed.

    See also

    DefaultJavaObjectToDomainValueConversion for details.

19. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

20. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

21. final def notify(): Unit

    

    Definition Classes

    AnyRef

22. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

23. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

24. def toDomainValue(pc: PC, value: AnyRef): (ReflectiveInvoker.this)#DomainReferenceValue

    

    Converts the given Java object to a corresponding DomainValue.

    Converts the given Java object to a corresponding DomainValue. By creating an DomainValue that represents an initialized (array/object) value.

    pc

    The program counter of the instruction that was responsible for creating the respective value. (This is in – in general – not the instruction where the transformation is performed.)

    value

    The object.

    returns

    A DomainReferenceValue.

    Definition Classes

    DefaultJavaObjectToDomainValueConversion → AsDomainValue

25. def toJavaObject(pc: PC, value: (ReflectiveInvoker.this)#DomainValue): Option[AnyRef]

    

    Converts – if possible – a given DomainValue to a Java object that is appropriately initialized.

    Converts – if possible – a given DomainValue to a Java object that is appropriately initialized.

    Implementation

    Every domain that supports the creation of a Java object's based on a domain value is expected to implement this method and to test if it can create a precise representation of the given value. If not, the implementation has to delegate the responsibility to the super method to creat an abstract representation.

    abstract override def toJavaObject(value : DomainValue): Option[Object] = {
     if(value...)
         // create and return Java object
     else
         super.toJavaObject(value)
    }

    returns

    Some(Object) is returned if it was possible to create a compatible corresponding Java object; otherwise None is returned. Default: None unless the value is null. In the latter case Some(null) is returned.

    Definition Classes

    AsJavaObject

    Note

    This operation is generally only possible if the domain value maintains enough state information to completely initialize the Java object.

26. def toString(): String

    

    Definition Classes

    AnyRef → Any

27. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

28. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

29. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

30. def warnOnFailedReflectiveCalls: Boolean

    

31. def →[B](y: B): (ReflectiveInvoker, B)

    

    Implicit information

    This member is added by an implicit conversion from ReflectiveInvoker to ArrowAssoc[ReflectiveInvoker] performed by method ArrowAssoc in scala.Predef.

    Definition Classes

    ArrowAssoc