extra/shell/parser/parser.factor

   1
   2 USING: kernel arrays strings sequences sequences.deep accessors peg peg.ebnf
   3        newfx ;
   4
   5 IN: shell.parser
   6
   7 ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
   8
   9 TUPLE: basic-expr         command  stdin stdout background ;
  10 TUPLE: pipeline-expr      commands stdin stdout background ;
  11 TUPLE: single-quoted-expr expr ;
  12 TUPLE: double-quoted-expr expr ;
  13 TUPLE: back-quoted-expr   expr ;
  14 TUPLE: glob-expr          expr ;
  15 TUPLE: variable-expr      expr ;
  16 TUPLE: factor-expr        expr ;
  17
  18 ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  19
  20 : ast>basic-expr ( ast -- obj ) first4 basic-expr boa ;
  21
  22 : ast>pipeline-expr ( ast -- obj )
  23   pipeline-expr new
  24     over [ 1st ] [ 4th [ 1st ] map ] [ 5th ] tri suffix prefix-on >>commands
  25     over 2nd >>stdin
  26     over 6th   >>stdout
  27     swap 7th   >>background ;
  28
  29 : ast>single-quoted-expr ( ast -- obj )
  30   2nd >string single-quoted-expr boa ;
  31
  32 : ast>double-quoted-expr ( ast -- obj )
  33   2nd >string double-quoted-expr boa ;
  34
  35 : ast>back-quoted-expr ( ast -- obj )
  36   2nd >string back-quoted-expr boa ;
  37
  38 : ast>glob-expr ( ast -- obj ) flatten concat glob-expr boa ;
  39
  40 : ast>variable-expr ( ast -- obj ) 2nd variable-expr boa ;
  41
  42 : ast>factor-expr ( ast -- obj ) 2nd >string factor-expr boa ;
  43
  44 ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  45
  46 EBNF: expr
  47
  48 space = " "
  49
  50 tab   = "\t"
  51
  52 white = (space | tab)
  53
  54 _ = (white)* => [[ drop ignore ]]
  55
  56 sq = "'"
  57 dq = '"'
  58 bq = "`"
  59
  60 single-quoted = sq (!(sq) .)* sq => [[ ast>single-quoted-expr ]]
  61 double-quoted = dq (!(dq) .)* dq => [[ ast>double-quoted-expr ]]
  62 back-quoted   = bq (!(bq) .)* bq => [[ ast>back-quoted-expr   ]]
  63
  64 factor = "$(" (!(")") .)* ")" => [[ ast>factor-expr ]]
  65
  66 variable = "$" other => [[ ast>variable-expr ]]
  67
  68 glob-char = ("*" | "?")
  69
  70 non-glob-char = !(glob-char | white) .
  71
  72 glob-beginning-string = (non-glob-char)* => [[ >string ]]
  73
  74 glob-rest-string = (non-glob-char)+ => [[ >string ]]
  75
  76 glob = glob-beginning-string glob-char (glob-rest-string | glob-char)* => [[ ast>glob-expr ]]
  77
  78 other = (!(white | "&" | ">" | ">>" | "<" | "|") .)+ => [[ >string ]]
  79
  80 element = (single-quoted | double-quoted | back-quoted | factor | variable | glob | other)
  81
  82 command = (element _)+
  83
  84 to-file = ">"  _ other => [[ second ]]
  85 in-file = "<"  _ other => [[ second ]]
  86 ap-file = ">>" _ other => [[ second ]]
  87
  88 basic = _ command _ (in-file)? _ (to-file | ap-file)? _ ("&")? => [[ ast>basic-expr ]]
  89
  90 pipeline = _ command _ (in-file)? _ "|" _ (command _ "|" _)* command _ (to-file | ap-file)? _ ("&")? => [[ ast>pipeline-expr ]]
  91
  92 submission = (pipeline | basic)
  93
  94 ;EBNF