Member method-based virtualization of the Any API.
This trait provides implementations of the infix methods
corresponding to the Any 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 == y, the
ch.epfl.yinyang.transformers.LanguageVirtualization
transformation (or the @virtualized macro annotation)
will generate a method call:
infix_==(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.==(y).
Member method-based virtualization of the
AnyAPI.This trait provides implementations of the infix methods corresponding to the
AnyAPI that delegate to virtualized method calls on the first argument of the infix method.Example: When faced with an expression of the form
x == y, thech.epfl.yinyang.transformers.LanguageVirtualizationtransformation (or the@virtualizedmacro annotation) will generate a method call:infix_==(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 tox.==(y).