ReadLine.dcl

   1 definition module ReadLine
   2
   3 //Readline
   4 readLine :: !String !Bool !*env -> (!String, !*env)
   5 setReadLineName :: !String !*env -> !*env
   6
   7 //Initializing History and State Management
   8 //Note that this HAS to be executed when you want to add entries when the
   9 //history has not been used
  10 usingHistory :: !*env -> !*env
  11
  12 //History List Management
  13 addHistory :: !String !*env -> !*env
  14 clearHistory :: !*env -> !*env
  15 //TODO some more functions
  16
  17 //Information About the History List
  18 //TODO
  19
  20 //Moving Around the History List
  21 //TODO
  22
  23 //Searching the History List
  24 //Note that the return integers are just success flags. The actual found item
  25 //will be the current history position and the int is the offset of the search
  26 //within that item...
  27 historySearch :: !String !Int !*env-> (!Int, !*env)
  28 historySearchPrefix :: !String !Int !*env-> (!Int, !*env)
  29 historySearchPos :: !String !Int !Int !*env-> (!Int, !*env)
  30
  31 //Managing the History File
  32 readHistory :: !String !*env -> (!Bool, !*env)
  33 readHistoryRange :: !String !Int !Int !*env -> (!Bool, !*env)
  34 writeHistory :: !String !*env -> (!Bool, !*env)
  35 appendHistory :: !Int !String !*env -> (!Bool, !*env)
  36 historyTruncateFile :: !String !Int !*env -> (!Bool, !*env)