logo_lexique.gLexique

lexique logo_lexique :

#----------------------------------------------------------------------------*
#   Identifiers and keywords                                                 *
#----------------------------------------------------------------------------*

@string tokenString ;

style keywordsStyle -> "Keywords" ;

$identifier$ ! tokenString error message "an identifier" ;

#--- This is the keyword list
list keyWordList error message "the '%K' keyword" style keywordsStyle :
  "PROGRAM", "ROUTINE", "BEGIN", "END", "FORWARD", "ROTATE", "PEN", "UP", "DOWN", "CALL"
;

rule 'a'->'z' |  'A'->'Z' :
  repeat
    enterCharacterIntoString !?tokenString !* ;
  while 'a'->'z' | 'A'->'Z' :
  end repeat ;
  send search tokenString in keyWordList default $identifier$ ;
end rule ;

#----------------------------------------------------------------------------*
#   Literal decimal integers                                                 *
#----------------------------------------------------------------------------*

style integerStyle -> "Integer Constants" ;
@uint uint32value ;
$integer$ !uint32value error message "a 32-bit unsigned decimal number" style integerStyle ;

message decimalNumberTooLarge : "decimal number too large" ;
message internalError : "internal error" ;

rule '0'->'9' :
  enterCharacterIntoString !?tokenString !* ;
  repeat
  while '0'->'9' :
    enterCharacterIntoString !?tokenString !* ;
  end repeat ;
  convertDecimalStringIntoUInt !tokenString !?uint32value error decimalNumberTooLarge, internalError ;
  send $integer$ ;
end rule ;

#----------------------------------------------------------------------------*
#   Litteral character strings                                                *
#----------------------------------------------------------------------------*

style stringStyle -> "String Constants" ;
$literal_string$ ! tokenString error message "a character string constant \"...\"" style stringStyle feature nonAtomicSelection ;


message incorrectStringEnd : "string does not end with '\"'" ;

rule '"' :
  repeat
   while ' ' | '!' | '#'-> '\uFFFD' :
    enterCharacterIntoString !?tokenString !* ;
  end repeat ;
  select
  when '"' :
    send $literal_string$ ;
  default
    error incorrectStringEnd ;
  end select ;
end rule ;

#----------------------------------------------------------------------------*
#   Delimiters                                                               *
#----------------------------------------------------------------------------*

style delimitersStyle -> "Delimiters" ;
list delimitorsList error message "the '%K' delimitor" style delimitersStyle :
  ";", "." ;

rule list delimitorsList ;

#----------------------------------------------------------------------------*
#   Comments                                                                 *
#----------------------------------------------------------------------------*

style commentStyle -> "Comments" ;
$comment$ error message "a comment" style commentStyle feature nonAtomicSelection ;
rule '#' :
  repeat
  while '\u0001' -> '\u0009' | '\u000B' | '\u000C' | '\u000E' -> '\uFFFD' :
  end repeat ;
  drop $comment$ ;
end rule ;

#----------------------------------------------------------------------------*
#   Separators                                                               *
#----------------------------------------------------------------------------*

rule '\u0001' -> ' ' :
end rule ;

#----------------------------------------------------------------------------*

end lexique ;