about summary refs log tree commit diff stats
path: root/027call_ingredient.cc
Commit message (Expand)AuthorAgeFilesLines
* 4266 - space for alloc-id in heap allocationsKartik Agaram2018-06-241-0/+2
* 4264Kartik Agaram2018-06-171-0/+191
* 4259Kartik Agaram2018-06-161-191/+0
* 4258 - undo 4257Kartik Agaram2018-06-151-17/+0
* 4257 - abortive attempt at safe fat pointersKartik Agaram2018-06-151-0/+17
* 4243Kartik Agaram2018-05-121-3/+3
* 4226 - example program: exceptionsKartik K. Agaram2018-03-151-1/+1
* 4134 - 'input' = 'ingredient'Kartik K. Agaram2017-12-031-0/+3
* 3877Kartik K. Agaram2017-05-261-2/+2
* 3663 - fix a refcounting bug: '(type)' != 'type'Kartik K. Agaram2016-11-101-2/+3
* 3541Kartik K. Agaram2016-10-211-3/+1
* 3522Kartik K. Agaram2016-10-191-2/+2
* 3381Kartik K. Agaram2016-09-171-3/+3
* 3380Kartik K. Agaram2016-09-171-9/+9
* 3374Kartik K. Agaram2016-09-161-4/+4
* 3309Kartik K. Agaram2016-09-091-6/+10
* 3202 - bugfix: 'start-running' and refcountsKartik K. Agaram2016-08-161-0/+1
* 3120Kartik K. Agaram2016-07-211-2/+2
* 3079Kartik K. Agaram2016-06-291-1/+1
* 3074Kartik K. Agaram2016-06-291-1/+2
* 2990Kartik K. Agaram2016-05-201-5/+5
* 2931 - be explicit about making copiesKartik K. Agaram2016-05-061-2/+2
* 2864 - replace all address:shared with just addressKartik K. Agaram2016-04-241-5/+3
* 2862Kartik K. Agaram2016-04-241-0/+185
pan class="nv">interaction primitives that take a potentially fake object # and are thus easier to test. exclusive-container event [ text:char keycode:num # keys on keyboard without a unicode representation touch:touch-event # mouse, track ball, etc. resize:resize-event # update the assume-console handler if you add more variants ] container touch-event [ type:num row:num column:num ] container resize-event [ width:num height:num ] container console [ current-event-index:num events:&:@:event ] def new-fake-console events:&:@:event -> result:&:console [ local-scope load-ingredients result:&:console <- new console:type *result <- put *result, events:offset, events ] def read-event console:&:console -> result:event, console:&:console, found?:bool, quit?:bool [ local-scope load-ingredients { break-unless console current-event-index:num <- get *console, current-event-index:offset buf:&:@:event <- get *console, events:offset { max:num <- length *buf done?:bool <- greater-or-equal current-event-index, max break-unless done? dummy:&:event <- new event:type return *dummy, console/same-as-ingredient:0, 1/found, 1/quit } result <- index *buf, current-event-index current-event-index <- add current-event-index, 1 *console <- put *console, current-event-index:offset, current-event-index return result, console/same-as-ingredient:0, 1/found, 0/quit } switch # real event source is infrequent; avoid polling it too much result:event, found?:bool <- check-for-interaction return result, console/same-as-ingredient:0, found?, 0/quit ] # variant of read-event for just keyboard events. Discards everything that # isn't unicode, so no arrow keys, page-up/page-down, etc. But you still get # newlines, tabs, ctrl-d.. def read-key console:&:console -> result:char, console:&:console, found?:bool, quit?:bool [ local-scope load-ingredients x:event, console, found?:bool, quit?:bool <- read-event console return-if quit?, 0, console/same-as-ingredient:0, found?, quit? return-unless found?, 0, console/same-as-ingredient:0, found?, quit? c:char, converted?:bool <- maybe-convert x, text:variant return-unless converted?, 0, console/same-as-ingredient:0, 0/found, 0/quit return c, console/same-as-ingredient:0, 1/found, 0/quit ] def send-keys-to-channel console:&:console, chan:&:sink:char, screen:&:screen -> console:&:console, chan:&:sink:char, screen:&:screen [ local-scope load-ingredients { c:char, console, found?:bool, quit?:bool <- read-key console loop-unless found? break-if quit? assert c, [invalid event, expected text] screen <- print screen, c chan <- write chan, c loop } chan <- close chan ] def wait-for-event console:&:console -> console:&:console [ local-scope load-ingredients { _, console, found?:bool <- read-event console loop-unless found? } ] # use this helper to skip rendering if there's lots of other events queued up def has-more-events? console:&:console -> result:bool [ local-scope load-ingredients { break-unless console # fake consoles should be plenty fast; never skip return 0/false } result <- interactions-left? ]