starwisp.scm 27.9 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
;; Starwisp Copyright (C) 2013 Dave Griffiths
;;
;; This program is free software: you can redistribute it and/or modify
;; it under the terms of the GNU Affero General Public License as
;; published by the Free Software Foundation, either version 3 of the
;; License, or (at your option) any later version.
;;
;; This program is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;; GNU Affero General Public License for more details.
;;
;; You should have received a copy of the GNU Affero General Public License
;; along with this program.  If not, see <http://www.gnu.org/licenses/>.

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Dave Griffiths's avatar
Dave Griffiths committed
17
;; persistent database
18

Dave Griffiths's avatar
Dave Griffiths committed
19 20
(define db "/sdcard/test.db")
(db-open db)
21 22 23 24 25 26 27 28 29 30
(setup db "local")
(setup db "sync")
(setup db "stream")

(insert-entity-if-not-exists
 db "local" "app-settings" "null" 1
 (list
  (ktv "user-id" "varchar" "No name yet...")))

(display (db-all db "local" "app-settings"))(newline)
Dave Griffiths's avatar
Dave Griffiths committed
31

Dave Griffiths's avatar
Dave Griffiths committed
32 33
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; stuff in memory
Dave Griffiths's avatar
Dave Griffiths committed
34

Dave Griffiths's avatar
Dave Griffiths committed
35 36 37 38 39 40 41
(define (store-set store key value)
  (cond
    ((null? store) (list (list key value)))
    ((eq? key (car (car store)))
     (cons (list key value) (cdr store)))
    (else
     (cons (car store) (store-set (cdr store) key value)))))
Dave Griffiths's avatar
Dave Griffiths committed
42

Dave Griffiths's avatar
Dave Griffiths committed
43
(define (store-get store key default)
Dave Griffiths's avatar
Dave Griffiths committed
44
  (cond
Dave Griffiths's avatar
Dave Griffiths committed
45
    ((null? store) default)
Dave Griffiths's avatar
Dave Griffiths committed
46 47 48
    ((eq? key (car (car store)))
     (cadr (car store)))
    (else
Dave Griffiths's avatar
Dave Griffiths committed
49
     (store-get (cdr store) key default))))
Dave Griffiths's avatar
Dave Griffiths committed
50 51


Dave Griffiths's avatar
Dave Griffiths committed
52
(define store '())
Dave Griffiths's avatar
Dave Griffiths committed
53

Dave Griffiths's avatar
Dave Griffiths committed
54 55
(define (set-current! key value)
  (set! store (store-set store key value)))
Dave Griffiths's avatar
Dave Griffiths committed
56

Dave Griffiths's avatar
Dave Griffiths committed
57 58
(define (get-current key default)
  (store-get store key default))
Dave Griffiths's avatar
Dave Griffiths committed
59

Dave Griffiths's avatar
Dave Griffiths committed
60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; syncing code

(define url "http://192.168.2.1:8888/mongoose?")

(define (build-url-from-ktv ktv)
  (string-append "&" (ktv-key ktv) ":" (ktv-type ktv) "=" (stringify-value-url ktv)))

(define (build-url-from-ktvlist ktvlist)
  (foldl
   (lambda (ktv r)
     (string-append r (build-url-from-ktv ktv)))
   "" ktvlist))

(define (build-url-from-entity table e)
  (string-append
   url
   "fn=sync"
   "&table=" table
   "&entity-type=" (list-ref (car e) 0)
   "&unique-id=" (list-ref (car e) 1)
Dave Griffiths's avatar
Dave Griffiths committed
81 82
   "&dirty=" (number->string (list-ref (car e) 2))
   "&version=" (number->string (list-ref (car e) 3))
Dave Griffiths's avatar
Dave Griffiths committed
83 84 85 86 87 88 89 90 91 92 93 94 95 96
   (build-url-from-ktvlist (cadr e))))

;; spit all dirty entities to server
(define (spit-dirty db table)
  (map
   (lambda (e)
     (http-request
      (string-append "req-" (list-ref (car e) 1))
      (build-url-from-entity table e)
      (lambda (v)
        (display v)(newline)
        (if (equal? (car v) "inserted")
            (update-entity-clean db table (cadr v))
            (display "somefink went wrong")(newline)))))
97
   (dirty-entities db table)))
Dave Griffiths's avatar
Dave Griffiths committed
98

99
(define (suck-entity-from-server db table unique-id exists)
Dave Griffiths's avatar
Dave Griffiths committed
100 101 102 103 104 105 106
  ;; ask for the current version
  (http-request
   (string-append unique-id "-update-new")
   (string-append url "fn=entity&table=" table "&unique-id=" unique-id)
   (lambda (data)
     (msg "data from server request" data)
     ;; check "sync-insert" in sync.ss raspberry pi-side for the contents of 'entity'
107 108
     (let ((entity (list-ref data 0))
           (ktvlist (list-ref data 1)))
Dave Griffiths's avatar
Dave Griffiths committed
109
       (if (not exists)
110 111 112 113 114 115 116 117
           (begin
             (insert-entity-wholesale
              db table
              (list-ref entity 0) ;; entity-type
              (list-ref entity 1) ;; unique-id
              0 ;; dirty
              (list-ref entity 2) ;; version
              ktvlist))
Dave Griffiths's avatar
Dave Griffiths committed
118 119 120 121 122
           (update-to-version
            db table (get-entity-id db table unique-id)
            (list-ref entity 4) ktvlist)))
     '())))

Dave Griffiths's avatar
Dave Griffiths committed
123
;; repeatedly read version and request updates
Dave Griffiths's avatar
Dave Griffiths committed
124
(define (suck-new db table)
Dave Griffiths's avatar
Dave Griffiths committed
125 126 127
  (list
   (http-request
    "new-entities-req"
128
    (string-append url "fn=entity-versions&table=" table)
Dave Griffiths's avatar
Dave Griffiths committed
129
    (lambda (data)
130
      (foldl
Dave Griffiths's avatar
Dave Griffiths committed
131
       (lambda (i r)
Dave Griffiths's avatar
Dave Griffiths committed
132 133 134 135 136
         (let* ((unique-id (car i))
                (version (cadr i))
                (exists (entity-exists? db table unique-id))
                (old
                 (if exists
137 138 139
                     (> version (get-entity-version
                                 db table
                                 (get-entity-id db table unique-id)))
Dave Griffiths's avatar
Dave Griffiths committed
140
                     #f)))
Dave Griffiths's avatar
Dave Griffiths committed
141
           ;; if we don't have this entity or the version on the server is newer
Dave Griffiths's avatar
Dave Griffiths committed
142
           (if (or (not exists) old)
143
               (cons (suck-entity-from-server db table unique-id exists) r)
Dave Griffiths's avatar
Dave Griffiths committed
144 145
               r)))
       '()
146
       data)))))
Dave Griffiths's avatar
Dave Griffiths committed
147

Dave Griffiths's avatar
Dave Griffiths committed
148
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Dave Griffiths's avatar
Dave Griffiths committed
149

Dave Griffiths's avatar
Dave Griffiths committed
150 151 152 153 154
(define (mbutton id title fn)
  (button (make-id id) title 20 fillwrap fn))

(define (mtext id text)
  (text-view (make-id id) text 20 fillwrap))
155

156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220
(define (xwise n l)
  (define (_ c l)
    (cond
      ((null? l) (if (null? c) '() (list c)))
      ((eqv? (length c) (- n 1))
       (cons (append c (list (car l))) (_ '() (cdr l))))
      (else
       (_ (append c (list (car l))) (cdr l)))))
  (_ '() l))

(define (build-pack-buttons act fn)
  (map
   (lambda (packs)
     (apply
      horiz
      (map
       (lambda (pack)
         (let ((name (ktv-get pack "name")))
           (button (make-id (string-append act "-pack-" name))
                   name 20 fillwrap
                   (lambda ()
                     (fn pack)))))
       packs)))
   (xwise 2 (db-all db "sync" "pack"))))

;(define (build-individual-buttons act fn)
; (map
;   (lambda (individuals)
;     (apply
;      horiz
;      (map
;       (lambda (individual)
;         (let ((name (ktv-get individual "name")))
;           (button (make-id (string-append act "-ind-" name))
;                   name 20 fillwrap
;                   (lambda ()
;                     (fn individual)))))
;       individuals)))
;   (xwise
;    2 (db-all-where
;       db "sync" "mongoose"
;       (list "pack-id" (ktv-get (get-current 'pack '()) "unique_id"))))))

;(define (build-pack-buttons act fn)
;  (map
;   (lambda (pack)
;     (let ((name (ktv-get pack "name")))
;       (button (make-id (string-append act "-pack-" name))
;               name 20 fillwrap
;               (lambda ()
;                 (fn pack)))))
;   (db-all db "sync" "pack")))

(define (build-individual-buttons act fn)
  (map
   (lambda (individual)
     (let ((name (ktv-get individual "name")))
       (button (make-id (string-append act "-ind-" name))
               name 20 fillwrap
               (lambda ()
                 (fn individual)))))
   (db-all-where
    db "sync" "mongoose"
    (list "pack-id" (ktv-get (get-current 'pack '()) "unique_id")))))

221 222 223 224 225
(define-activity-list
  (activity
   "splash"
   (vert
    (text-view (make-id "splash-title") "Mongoose 2000" 40 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
226
    (mtext "splash-about" "Advanced mongoose technology")
227
    (spacer 20)
Dave Griffiths's avatar
Dave Griffiths committed
228
    (mbutton "f2" "Get started!" (lambda () (list (start-activity-goto "main" 2 "")))))
229 230 231 232 233 234 235 236 237
   (lambda (activity arg)
     (activity-layout activity))
   (lambda (activity arg) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))

Dave Griffiths's avatar
Dave Griffiths committed
238

239 240 241
  (activity
   "main"
   (vert
Dave Griffiths's avatar
Dave Griffiths committed
242 243
    (text-view (make-id "main-title") "Mongoose 2000" 40 fillwrap)
    (text-view (make-id "main-about") "Advanced mongoose technology" 20 fillwrap)
244
    (spacer 10)
Dave Griffiths's avatar
Dave Griffiths committed
245 246 247
    (mbutton "main-experiments" "Experiments" (lambda () (list (start-activity "experiments" 2 ""))))
    (mbutton "main-manage" "Manage Packs" (lambda () (list (start-activity "manage-packs" 2 ""))))
    (mbutton "main-tag" "Tag Location" (lambda () (list (start-activity "tag-location" 2 ""))))
248 249 250 251 252 253
    (mtext "foo" "Your ID")
    (edit-text (make-id "main-id-text") "" 30 fillwrap
               (lambda (v)
                 (set-current! 'user-id v)
                 (update-entity
                  db "local" 1 (list (ktv "user-id" "varchar" v)))))
Dave Griffiths's avatar
Dave Griffiths committed
254 255 256
    (mtext "foo" "Database")
    (horiz
     (mbutton "main-send" "Email" (lambda () (list)))
257
     (mbutton "main-sync" "Sync" (lambda () (list (start-activity "sync" 0 ""))))))
Dave Griffiths's avatar
Dave Griffiths committed
258 259
   (lambda (activity arg)
     (activity-layout activity))
260 261 262 263 264
   (lambda (activity arg)
     (let ((user-id (ktv-get (get-entity db "local" 1) "user-id")))
       (set-current! 'user-id user-id)
       (list
        (update-widget 'edit-text (get-id "main-id-text") 'text user-id))))
Dave Griffiths's avatar
Dave Griffiths committed
265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))

  (activity
   "experiments"
   (vert
    (text-view (make-id "title") "Experiments" 40 fillwrap)
    (spacer 10)
    (button (make-id "main-sync") "Pup Focal" 20 fillwrap (lambda () (list (start-activity "pack-select" 2 ""))))
    )
   (lambda (activity arg)
     (activity-layout activity))
   (lambda (activity arg) (list))
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))

  (activity
   "pack-select"
   (vert
    (text-view (make-id "title") "Select a Pack" 40 fillwrap)
    (spacer 10)
292 293 294
    (linear-layout
     (make-id "pack-select-pack-list")
     'vertical fill (list))
Dave Griffiths's avatar
Dave Griffiths committed
295 296 297 298
    )

   (lambda (activity arg)
     (activity-layout activity))
299 300 301 302 303 304 305 306 307
   (lambda (activity arg)
     (list
      (update-widget 'linear-layout (get-id "pack-select-pack-list") 'contents
                     (build-pack-buttons
                      "pack-select"
                      (lambda (pack)
                        (set-current! 'pack pack)
                        (list (start-activity "individual-select" 2 "")))))
      ))
Dave Griffiths's avatar
Dave Griffiths committed
308 309 310 311 312 313 314 315 316 317 318
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))

  (activity
   "individual-select"
   (vert
    (text-view (make-id "title") "Select an individual" 40 fillwrap)
    (spacer 10)
319 320 321
    (linear-layout
     (make-id "individual-select-list")
     'vertical fill (list))
Dave Griffiths's avatar
Dave Griffiths committed
322 323 324
    )
   (lambda (activity arg)
     (activity-layout activity))
325 326 327 328 329 330 331 332
   (lambda (activity arg)
     (list
      (update-widget 'linear-layout (get-id "individual-select-list") 'contents
                     (build-individual-buttons
                      "ind-select"
                      (lambda (individual)
                        (set-current! 'individual individual)
                        (list (start-activity "pup-focal" 2 "")))))))
Dave Griffiths's avatar
Dave Griffiths committed
333 334 335 336 337 338 339
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))


Dave Griffiths's avatar
Dave Griffiths committed
340
  (let ((clear-focal-toggles
341
         (lambda (v but)
Dave Griffiths's avatar
Dave Griffiths committed
342
           (list
343 344 345 346 347 348 349
            (update-widget 'toggle-button (get-id "pup-focal-moving") 'checked
                           (if (equal? but "pup-focal-moving") 1 0))
            (update-widget 'toggle-button (get-id "pup-focal-foraging") 'checked
                           (if (equal? but "pup-focal-foraging") 1 0))
            (update-widget 'toggle-button (get-id "pup-focal-resting") 'checked
                           (if (equal? but "pup-focal-resting") 1 0)))
           )))
Dave Griffiths's avatar
Dave Griffiths committed
350

Dave Griffiths's avatar
Dave Griffiths committed
351 352 353 354 355 356 357 358
    (activity
     "pup-focal"
     (vert
      (horiz
       (text-view (make-id "pup-focal-title") "Pup Focal" 40 fillwrap)
       (vert
        (text-view (make-id "pup-focal-timer-text") "Time left" 20 fillwrap)
        (text-view (make-id "pup-focal-timer") "30" 40 fillwrap)))
359
      (text-view (make-id "pup-focal-name/pack") "" 25 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
360 361
      (text-view (make-id "pup-focal") "Current Activity" 20 fillwrap)
      (horiz
362 363 364
       (toggle-button (make-id "pup-focal-moving") "Moving" 20 fillwrap (lambda (v) (clear-focal-toggles v "pup-focal-moving")))
       (toggle-button (make-id "pup-focal-foraging") "Foraging" 20 fillwrap (lambda (v) (clear-focal-toggles v "pup-focal-foraging")))
       (toggle-button (make-id "pup-focal-resting") "Resting" 20 fillwrap (lambda (v) (clear-focal-toggles v "pup-focal-resting"))))
Dave Griffiths's avatar
Dave Griffiths committed
365
      (text-view (make-id "pup-focal-escort-text") "Current Escort" 20 fillwrap)
366 367
      (spinner (make-id "pup-focal-escort") (list "mongoose1" "mongoose2")
                 fillwrap (lambda (v) '()))
Dave Griffiths's avatar
Dave Griffiths committed
368 369 370 371 372 373
      (horiz
       (button (make-id "pup-focal-event") "New event" 20 fillwrap (lambda () (list (start-activity "pup-focal-event" 2 ""))))
       (toggle-button (make-id "pup-focal-pause") "Pause" 20 fillwrap (lambda (v) '()))
       ))
     (lambda (activity arg)
       (activity-layout activity))
374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390
     (lambda (activity arg)
       (list
        (update-widget 'text-view (get-id "pup-focal-name/pack") 'text
                       (string-append
                        "Pack: " (ktv-get (get-current 'pack '()) "name") " "
                        "Pup: " (ktv-get (get-current 'individual '()) "name")))
        (update-widget 'spinner (get-id "pup-focal-escort") 'array
                 (foldl
                  (lambda (individual r)
                    (let ((name (ktv-get individual "name")))
                      (if (equal? name (ktv-get (get-current 'individual '()) "name"))
                          r (cons name r))))
                  '()
                  (dbg (db-all-where
                   db "sync" "mongoose"
                   (list "pack-id" (ktv-get (get-current 'pack '()) "unique_id"))))))
        ))
Dave Griffiths's avatar
Dave Griffiths committed
391 392 393 394 395
     (lambda (activity) '())
     (lambda (activity) '())
     (lambda (activity) '())
     (lambda (activity) '())
     (lambda (activity requestcode resultcode) '())))
Dave Griffiths's avatar
Dave Griffiths committed
396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423

  (activity
   "pup-focal-event"
   (vert
    (text-view (make-id "main-title") "Pup focal event" 40 fillwrap)
    (spacer 10)
    (button (make-id "event-self") "Self feeding" 20 fillwrap
            (lambda () (list (start-activity "event-self" 2 ""))))
    (button (make-id "event-fed") "Being fed" 20 fillwrap
            (lambda () (list (start-activity "event-fed" 2 ""))))
    (button (make-id "event-aggression") "Aggression" 20 fillwrap
            (lambda () (list (start-activity "event-aggression" 2 ""))))
    (spacer 10)
    (button (make-id "event-cancel") "Cancel" 20 fillwrap
            (lambda () (list (finish-activity 0))))
    )
   (lambda (activity arg)
     (activity-layout activity))
   (lambda (activity arg) (list))
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))

  (activity
   "event-self"
   (vert
Dave Griffiths's avatar
Dave Griffiths committed
424
    (text-view (make-id "main-title") "Self feeding event" 40 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452
    (spacer 10)
    (toggle-button (make-id "event-self-found") "Found item?" 20 fillwrap
                   (lambda (v) '()))
    (toggle-button (make-id "event-self-kept") "Kept item?" 20 fillwrap
                   (lambda (v) '()))

    (text-view (make-id "event-self-type-text") "Food type" 20 fillwrap)
    (spinner (make-id "event-self-type") (list "Beetle" "Millipede") fillwrap (lambda (v) '()))

    (text-view (make-id "event-self-type-text") "Food size" 20 fillwrap)
    (spinner (make-id "event-self-type") (list "Small" "Medium" "Large") fillwrap (lambda (v) '()))
    (spacer 10)
    (horiz
     (button (make-id "event-self-cancel") "Cancel" 20 fillwrap (lambda () (list (finish-activity 0))))
     (button (make-id "event-self-done") "Done" 20 fillwrap (lambda () (list (finish-activity 0)))))
    )
   (lambda (activity arg)
     (activity-layout activity))
   (lambda (activity arg) (list))
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))

  (activity
   "event-fed"
   (vert
Dave Griffiths's avatar
Dave Griffiths committed
453
    (text-view (make-id "main-title") "Being fed event" 40 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484
    (spacer 10)
    (text-view (make-id "event-fed-who-text") "Who by" 20 fillwrap)
    (spinner (make-id "event-fed-who") (list "Mongoose 1" "Mongoose 2" "Mongoose 3") fillwrap (lambda (v) '()))
    (toggle-button (make-id "event-fed-closest") "Closest to feeder?" 20 fillwrap
                   (lambda (v) '()))

    (text-view (make-id "event-self-type-text") "Who moved?" 20 fillwrap)
    (spinner (make-id "event-self-type") (list "Pup" "Feeder") fillwrap (lambda (v) '()))

    (text-view (make-id "event-fed-type-text") "Food type" 20 fillwrap)
    (spinner (make-id "event-fed-type") (list "Beetle" "Millipede") fillwrap (lambda (v) '()))

    (text-view (make-id "event-fed-type-text") "Food size" 20 fillwrap)
    (spinner (make-id "event-fed-type") (list "Small" "Medium" "Large") fillwrap (lambda (v) '()))
    (spacer 10)
    (horiz
     (button (make-id "event-fed-cancel") "Cancel" 20 fillwrap (lambda () (list (finish-activity 0))))
     (button (make-id "event-fed-done") "Done" 20 fillwrap (lambda () (list (finish-activity 0)))))
    )
   (lambda (activity arg)
     (activity-layout activity))
   (lambda (activity arg) (list))
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))

  (activity
   "event-aggression"
   (vert
Dave Griffiths's avatar
Dave Griffiths committed
485
    (text-view (make-id "main-title") "Aggression event" 40 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511
    (spacer 10)
    (text-view (make-id "event-agg-who-text") "Other individual" 20 fillwrap)
    (spinner (make-id "event-agg-who") (list "Mongoose 1" "Mongoose 2" "Mongoose 3") fillwrap (lambda (v) '()))
    (text-view (make-id "event-agg-severity-text") "Severity" 20 fillwrap)
    (seek-bar (make-id "event-agg-severity") 100 fillwrap (lambda (v) '()))
    (spacer 10)
    (horiz
     (button (make-id "event-agg-cancel") "Cancel" 20 fillwrap (lambda () (list (finish-activity 0))))
     (button (make-id "event-agg-done") "Done" 20 fillwrap (lambda () (list (finish-activity 0)))))
    )
   (lambda (activity arg)
     (activity-layout activity))
   (lambda (activity arg) (list))
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

  (activity
   "manage-packs"
   (vert
    (text-view (make-id "title") "Manage packs" 40 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
512 513 514 515
    (linear-layout
     (make-id "manage-packs-pack-list")
     'vertical fill (list))
    (button (make-id "manage-packs-new") "New pack" 20 fillwrap (lambda () (list (start-activity "new-pack" 2 ""))))
Dave Griffiths's avatar
Dave Griffiths committed
516 517 518
    )
   (lambda (activity arg)
     (activity-layout activity))
Dave Griffiths's avatar
Dave Griffiths committed
519 520 521
   (lambda (activity arg)
     (list
      (update-widget 'linear-layout (get-id "manage-packs-pack-list") 'contents
522 523 524 525 526
                     (build-pack-buttons
                      "manage-packs"
                      (lambda (pack)
                        (set-current! 'pack pack)
                        (list (start-activity "manage-individual" 2 "")))))
Dave Griffiths's avatar
Dave Griffiths committed
527
      ))
Dave Griffiths's avatar
Dave Griffiths committed
528 529 530 531
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
532
   (lambda (activity requestcode resultcode) '()))
Dave Griffiths's avatar
Dave Griffiths committed
533 534 535 536 537 538

  (activity
   "new-pack"
   (vert
    (text-view (make-id "title") "New pack" 40 fillwrap)
    (spacer 10)
Dave Griffiths's avatar
Dave Griffiths committed
539
    (text-view (make-id "new-pack-name-text") "Pack name" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
540
    (edit-text (make-id "new-pack-name") "" 30 fillwrap
541
               (lambda (v) (set-current! 'pack-name v) '()))
Dave Griffiths's avatar
Dave Griffiths committed
542
    (spacer 10)
Dave Griffiths's avatar
Dave Griffiths committed
543 544 545 546 547
    (horiz
     (button (make-id "new-pack-cancel") "Cancel" 20 fillwrap (lambda () (list (finish-activity 2))))
     (button (make-id "new-pack-done") "Done" 20 fillwrap
             (lambda ()
               (insert-entity
Dave Griffiths's avatar
Dave Griffiths committed
548
                db "sync" "pack" (get-current 'user-id "no id")
549
                (list
Dave Griffiths's avatar
Dave Griffiths committed
550
                 (ktv "name" "varchar" (get-current 'pack-name "no name"))))
Dave Griffiths's avatar
Dave Griffiths committed
551
               (list (finish-activity 2)))))
Dave Griffiths's avatar
Dave Griffiths committed
552 553 554 555 556 557 558 559 560 561 562
    )
   (lambda (activity arg)
     (activity-layout activity))
   (lambda (activity arg) (list))
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))

  (activity
Dave Griffiths's avatar
Dave Griffiths committed
563
   "manage-individual"
Dave Griffiths's avatar
Dave Griffiths committed
564 565
   (vert
    (text-view (make-id "title") "Manage individuals" 40 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
566 567 568 569
    (text-view (make-id "manage-individual-pack-name") "Pack:" 20 fillwrap)
    (linear-layout
     (make-id "manage-individuals-list")
     'vertical fill (list))
Dave Griffiths's avatar
Dave Griffiths committed
570
    (button (make-id "manage-individuals-new") "New individual" 20 fillwrap (lambda () (list (start-activity "new-individual" 2 ""))))
Dave Griffiths's avatar
Dave Griffiths committed
571 572 573
    )
   (lambda (activity arg)
     (activity-layout activity))
Dave Griffiths's avatar
Dave Griffiths committed
574 575 576
   (lambda (activity arg)
     (list
      (update-widget 'linear-layout (get-id "manage-individuals-list") 'contents
577 578 579 580
                     (build-individual-buttons
                      "manage-ind"
                      (lambda (individual)
                        (list (start-activity "manage-individual" 2 "")))))
Dave Griffiths's avatar
Dave Griffiths committed
581
      (update-widget 'text-view (get-id "manage-individual-pack-name") 'text
Dave Griffiths's avatar
Dave Griffiths committed
582
                     (string-append "Pack: " (ktv-get (get-current 'pack '()) "name")))
Dave Griffiths's avatar
Dave Griffiths committed
583
      ))
Dave Griffiths's avatar
Dave Griffiths committed
584 585 586 587
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
588
   (lambda (activity requestcode resultcode) '()))
Dave Griffiths's avatar
Dave Griffiths committed
589 590 591 592 593

  (activity
   "new-individual"
   (vert
    (text-view (make-id "title") "New Mongoose" 40 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
594
    (text-view (make-id "new-individual-pack-name") "Pack:" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
595
    (text-view (make-id "new-individual-name-text") "Name" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
596 597
    (edit-text (make-id "new-individual-name") "" 30 fillwrap
               (lambda (v) (set-current! 'individual-name v) '()))
Dave Griffiths's avatar
Dave Griffiths committed
598
    (text-view (make-id "new-individual-name-text") "Gender" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
599 600
    (spinner (make-id "new-individual-gender") (list "Female" "Male") fillwrap
             (lambda (v) (set-current! 'individual-gender v) '()))
Dave Griffiths's avatar
Dave Griffiths committed
601
    (text-view (make-id "new-individual-dob-text") "Date of Birth" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
602 603 604
    (horiz
     (text-view (make-id "new-individual-dob") "00/00/00" 25 fillwrap)
     (button (make-id "date") "Set date" 20 fillwrap (lambda () '())))
Dave Griffiths's avatar
Dave Griffiths committed
605
    (text-view (make-id "new-individual-litter-text") "Litter code" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
606 607
    (edit-text (make-id "new-individual-litter-code") "" 30 fillwrap
               (lambda (v) (set-current! 'individual-litter-code v) '()))
Dave Griffiths's avatar
Dave Griffiths committed
608
    (text-view (make-id "new-individual-chip-text") "Chip code" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
609 610 611 612 613 614 615
    (edit-text (make-id "new-individual-chip-code") "" 30 fillwrap
               (lambda (v) (set-current! 'individual-chip-code v) '()))
    (horiz
     (button (make-id "new-individual-cancel") "Cancel" 20 fillwrap (lambda () (list (finish-activity 2))))
     (button (make-id "new-individual-done") "Done" 20 fillwrap
             (lambda ()
               (insert-entity
Dave Griffiths's avatar
Dave Griffiths committed
616
                db "sync" "mongoose" (get-current 'user-id "no id")
617
                (list
Dave Griffiths's avatar
Dave Griffiths committed
618 619 620 621 622
                 (ktv "name" "varchar" (get-current 'individual-name "no name"))
                 (ktv "gender" "varchar" (get-current 'individual-gender "Female"))
                 (ktv "litter-code" "varchar" (get-current 'individual-litter-code ""))
                 (ktv "chip-code" "varchar" (get-current 'individual-chip-code ""))
                 (ktv "pack-id" "varchar" (ktv-get (get-current 'pack '()) "unique_id"))
623
                 ))
Dave Griffiths's avatar
Dave Griffiths committed
624
               (list (finish-activity 2)))))
625 626 627
    )
   (lambda (activity arg)
     (activity-layout activity))
Dave Griffiths's avatar
Dave Griffiths committed
628 629 630
   (lambda (activity arg)
     (list
      (update-widget 'text-view (get-id "new-individual-pack-name") 'text
Dave Griffiths's avatar
Dave Griffiths committed
631
                     (string-append "Pack: " (ktv-get (get-current 'pack '()) "name")))))
632 633 634 635
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
Dave Griffiths's avatar
Dave Griffiths committed
636 637 638 639 640 641 642
   (lambda (activity requestcode resultcode) '()))

  (activity
   "update-individual"
   (vert
    (text-view (make-id "title") "Update Mongoose" 40 fillwrap)
    (spacer 10)
Dave Griffiths's avatar
Dave Griffiths committed
643
    (text-view (make-id "update-individual-name-text") "Name" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
644
    (edit-text (make-id "update-individual-name") "" 30 fillwrap (lambda (v) '()))
Dave Griffiths's avatar
Dave Griffiths committed
645
    (text-view (make-id "update-individual-name-text") "Gender" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
646
    (spinner (make-id "update-individual-gender") (list "Female" "Male") fillwrap (lambda (v) '()))
Dave Griffiths's avatar
Dave Griffiths committed
647
    (text-view (make-id "update-individual-dob-text") "Date of Birth" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
648 649 650
    (horiz
     (text-view (make-id "update-individual-dob") "00/00/00" 25 fillwrap)
     (button (make-id "date") "Set date" 20 fillwrap (lambda () '())))
Dave Griffiths's avatar
Dave Griffiths committed
651
    (text-view (make-id "update-individual-litter-text") "Litter code" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
652
    (edit-text (make-id "update-individual-litter-code") "" 30 fillwrap (lambda (v) '()))
Dave Griffiths's avatar
Dave Griffiths committed
653
    (text-view (make-id "update-individual-chip-text") "Chip code" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
654 655 656
    (edit-text (make-id "update-individual-chip-code") "" 30 fillwrap (lambda (v) '()))
    (spacer 10)
    (horiz
Dave Griffiths's avatar
Dave Griffiths committed
657 658
     (button (make-id "update-individual-delete") "Delete" 20 fillwrap (lambda () (list (finish-activity 2))))
     (button (make-id "update-individual-died") "Died" 20 fillwrap (lambda () (list (finish-activity 2)))))
Dave Griffiths's avatar
Dave Griffiths committed
659
    (horiz
Dave Griffiths's avatar
Dave Griffiths committed
660 661
     (button (make-id "update-individual-cancel") "Cancel" 20 fillwrap (lambda () (list (finish-activity 2))))
     (button (make-id "update-individual-done") "Done" 20 fillwrap (lambda () (list (finish-activity 2)))))
Dave Griffiths's avatar
Dave Griffiths committed
662 663 664 665 666 667 668 669 670 671 672 673 674 675 676
    )
   (lambda (activity arg)
     (activity-layout activity))
   (lambda (activity arg) (list))
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))


  (activity
   "tag-location"
   (vert
    (text-view (make-id "title") "Tag Location" 40 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
677
    (text-view (make-id "tag-location-gps-text") "GPS" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
678
    (horiz
Dave Griffiths's avatar
Dave Griffiths committed
679 680
     (text-view (make-id "tag-location-gps-lat") "LAT" 20 fillwrap)
     (text-view (make-id "tag-location-gps-lng") "LNG" 20 fillwrap))
Dave Griffiths's avatar
Dave Griffiths committed
681

Dave Griffiths's avatar
Dave Griffiths committed
682
    (text-view (make-id "tag-location-name-text") "Name" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
683 684
    (edit-text (make-id "tag-location-name") "" 30 fillwrap (lambda (v) '()))

Dave Griffiths's avatar
Dave Griffiths committed
685
    (text-view (make-id "tag-location-pack-text") "Associated pack" 20 fillwrap)
Dave Griffiths's avatar
Dave Griffiths committed
686 687 688 689 690 691 692
    (spinner (make-id "tag-location-pack") (list "Pack 1" "Pack 2") fillwrap (lambda (v) '()))

    (text-view (make-id "tag-location-radius-text") "Approx radius of area" 20 fillwrap)
    (seek-bar (make-id "tag-location-radius") 100 fillwrap (lambda (v) '()))
    (text-view (make-id "tag-location-radius-value") "10m" 20 fillwrap)

    (horiz
Dave Griffiths's avatar
Dave Griffiths committed
693 694
     (button (make-id "tag-location-cancel") "Cancel" 20 fillwrap (lambda () (list (finish-activity 2))))
     (button (make-id "tag-location-done") "Done" 20 fillwrap (lambda () (list (finish-activity 2)))))
Dave Griffiths's avatar
Dave Griffiths committed
695 696 697 698 699 700 701 702 703 704 705 706

    )
   (lambda (activity arg)
     (activity-layout activity))
   (lambda (activity arg) (list))
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity) '())
   (lambda (activity requestcode resultcode) '()))


707 708 709 710 711
  (let ((build-dirty
         (lambda ()
           (let ((sync (get-dirty-stats db "sync"))
                 (stream (get-dirty-stats db "stream")))
             (msg sync stream)
712 713 714
             (string-append
              "Pack data: " (number->string (car sync)) "/" (number->string (cadr sync)) " "
              "Focal data: " (number->string (car stream)) "/" (number->string (cadr stream)))))))
715 716 717 718 719 720
    (activity
     "sync"
     (vert
      (text-view (make-id "sync-title") "Sync database" 40 fillwrap)
      (mtext "sync-dirty" "...")
      (horiz
721 722 723 724 725 726 727 728 729
       (mbutton "sync-connect" "Connect"
                (lambda ()
                  (list
                   (network-connect
                    "network"
                    "mongoose-web"
                    (lambda (state)
                      (list
                       (update-widget 'text-view (get-id "sync-connect") 'text state)))))))
Dave Griffiths's avatar
Dave Griffiths committed
730
       (mbutton "sync-sync" "Push"
731
                (lambda ()
Dave Griffiths's avatar
Dave Griffiths committed
732 733 734
                  (spit-dirty db "sync")))
       (mbutton "sync-pull" "Pull"
                (lambda ()
735
                  (suck-new db "sync"))))
736 737 738 739 740 741 742 743
      (text-view (make-id "sync-console") "..." 15 (layout 300 'wrap-content 1 'left))
      (mbutton "main-send" "Done" (lambda () (list (finish-activity 2)))))

     (lambda (activity arg)
       (activity-layout activity))
     (lambda (activity arg)
       (list
        (update-widget 'text-view (get-id "sync-dirty") 'text (build-dirty))
744 745
        ;;(update-widget 'text-view (get-id "sync-console") 'text (build-sync-debug db "sync"))
        ))
746 747 748 749 750 751 752
     (lambda (activity) '())
     (lambda (activity) '())
     (lambda (activity) '())
     (lambda (activity) '())
     (lambda (activity requestcode resultcode) '())))


Dave Griffiths's avatar
Dave Griffiths committed
753 754


755
  )