gistfile1.txt

(module-name net.kjeldahl.kawatest)

(define-alias Bundle android.os.Bundle)
(define-alias Activity android.app.Activity)
(define-alias View android.view.View)
(define-alias TextView android.widget.TextView)
(define-alias LinearLayout android.widget.LinearLayout)
(define-alias Override java.lang.Override)
(define-alias Date java.util.Date)

(define-simple-class MainActivity (Activity)
  ((onCreate (savedInstanceState::Bundle)) (@Override)
   (invoke-special Activity (this) 'onCreate savedInstanceState)
   (define tv::TextView (TextView (this) text: "Kawa hello."))
   (define my-view::View (LinearLayout (this)
                                       orientation: LinearLayout:VERTICAL
                                       tv))
   ((this):setContentView my-view)
   (define str (string-append "KawaActivity - "
                              ((tv:getText):toString)
                              " - "
                              ((Date):toString)))
   (tv:setText str)))