method
(aspect of
class)
→
ReceivesAction
→
annotated with @contract
|
0.25 |