handler.dart 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211
  1. import 'package:xterm/core/mouse.dart';
  2. abstract class EscapeHandler {
  3. void writeChar(int char);
  4. /* SBC */
  5. void bell();
  6. void backspaceReturn();
  7. void tab();
  8. void lineFeed();
  9. void carriageReturn();
  10. void shiftOut();
  11. void shiftIn();
  12. void unknownSBC(int char);
  13. /* ANSI sequence */
  14. void saveCursor();
  15. void restoreCursor();
  16. void index();
  17. void nextLine();
  18. void setTapStop();
  19. void reverseIndex();
  20. void designateCharset(int charset);
  21. void unkownEscape(int char);
  22. /* CSI */
  23. void repeatPreviousCharacter(int n);
  24. void setCursor(int x, int y);
  25. void setCursorX(int x);
  26. void setCursorY(int y);
  27. void sendPrimaryDeviceAttributes();
  28. void clearTabStopUnderCursor();
  29. void clearAllTabStops();
  30. void moveCursorX(int offset);
  31. void moveCursorY(int n);
  32. void sendSecondaryDeviceAttributes();
  33. void sendTertiaryDeviceAttributes();
  34. void sendOperatingStatus();
  35. void sendCursorPosition();
  36. void setMargins(int i, [int? bottom]);
  37. void cursorNextLine(int amount);
  38. void cursorPrecedingLine(int amount);
  39. void eraseDisplayBelow();
  40. void eraseDisplayAbove();
  41. void eraseDisplay();
  42. void eraseScrollbackOnly();
  43. void eraseLineRight();
  44. void eraseLineLeft();
  45. void eraseLine();
  46. void insertLines(int amount);
  47. void deleteLines(int amount);
  48. void deleteChars(int amount);
  49. void scrollUp(int amount);
  50. void scrollDown(int amount);
  51. void eraseChars(int amount);
  52. void insertBlankChars(int amount);
  53. void unknownCSI(int finalByte);
  54. /* Modes */
  55. void setInsertMode(bool enabled);
  56. void setLineFeedMode(bool enabled);
  57. void setUnknownMode(int mode, bool enabled);
  58. /* DEC Private modes */
  59. void setCursorKeysMode(bool enabled);
  60. void setReverseDisplayMode(bool enabled);
  61. void setOriginMode(bool enabled);
  62. void setColumnMode(bool enabled);
  63. void setAutoWrapMode(bool enabled);
  64. void setMouseMode(MouseMode mode);
  65. void setCursorBlinkMode(bool enabled);
  66. void setCursorVisibleMode(bool enabled);
  67. void useAltBuffer();
  68. void useMainBuffer();
  69. void clearAltBuffer();
  70. void setAppKeypadMode(bool enabled);
  71. void setReportFocusMode(bool enabled);
  72. void setMouseReportMode(MouseReportMode mode);
  73. void setAltBufferMouseScrollMode(bool enabled);
  74. void setBracketedPasteMode(bool enabled);
  75. void setUnknownDecMode(int mode, bool enabled);
  76. /* Select Graphic Rendition (SGR) */
  77. void resetCursorStyle();
  78. void setCursorBold();
  79. void setCursorFaint();
  80. void setCursorItalic();
  81. void setCursorUnderline();
  82. void setCursorBlink();
  83. void setCursorInverse();
  84. void setCursorInvisible();
  85. void setCursorStrikethrough();
  86. void unsetCursorBold();
  87. void unsetCursorFaint();
  88. void unsetCursorItalic();
  89. void unsetCursorUnderline();
  90. void unsetCursorBlink();
  91. void unsetCursorInverse();
  92. void unsetCursorInvisible();
  93. void unsetCursorStrikethrough();
  94. void setForegroundColor16(int color);
  95. void setForegroundColor256(int index);
  96. void setForegroundColorRgb(int r, int g, int b);
  97. void resetForeground();
  98. void setBackgroundColor16(int color);
  99. void setBackgroundColor256(int index);
  100. void setBackgroundColorRgb(int r, int g, int b);
  101. void resetBackground();
  102. void unsupportedStyle(int param);
  103. /* OSC */
  104. void setTitle(String name);
  105. void setIconName(String name);
  106. void unknownOSC(String ps);
  107. }