about summary refs log blame commit diff stats
path: root/084console.mu
blob: e736642fcd15551b89547bb2fe21f3d0f1801839 (plain) (tree)
1
2
3
4
5
6
7
8

                                                                            
 


                                                                     
                                              
                     


                                                              
                       




               




                        
                   
                            
                            

 
                                                                           
             
                  
                                            
                                               

 
                                                                                                                
             
                  
   
                        
                                                                          
                                                          
     
                               
                                                                
                        
                                           
                                                                  
     


                                                                             
                                                                
   
                                                                      
                                                       
                                                             

 


                                                                            
                                                                                                                  
             
                  
                                                                       

                                                                      


                                                                            
 
 
                                                                                                                                                                                     
             
                  
   



                                                                           
                             
                         

        
                    
 
 
                                                                       
             
                  
   

                                                    

   

                                                                             
                                                                
             
                  
   
                        
                                                     
                  
   
                              
 
# Wrappers around interaction primitives that take a potentially fake object
# and are thus easier to test.

exclusive-container event [
  text:character
  keycode:number  # 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:number
  row:number
  column:number
]

container resize-event [
  width:number
  height:number
]

container console [
  current-event-index:number
  events:address:array:event
]

def new-fake-console events:address:array:event -> result:address:console [
  local-scope
  load-ingredients
  result:address:console <- new console:type
  *result <- put *result, events:offset, events
]

def read-event console:address:console -> result:event, console:address:console, found?:boolean, quit?:boolean [
  local-scope
  load-ingredients
  {
    break-unless console
    current-event-index:number <- get *console, current-event-index:offset
    buf:address:array:event <- get *console, events:offset
    {
      max:number <- length *buf
      done?:boolean <- greater-or-equal current-event-index, max
      break-unless done?
      dummy:address: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?:boolean <- 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:address:console -> result:character, console:address:console, found?:boolean, quit?:boolean [
  local-scope
  load-ingredients
  x:event, console, found?:boolean, quit?:boolean <- 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:character, converted?:boolean <- 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:address:console, chan:address:sink:character, screen:address:screen -> console:address:console, chan:address:sink:character, screen:address:screen [
  local-scope
  load-ingredients
  {
    c:character, console, found?:boolean, quit?:boolean <- 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:address:console -> console:address:console [
  local-scope
  load-ingredients
  {
    _, console, found?:boolean <- 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:address:console -> result:boolean [
  local-scope
  load-ingredients
  {
    break-unless console
    # fake consoles should be plenty fast; never skip
    return 0/false
  }
  result <- interactions-left?
]