editor.mod 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533
  1. MODULE editor;
  2. (* based on the kilo editor building course*)
  3. (* Step 56 *)
  4. (*** IMPORTS ***)
  5. IMPORT IO, termios, FIO, libc, CharClass, NumberIO, ASCII ;
  6. IMPORT STextIO, Strings, SYSTEM, SplitV1, Storage, MemUtils;
  7. (*** data ***)
  8. TYPE
  9. abufType = RECORD
  10. b : SYSTEM.ADDRESS;
  11. len : CARDINAL;
  12. END;
  13. abufTypePtr = POINTER TO abufType;
  14. erow = RECORD
  15. size : CARDINAL;
  16. chars : SYSTEM.ADDRESS;
  17. END;
  18. CONST
  19. KILO_VERSION = "0.0.1";
  20. (* escape sequences length *)
  21. clearScreenStrLen = 4;
  22. cursorHomeStrLen = 3;
  23. tildeStrLen = 3;
  24. requestCursorPosStrLen = 4;
  25. cursorOnStrLen = 6;
  26. cursorOffStrLen = 6;
  27. eraseLineStrLen = 3;
  28. (* fct key mapping*)
  29. ARROW_LEFT = 1000;
  30. ARROW_RIGHT = 1001;
  31. ARROW_UP = 1002;
  32. ARROW_DOWN = 1003;
  33. HOME_KEY = 1004;
  34. END_KEY = 1005;
  35. PAGE_UP = 1006;
  36. PAGE_DOWN = 1007;
  37. DEL_KEY = 1008;
  38. VAR
  39. editorConfig : RECORD
  40. screenrows : CARDINAL;
  41. screencols : CARDINAL;
  42. posX : CARDINAL;
  43. posY : CARDINAL;
  44. theTermios : termios.TERMIOS;
  45. row : erow;
  46. numrows : CARDINAL;
  47. END;
  48. c : CHAR;
  49. TCSAFLUSH : INTEGER;
  50. theStructure: SplitV1.Structure;
  51. i : CARDINAL;
  52. (* escape sequences *)
  53. clearScreenStr : ARRAY [0..3] OF CHAR;
  54. cursorHomeStr : ARRAY [0..2] OF CHAR;
  55. tildeStr : ARRAY [0..2] OF CHAR;
  56. requestCursorPosStr : ARRAY [0..3] OF CHAR;
  57. cursorposStr : ARRAY [0..15] OF CHAR;
  58. cursorOnStr : ARRAY [0..5] OF CHAR;
  59. cursorOffStr : ARRAY [0..5] OF CHAR;
  60. eraseLineStr : ARRAY [0..2] OF CHAR;
  61. (* temporary variables *)
  62. tmpString : ARRAY [0..15] OF CHAR;
  63. tmpString1 : ARRAY [0..15] OF CHAR;
  64. tmpString2 : Strings.String1;
  65. cc : Strings.String1;
  66. (* error and information message string *)
  67. message : ARRAY [0..79] OF CHAR;
  68. (******************** Utilities *****************)
  69. PROCEDURE Card2Str ( x : CARDINAL; VAR str : ARRAY OF CHAR);
  70. BEGIN
  71. IF x < 10 THEN
  72. NumberIO.CardToStr(x,1,str);
  73. ELSIF x < 100 THEN
  74. NumberIO.CardToStr(x,2,str);
  75. ELSE
  76. NumberIO.CardToStr(x,3,str);
  77. END;
  78. END Card2Str;
  79. (******************** Buffer ******************)
  80. PROCEDURE abufInit( VAR ptr : abufTypePtr);
  81. BEGIN
  82. Storage.ALLOCATE(ptr,SYSTEM.TSIZE(abufType) );
  83. ptr^.b := NIL;
  84. ptr^.len := 0;
  85. END abufInit;
  86. PROCEDURE abAppend (VAR ptr : abufTypePtr; theSourceAdress: SYSTEM.ADDRESS; theSourceLen : CARDINAL );
  87. BEGIN
  88. IF ptr <> NIL THEN
  89. IF ptr^.b = NIL THEN
  90. Storage.ALLOCATE(ptr^.b,theSourceLen);
  91. ELSE
  92. Storage.REALLOCATE( ptr^.b,ptr^.len + theSourceLen);
  93. END;
  94. MemUtils.MemCopy(theSourceAdress,theSourceLen, SYSTEM.ADDADR(ptr^.b,ptr^.len));
  95. ptr^.len := ptr^.len + theSourceLen;
  96. END;
  97. END abAppend;
  98. PROCEDURE abFree (VAR ptr : abufTypePtr);
  99. BEGIN
  100. Storage.DEALLOCATE(ptr^.b, ptr^.len);
  101. Storage.DEALLOCATE(ptr,SYSTEM.TSIZE(abufType));
  102. END abFree;
  103. (*** Terminal ***)
  104. PROCEDURE CtrlKey(c: CHAR) : CARDINAL;
  105. VAR
  106. n : BITSET;
  107. BEGIN
  108. n := BITSET(ORD(c));
  109. n := n * BITSET(1FH);
  110. RETURN CARDINAL(n)
  111. END CtrlKey;
  112. PROCEDURE die (s : ARRAY OF CHAR);
  113. BEGIN
  114. libc.write(FIO.StdOut,SYSTEM.ADR(cursorHomeStr), cursorHomeStrLen);
  115. libc.write(FIO.StdOut,SYSTEM.ADR(clearScreenStr), clearScreenStrLen);
  116. libc.perror(s);
  117. FOR i := 0 TO Strings.Length(s) DO
  118. IO.Write(s[i])
  119. END;
  120. HALT
  121. END die;
  122. PROCEDURE disablerawMode() : INTEGER;
  123. VAR
  124. result : INTEGER;
  125. BEGIN
  126. IO.BufferedMode(0,TRUE);
  127. IO.BufferedMode(1,TRUE);
  128. result := termios.tcsetattr(FIO.StdIn, TCSAFLUSH, editorConfig.theTermios);
  129. IF result = -1 THEN
  130. editorConfig.theTermios := termios.KillTermios(editorConfig.theTermios);
  131. die("tcsetattr")
  132. ELSE
  133. RETURN result
  134. END;
  135. END disablerawMode;
  136. PROCEDURE enablerawMode;
  137. BEGIN
  138. libc.atexit(disablerawMode);
  139. editorConfig.theTermios := termios.InitTermios();
  140. IF termios.tcgetattr(FIO.StdIn, editorConfig.theTermios) = -1 THEN
  141. die("tcgetattr")
  142. END;
  143. IO.UnBufferedMode(0,TRUE);
  144. IO.UnBufferedMode(1,TRUE);
  145. END enablerawMode;
  146. PROCEDURE editorReadKey() : CARDINAL;
  147. VAR
  148. c : CHAR;
  149. d : CHAR;
  150. num : CARDINAL;
  151. (*
  152. The Home key could be sent as <esc>[1~, <esc>[7~, <esc>[H, or
  153. <esc>OH (this is the letter O followed by H).
  154. Similarly, the End key could be sent as <esc>[4~, <esc>[8~,
  155. <esc>[F, or <esc>OF (this is the letter O followed by F).
  156. *)
  157. BEGIN
  158. IO.Read(c);
  159. IF c = ASCII.esc THEN
  160. IO.Read(c);
  161. (* mode := command; *)
  162. IF c = "[" THEN
  163. IO.Read(c);
  164. IF (c > "0") AND (c <"9") THEN
  165. IO.Read(d);
  166. IF d = "~" THEN
  167. CASE c OF
  168. "4", "8" : num := END_KEY; |
  169. "1", "7" : num := HOME_KEY; |
  170. "5" : num := PAGE_UP; |
  171. "6" : num := PAGE_DOWN;|
  172. "3" : num := DEL_KEY
  173. END;
  174. END;
  175. ELSIF (c = "A") OR (c = "B") OR (c = "C") OR (c = "D") OR (c = "F") OR (c = "H") THEN
  176. CASE c OF
  177. "A" : num := ARROW_UP; |
  178. "B" : num := ARROW_DOWN ; |
  179. "C" : num := ARROW_RIGHT; |
  180. "D" : num := ARROW_LEFT; |
  181. "F" : num := END_KEY; |
  182. "H" : num := HOME_KEY;
  183. END;
  184. ELSIF c = "O" THEN
  185. IO.Read(c);
  186. CASE c OF
  187. "F" : num := END_KEY; |
  188. "H" : num := HOME_KEY;
  189. END;
  190. ELSE
  191. message := ("key not recognized");
  192. END;
  193. (* mode := move; *)
  194. (* <esc>OF <esc>OH à voir !*)
  195. END;
  196. RETURN num;
  197. ELSE
  198. (* mode := edit; *)
  199. RETURN ORD(c)
  200. END;
  201. END editorReadKey;
  202. (******************** file I/O ***************)
  203. PROCEDURE editorOpen;
  204. VAR
  205. line : ARRAY [0..13] OF CHAR;
  206. linelen : CARDINAL;
  207. BEGIN
  208. line := "Hello, world!";
  209. linelen := 14;
  210. editorConfig.row.size := linelen;
  211. Storage.ALLOCATE(editorConfig.row.chars, linelen);
  212. MemUtils.MemCopy(SYSTEM.ADR(line),linelen,editorConfig.row.chars );
  213. editorConfig.numrows := 1;
  214. END editorOpen;
  215. PROCEDURE editorMoveCursor(c : CARDINAL);
  216. BEGIN
  217. WITH editorConfig DO
  218. CASE c OF
  219. ARROW_UP, ORD("e") : IF posY > 1 THEN DEC(posY) END; |
  220. ARROW_DOWN, ORD("x") : IF posY < (screenrows - 1) THEN INC(posY) END; |
  221. ARROW_LEFT, ORD("s") : IF posX > 1 THEN DEC(posX) END; |
  222. ARROW_RIGHT, ORD("d") : IF posX < (screencols - 1) THEN INC(posX) END; |
  223. PAGE_UP : posY := 1; |
  224. PAGE_DOWN : posY := screenrows; |
  225. HOME_KEY : posX := 1; |
  226. END_KEY : posX := screencols;
  227. END;
  228. END
  229. END editorMoveCursor;
  230. PROCEDURE editorProcessKeypress;
  231. VAR
  232. c : CARDINAL;
  233. BEGIN
  234. c := editorReadKey();
  235. CASE c OF
  236. 17 : libc.write(FIO.StdOut,SYSTEM.ADR(cursorHomeStr), cursorHomeStrLen);
  237. libc.write(FIO.StdOut,SYSTEM.ADR(clearScreenStr), clearScreenStrLen);
  238. HALT; |
  239. ORD("e"),
  240. ORD("x"),
  241. ORD("s"),
  242. ORD("d"),
  243. HOME_KEY,
  244. END_KEY,
  245. PAGE_UP,
  246. PAGE_DOWN,
  247. ARROW_UP,
  248. ARROW_DOWN,
  249. ARROW_LEFT,
  250. ARROW_RIGHT : editorMoveCursor(c);
  251. END
  252. END editorProcessKeypress;
  253. (*** Output ***)
  254. (* PROCEDURE editorDrawRows(VAR ptr : abufTypePtr);
  255. CONST
  256. tilde = "~";
  257. VAR
  258. y : CARDINAL;
  259. welcome : ARRAY [0..79] OF CHAR;
  260. welcomeLen : CARDINAL;
  261. blanks : CARDINAL;
  262. blanksStr : ARRAY[0..79] OF CHAR;
  263. blankStrLength : CARDINAL;
  264. BEGIN
  265. (* Creation of the about text *)
  266. welcome := "Kilo editor -- version ";
  267. Strings.Concat(welcome,KILO_VERSION,welcome);
  268. welcomeLen := Strings.Length(welcome);
  269. cc[0] := CHR(13);
  270. Strings.Concat(welcome,cc,welcome);
  271. cc[0] := CHR(10);
  272. Strings.Concat(welcome,cc,welcome);
  273. (* centering the welcome text *)
  274. blanks := (editorConfig.screencols - welcomeLen) /2;
  275. (* blanksStr := ""; *)
  276. cc[0] := " ";
  277. blanksStr := "";
  278. FOR i := 0 TO blanks DO
  279. Strings.Concat(blanksStr,cc,blanksStr);
  280. END;
  281. blankStrLength := Strings.Length(blanksStr);
  282. (* display of the page *)
  283. FOR y := 1 TO editorConfig.screenrows -1 DO
  284. (* for all lines except the last one *)
  285. IF y > editorConfig.numrows +1 THEN
  286. IF ((y = (editorConfig.screenrows / 3)) AND (editorConfig.screencols > welcomeLen)) THEN
  287. abAppend(ptr,SYSTEM.ADR(blanksStr), blankStrLength);
  288. abAppend(ptr,SYSTEM.ADR(welcome),welcomeLen );
  289. ELSE
  290. abAppend(ptr,SYSTEM.ADR(tildeStr), tildeStrLen);
  291. abAppend(ptr,SYSTEM.ADR(eraseLineStr),eraseLineStrLen )
  292. END;
  293. ELSE
  294. len := editorConfig.row.size;
  295. IF len > editorConfig.screencols THEN
  296. len := editorConfig.screencols
  297. END;
  298. abAppend(ptr,SYSTEM.ADR(str1), Strings.Length(str1));
  299. END;
  300. END;
  301. abAppend(ptr,SYSTEM.ADR(tilde), 1);
  302. END editorDrawRows; *)
  303. PROCEDURE editorDrawRows(VAR ptr : abufTypePtr);
  304. CONST
  305. tilde = "~";
  306. VAR
  307. y : CARDINAL;
  308. welcome : ARRAY [0..79] OF CHAR;
  309. welcomeLen : CARDINAL;
  310. blanks : CARDINAL;
  311. blanksStr : ARRAY[0..79] OF CHAR;
  312. blankStrLength : CARDINAL;
  313. BEGIN
  314. (* Creation of the about text *)
  315. welcome := "Kilo editor -- version ";
  316. Strings.Concat(welcome,KILO_VERSION,welcome);
  317. welcomeLen := Strings.Length(welcome);
  318. cc[0] := CHR(13);
  319. Strings.Concat(welcome,cc,welcome);
  320. cc[0] := CHR(10);
  321. Strings.Concat(welcome,cc,welcome);
  322. (* centering the welcome text *)
  323. blanks := (editorConfig.screencols - welcomeLen) /2;
  324. (* blanksStr := ""; *)
  325. cc[0] := " ";
  326. blanksStr := "";
  327. FOR i := 0 TO blanks DO
  328. Strings.Concat(blanksStr,cc,blanksStr);
  329. END;
  330. blankStrLength := Strings.Length(blanksStr);
  331. (* display of the page *)
  332. FOR y := 1 TO editorConfig.screenrows -1 DO
  333. (* for all lines except the last one *)
  334. IF ((y = (editorConfig.screenrows / 3)) AND (editorConfig.screencols > welcomeLen)) THEN
  335. abAppend(ptr,SYSTEM.ADR(blanksStr), blankStrLength);
  336. abAppend(ptr,SYSTEM.ADR(welcome),welcomeLen );
  337. ELSE
  338. abAppend(ptr,SYSTEM.ADR(tildeStr), tildeStrLen);
  339. abAppend(ptr,SYSTEM.ADR(eraseLineStr),eraseLineStrLen )
  340. END;
  341. END;
  342. abAppend(ptr,SYSTEM.ADR(tilde), 1);
  343. END editorDrawRows;
  344. PROCEDURE editorRefreshScreen;
  345. VAR
  346. ptr : abufTypePtr;
  347. BEGIN
  348. abufInit(ptr);
  349. abAppend(ptr,SYSTEM.ADR(cursorOffStr), cursorOffStrLen);
  350. abAppend(ptr,SYSTEM.ADR(cursorHomeStr), cursorHomeStrLen);
  351. editorDrawRows(ptr);
  352. (* cursorpos(1,1,FALSE); *)
  353. cursorpos(editorConfig.posX,editorConfig.posY,FALSE);
  354. abAppend(ptr,SYSTEM.ADR(cursorposStr), Strings.Length(cursorposStr));
  355. abAppend(ptr,SYSTEM.ADR(cursorOnStr), cursorOnStrLen);
  356. libc.write(FIO.StdOut,ptr^.b,ptr^.len);
  357. abFree(ptr);
  358. END editorRefreshScreen;
  359. PROCEDURE requestCursorPosition(VAR x,y : CARDINAL);
  360. VAR
  361. c : CHAR;
  362. str : ARRAY [0..15] OF CHAR;
  363. BEGIN
  364. str := "";
  365. SplitV1.InitStructure(theStructure);
  366. libc.write(FIO.StdOut,SYSTEM.ADR(requestCursorPosStr),requestCursorPosStrLen);
  367. (* getting answer *)
  368. str := "";
  369. REPEAT
  370. IO.Read(c);
  371. cc[0] := c;
  372. Strings.Concat(str,cc,str);
  373. UNTIL c = "R";
  374. Strings.Delete(str,0,2);
  375. Strings.Delete(str,Strings.Length(str) -1 ,1);
  376. SplitV1.SplitStr(str, ";", theStructure);
  377. NumberIO.StrToCard(theStructure[0].element,y);
  378. NumberIO.StrToCard(theStructure[1].element,x);
  379. END requestCursorPosition;
  380. PROCEDURE cursorpos(x,y : CARDINAL; emit : BOOLEAN);
  381. BEGIN
  382. cursorposStr := "";
  383. Strings.Concat(cursorposStr, ASCII.esc,cursorposStr);
  384. Strings.Concat(cursorposStr, "[",cursorposStr);
  385. tmpString := "";
  386. Strings.Concat(tmpString,cursorposStr, tmpString);
  387. tmpString1 := "";
  388. Card2Str(y,tmpString1);
  389. Strings.Concat(tmpString,tmpString1, tmpString);
  390. tmpString2[0] := ";";
  391. Strings.Concat(tmpString, tmpString2,tmpString);
  392. tmpString1 := "";
  393. Card2Str(x,tmpString1);
  394. Strings.Concat(tmpString,tmpString1, tmpString);
  395. tmpString2[0] := "H";
  396. Strings.Concat(tmpString, tmpString2,tmpString);
  397. cursorposStr := tmpString;
  398. editorConfig.posX := x;
  399. editorConfig.posY := y;
  400. IF emit THEN
  401. libc.write(FIO.StdOut,SYSTEM.ADR(tmpString),Strings.Length(tmpString));
  402. END;
  403. END cursorpos;
  404. PROCEDURE getWindowSize(VAR y : CARDINAL; VAR x: CARDINAL);
  405. BEGIN
  406. cursorpos(999,999, TRUE);
  407. requestCursorPosition(x,y);
  408. END getWindowSize;
  409. (*** Input ***)
  410. (*** Init ***)
  411. PROCEDURE InitScreenEscapes;
  412. VAR temp : ARRAY[0..10] OF CHAR;
  413. BEGIN
  414. cursorHomeStr := "";
  415. Strings.Concat(cursorHomeStr,ASCII.esc,cursorHomeStr);
  416. Strings.Concat(cursorHomeStr,"[H",cursorHomeStr);
  417. clearScreenStr := "";
  418. Strings.Concat(clearScreenStr,ASCII.esc,clearScreenStr);
  419. Strings.Concat(clearScreenStr,"[2J",clearScreenStr);
  420. tildeStr[0] := "~";
  421. tildeStr[1] := CHR(10);
  422. tildeStr[2] := CHR(13);
  423. cursorposStr := "";
  424. Strings.Concat(cursorposStr,ASCII.esc,cursorposStr);
  425. Strings.Concat(cursorposStr,"[",cursorposStr);
  426. requestCursorPosStr := "";
  427. Strings.Concat(requestCursorPosStr,ASCII.esc,requestCursorPosStr);
  428. Strings.Concat(requestCursorPosStr,"[6n",requestCursorPosStr);
  429. cursorOnStr := "";
  430. Strings.Concat(cursorOnStr,ASCII.esc,cursorOnStr);
  431. Strings.Concat(cursorOnStr,"[?25h",cursorOnStr);
  432. cursorOffStr := "";
  433. Strings.Concat(cursorOffStr,ASCII.esc,cursorOffStr);
  434. Strings.Concat(cursorOffStr,"[?25l",cursorOffStr);
  435. eraseLineStr := "";
  436. Strings.Concat(eraseLineStr,ASCII.esc,eraseLineStr);
  437. Strings.Concat(eraseLineStr,"[K",eraseLineStr);
  438. END InitScreenEscapes;
  439. PROCEDURE InitEditor;
  440. BEGIN
  441. TCSAFLUSH := termios.tcsflush ();
  442. InitScreenEscapes;
  443. editorConfig.posX := 1;
  444. editorConfig.posY := 1;
  445. getWindowSize(editorConfig.screenrows, editorConfig.screencols);
  446. editorConfig.posX := 1;
  447. editorConfig.posY := 1;
  448. editorConfig.numrows := 0;
  449. libc.write(FIO.StdOut,SYSTEM.ADR(clearScreenStr),4);
  450. (* NumberIO.WriteCard(editorConfig.screenrows, 5);
  451. NumberIO.WriteCard(editorConfig.screencols, 5); *)
  452. END InitEditor;
  453. BEGIN
  454. enablerawMode;
  455. InitEditor;
  456. editorRefreshScreen;
  457. editorOpen;
  458. LOOP
  459. editorProcessKeypress;
  460. editorRefreshScreen;
  461. END;
  462. END editor.