This is the mail archive of the
kawa@sourceware.org
mailing list for the Kawa project.
@Override notations for member functions (e.g. onCreate on Android)
- From: Marius Kjeldahl <marius dot kjeldahl at gmail dot com>
- To: kawa at sourceware dot org
- Date: Sun, 23 Feb 2014 14:18:00 +0100
- Subject: @Override notations for member functions (e.g. onCreate on Android)
- Authentication-results: sourceware.org; auth=none
I can't seem to get them working, like in the following example:
(define-simple-class MainActivity (android.app.Activity)
((onCreate (savedInstanceState :: android.os.Bundle)) (@Override)
(invoke-special android.app.Activity (this) 'onCreate savedInstanceState)
...)
Are @Override notation supported at all, and if so, how can I use them
on member functions like onCreate?
Thanks,
Marius K.