All three forms are valid, and have the effect that B
is assumed as the type of this
in class A
.
The first two variants
trait A { self: B => ... }
trait A { foo: B => ... }
introduce self
(respectively, foo
) as an alias for this
in trait A
. This is useful for accessing the this
reference from an inner class. I.e. you could then use self
instead of A.this
when accessing the this
reference of the trait A
from a class nested within it. Example:
class MyFrame extends JFrame { frame =>
getContentPane().add( new JButton( "Hide" ) {
addActionListener( new ActionListener {
def actionPerformed( e: ActionEvent ) {
// this.setVisible( false ) --> shadowed by JButton!
frame.setVisible( false )
}
})
})
}
The third variant,
trait A { this: B => ... }
does not introduce an alias for this
; it just sets the self type.