src/stc/scintilla/src/LexEiffel.cxx

   1 // Scintilla source code edit control
   2 /** @file LexEiffel.cxx
   3  ** Lexer for Eiffel.
   4  **/
   5 // Copyright 1998-2001 by Neil Hodgson <neilh@scintilla.org>
   6 // The License.txt file describes the conditions under which this software may be distributed.
   7
   8 #include <stdlib.h>
   9 #include <string.h>
  10 #include <ctype.h>
  11 #include <stdarg.h>
  12 #include <stdio.h>
  13
  14 #include "Platform.h"
  15
  16 #include "PropSet.h"
  17 #include "Accessor.h"
  18 #include "StyleContext.h"
  19 #include "KeyWords.h"
  20 #include "Scintilla.h"
  21 #include "SciLexer.h"
  22
  23 #ifdef SCI_NAMESPACE
  24 using namespace Scintilla;
  25 #endif
  26
  27 static inline bool isEiffelOperator(unsigned int ch) {
  28         // '.' left out as it is used to make up numbers
  29         return ch == '*' || ch == '/' || ch == '\\' || ch == '-' || ch == '+' ||
  30                 ch == '(' || ch == ')' || ch == '=' ||
  31                 ch == '{' || ch == '}' || ch == '~' ||
  32                 ch == '[' || ch == ']' || ch == ';' ||
  33                 ch == '<' || ch == '>' || ch == ',' ||
  34                 ch == '.' || ch == '^' || ch == '%' || ch == ':' ||
  35                 ch == '!' || ch == '@' || ch == '?';
  36 }
  37
  38 static inline bool IsAWordChar(unsigned int  ch) {
  39         return (ch < 0x80) && (isalnum(ch) || ch == '_');
  40 }
  41
  42 static inline bool IsAWordStart(unsigned int ch) {
  43         return (ch < 0x80) && (isalnum(ch) || ch == '_');
  44 }
  45
  46 static void ColouriseEiffelDoc(unsigned int startPos,
  47                             int length,
  48                             int initStyle,
  49                             WordList *keywordlists[],
  50                             Accessor &styler) {
  51
  52         WordList &keywords = *keywordlists[0];
  53
  54         StyleContext sc(startPos, length, initStyle, styler);
  55
  56         for (; sc.More(); sc.Forward()) {
  57
  58                 if (sc.state == SCE_EIFFEL_STRINGEOL) {
  59                         if (sc.ch != '\r' && sc.ch != '\n') {
  60                                 sc.SetState(SCE_EIFFEL_DEFAULT);
  61                         }
  62                 } else if (sc.state == SCE_EIFFEL_OPERATOR) {
  63                         sc.SetState(SCE_EIFFEL_DEFAULT);
  64                 } else if (sc.state == SCE_EIFFEL_WORD) {
  65                         if (!IsAWordChar(sc.ch)) {
  66                                 char s[100];
  67                                 sc.GetCurrentLowered(s, sizeof(s));
  68                                 if (!keywords.InList(s)) {
  69                                         sc.ChangeState(SCE_EIFFEL_IDENTIFIER);
  70                                 }
  71                                 sc.SetState(SCE_EIFFEL_DEFAULT);
  72                         }
  73                 } else if (sc.state == SCE_EIFFEL_NUMBER) {
  74                         if (!IsAWordChar(sc.ch)) {
  75                                 sc.SetState(SCE_EIFFEL_DEFAULT);
  76                         }
  77                 } else if (sc.state == SCE_EIFFEL_COMMENTLINE) {
  78                         if (sc.ch == '\r' || sc.ch == '\n') {
  79                                 sc.SetState(SCE_EIFFEL_DEFAULT);
  80                         }
  81                 } else if (sc.state == SCE_EIFFEL_STRING) {
  82                         if (sc.ch == '%') {
  83                                 sc.Forward();
  84                         } else if (sc.ch == '\"') {
  85                                 sc.Forward();
  86                                 sc.SetState(SCE_EIFFEL_DEFAULT);
  87                         }
  88                 } else if (sc.state == SCE_EIFFEL_CHARACTER) {
  89                         if (sc.ch == '\r' || sc.ch == '\n') {
  90                                 sc.SetState(SCE_EIFFEL_STRINGEOL);
  91                         } else if (sc.ch == '%') {
  92                                 sc.Forward();
  93                         } else if (sc.ch == '\'') {
  94                                 sc.Forward();
  95                                 sc.SetState(SCE_EIFFEL_DEFAULT);
  96                         }
  97                 }
  98
  99                 if (sc.state == SCE_EIFFEL_DEFAULT) {
 100                         if (sc.ch == '-' && sc.chNext == '-') {
 101                                 sc.SetState(SCE_EIFFEL_COMMENTLINE);
 102                         } else if (sc.ch == '\"') {
 103                                 sc.SetState(SCE_EIFFEL_STRING);
 104                         } else if (sc.ch == '\'') {
 105                                 sc.SetState(SCE_EIFFEL_CHARACTER);
 106                         } else if (IsADigit(sc.ch) || (sc.ch == '.')) {
 107                                 sc.SetState(SCE_EIFFEL_NUMBER);
 108                         } else if (IsAWordStart(sc.ch)) {
 109                                 sc.SetState(SCE_EIFFEL_WORD);
 110                         } else if (isEiffelOperator(sc.ch)) {
 111                                 sc.SetState(SCE_EIFFEL_OPERATOR);
 112                         }
 113                 }
 114         }
 115         sc.Complete();
 116 }
 117
 118 static bool IsEiffelComment(Accessor &styler, int pos, int len) {
 119         return len>1 && styler[pos]=='-' && styler[pos+1]=='-';
 120 }
 121
 122 static void FoldEiffelDocIndent(unsigned int startPos, int length, int,
 123                                                    WordList *[], Accessor &styler) {
 124         int lengthDoc = startPos + length;
 125
 126         // Backtrack to previous line in case need to fix its fold status
 127         int lineCurrent = styler.GetLine(startPos);
 128         if (startPos > 0) {
 129                 if (lineCurrent > 0) {
 130                         lineCurrent--;
 131                         startPos = styler.LineStart(lineCurrent);
 132                 }
 133         }
 134         int spaceFlags = 0;
 135         int indentCurrent = styler.IndentAmount(lineCurrent, &spaceFlags, IsEiffelComment);
 136         char chNext = styler[startPos];
 137         for (int i = startPos; i < lengthDoc; i++) {
 138                 char ch = chNext;
 139                 chNext = styler.SafeGetCharAt(i + 1);
 140
 141                 if ((ch == '\r' && chNext != '\n') || (ch == '\n') || (i == lengthDoc)) {
 142                         int lev = indentCurrent;
 143                         int indentNext = styler.IndentAmount(lineCurrent + 1, &spaceFlags, IsEiffelComment);
 144                         if (!(indentCurrent & SC_FOLDLEVELWHITEFLAG)) {
 145                                 // Only non whitespace lines can be headers
 146                                 if ((indentCurrent & SC_FOLDLEVELNUMBERMASK) < (indentNext & SC_FOLDLEVELNUMBERMASK)) {
 147                                         lev |= SC_FOLDLEVELHEADERFLAG;
 148                                 } else if (indentNext & SC_FOLDLEVELWHITEFLAG) {
 149                                         // Line after is blank so check the next - maybe should continue further?
 150                                         int spaceFlags2 = 0;
 151                                         int indentNext2 = styler.IndentAmount(lineCurrent + 2, &spaceFlags2, IsEiffelComment);
 152                                         if ((indentCurrent & SC_FOLDLEVELNUMBERMASK) < (indentNext2 & SC_FOLDLEVELNUMBERMASK)) {
 153                                                 lev |= SC_FOLDLEVELHEADERFLAG;
 154                                         }
 155                                 }
 156                         }
 157                         indentCurrent = indentNext;
 158                         styler.SetLevel(lineCurrent, lev);
 159                         lineCurrent++;
 160                 }
 161         }
 162 }
 163
 164 static void FoldEiffelDocKeyWords(unsigned int startPos, int length, int /* initStyle */, WordList *[],
 165                        Accessor &styler) {
 166         unsigned int lengthDoc = startPos + length;
 167         int visibleChars = 0;
 168         int lineCurrent = styler.GetLine(startPos);
 169         int levelPrev = styler.LevelAt(lineCurrent) & SC_FOLDLEVELNUMBERMASK;
 170         int levelCurrent = levelPrev;
 171         char chNext = styler[startPos];
 172         int stylePrev = 0;
 173         int styleNext = styler.StyleAt(startPos);
 174         // lastDeferred should be determined by looking back to last keyword in case
 175         // the "deferred" is on a line before "class"
 176         bool lastDeferred = false;
 177         for (unsigned int i = startPos; i < lengthDoc; i++) {
 178                 char ch = chNext;
 179                 chNext = styler.SafeGetCharAt(i + 1);
 180                 int style = styleNext;
 181                 styleNext = styler.StyleAt(i + 1);
 182                 bool atEOL = (ch == '\r' && chNext != '\n') || (ch == '\n');
 183                 if ((stylePrev != SCE_EIFFEL_WORD) && (style == SCE_EIFFEL_WORD)) {
 184                         char s[20];
 185                         unsigned int j = 0;
 186                         while ((j < (sizeof(s) - 1)) && (iswordchar(styler[i + j]))) {
 187                                 s[j] = styler[i + j];
 188                                 j++;
 189                         }
 190                         s[j] = '\0';
 191
 192                         if (
 193                                 (strcmp(s, "check") == 0) ||
 194                                 (strcmp(s, "debug") == 0) ||
 195                                 (strcmp(s, "deferred") == 0) ||
 196                                 (strcmp(s, "do") == 0) ||
 197                                 (strcmp(s, "from") == 0) ||
 198                                 (strcmp(s, "if") == 0) ||
 199                                 (strcmp(s, "inspect") == 0) ||
 200                                 (strcmp(s, "once") == 0)
 201                         )
 202                                 levelCurrent++;
 203                         if (!lastDeferred && (strcmp(s, "class") == 0))
 204                                 levelCurrent++;
 205                         if (strcmp(s, "end") == 0)
 206                                 levelCurrent--;
 207                         lastDeferred = strcmp(s, "deferred") == 0;
 208                 }
 209
 210                 if (atEOL) {
 211                         int lev = levelPrev;
 212                         if (visibleChars == 0)
 213                                 lev |= SC_FOLDLEVELWHITEFLAG;
 214                         if ((levelCurrent > levelPrev) && (visibleChars > 0))
 215                                 lev |= SC_FOLDLEVELHEADERFLAG;
 216                         if (lev != styler.LevelAt(lineCurrent)) {
 217                                 styler.SetLevel(lineCurrent, lev);
 218                         }
 219                         lineCurrent++;
 220                         levelPrev = levelCurrent;
 221                         visibleChars = 0;
 222                 }
 223                 if (!isspacechar(ch))
 224                         visibleChars++;
 225                 stylePrev = style;
 226         }
 227         // Fill in the real level of the next line, keeping the current flags as they will be filled in later
 228         int flagsNext = styler.LevelAt(lineCurrent) & ~SC_FOLDLEVELNUMBERMASK;
 229         styler.SetLevel(lineCurrent, levelPrev | flagsNext);
 230 }
 231
 232 static const char * const eiffelWordListDesc[] = {
 233         "Keywords",
 234         0
 235 };
 236
 237 LexerModule lmEiffel(SCLEX_EIFFEL, ColouriseEiffelDoc, "eiffel", FoldEiffelDocIndent, eiffelWordListDesc);
 238 LexerModule lmEiffelkw(SCLEX_EIFFELKW, ColouriseEiffelDoc, "eiffelkw", FoldEiffelDocKeyWords, eiffelWordListDesc);