ch.epfl.yinyang.api

VirtualAnyRef

trait VirtualAnyRef extends VirtualAny

Member method-based virtualization of the AnyRef API.

This trait provides implementations of the infix methods corresponding to the AnyRef API that delegate to virtualized method calls on the first argument of the infix method.

Example: When faced with an expression of the form x.eq(y), the ch.epfl.yinyang.transformers.LanguageVirtualization transformation (or the @virtualized macro annotation) will generate a method call: infix_eq(x, y). This method call will be bound to an implementation based on normal rules of scoping. If it binds to the one in this trait, the corresponding macro will rewrite it to x.eq(y).

Linear Supertypes
VirtualAny, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. VirtualAnyRef
  2. VirtualAny
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

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

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  5. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  10. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  11. macro def infix_!=(x1: Any, x2: Any): Any

    Definition Classes
    VirtualAny
  12. macro def infix_##(x: Any): Any

    Definition Classes
    VirtualAny
  13. macro def infix_==(x1: Any, x2: Any): Any

    Definition Classes
    VirtualAny
  14. macro def infix_asInstanceOf[T](x: Any): Any

    Definition Classes
    VirtualAny
  15. macro def infix_clone(x: AnyRef): AnyRef

  16. macro def infix_eq(x1: AnyRef, x2: AnyRef): Boolean

  17. macro def infix_equals(x1: Any, x2: Any): Any

    Definition Classes
    VirtualAny
  18. macro def infix_finalize(x: AnyRef): Unit

  19. macro def infix_getClass(x: Any): Any

    Definition Classes
    VirtualAny
  20. macro def infix_hashCode(x: Any): Any

    Definition Classes
    VirtualAny
  21. macro def infix_isInstanceOf[T](x: Any): Any

    Definition Classes
    VirtualAny
  22. macro def infix_ne(x1: AnyRef, x2: AnyRef): Boolean

  23. macro def infix_notify(x: AnyRef): Unit

  24. macro def infix_notifyAll(x: AnyRef): Unit

  25. macro def infix_synchronized[T](x: AnyRef, body: T): T

  26. macro def infix_toString(x: Any): Any

    Definition Classes
    VirtualAny
  27. macro def infix_wait(x: AnyRef, timeout: Long, nanos: Int): Unit

  28. macro def infix_wait(x: AnyRef, timeout: Long): Unit

  29. macro def infix_wait(x: AnyRef): Unit

  30. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  31. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  32. final def notify(): Unit

    Definition Classes
    AnyRef
  33. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  34. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  35. def toString(): String

    Definition Classes
    AnyRef → Any
  36. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from VirtualAny

Inherited from AnyRef

Inherited from Any

Ungrouped