about summary refs log tree commit diff stats
path: root/html/linux/tile/box.mu.html
Commit message (Collapse)AuthorAgeFilesLines
* .Kartik Agaram2021-04-211-3/+3
|
* .Kartik Agaram2021-03-231-0/+171
n> ^
b0bf5321 ^
77d5b5d6 ^
104854ca ^

748b6865 ^

8fb0e672 ^

b0bf5321 ^
77d5b5d6 ^
104854ca ^
748b6865 ^
8fb0e672 ^

b0bf5321 ^
77d5b5d6 ^
104854ca ^
748b6865 ^
b0bf5321 ^
748b6865 ^




8fb0e672 ^

b0bf5321 ^
77d5b5d6 ^
104854ca ^
5fdd8e96 ^
b0bf5321 ^
502d2ea5 ^
104854ca ^
8fb0e672 ^
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
                                                                  

                  
                              

 
                                                                   
             

                           

                                         

 
                                                          
             
                  
                                 

 
                                                                                      
             
                  
                                     
                                                   




                                                 

 
                                                        
             
                  
                                     
                                                   
                         
                                     
 
# new type to help incrementally read texts (arrays of characters)
container stream [
  index:number
  data:address:array:character
]

def new-stream s:address:array:character -> result:address:stream [
  local-scope
  load-ingredients
  result <- new stream:type
  *result <- put *result, index:offset, 0
  *result <- put *result, data:offset, s
]

def rewind-stream in:address:stream -> in:address:stream [
  local-scope
  load-ingredients
  *in <- put *in, index:offset, 0
]

def read-line in:address:stream -> result:address:array:character, in:address:stream [
  local-scope
  load-ingredients
  idx:number <- get *in, index:offset
  s:address:array:character <- get *in, data:offset
  next-idx:number <- find-next s, 10/newline, idx
  result <- copy-range s, idx, next-idx
  idx <- add next-idx, 1  # skip newline
  # write back
  *in <- put *in, index:offset, idx
]

def end-of-stream? in:address:stream -> result:boolean [
  local-scope
  load-ingredients
  idx:number <- get *in, index:offset
  s:address:array:character <- get *in, data:offset
  len:number <- length *s
  result <- greater-or-equal idx, len
]