meta.txt

.syntax meta

arg = '$' <'emit_token();'>
    | .string <'emit(' $ ');'>;

output = '<' *arg '>' <'emit_nl();'>;

exp3 = .id <'meta_' $ '();'>
     | .string <'read_literal(' $ ');'>
     | '.id' <'read_id();'>
     | '.number' <'read_number();'>
     | '.string' <'read_string();'>
     | '(' exp1 ')'
     | '.e' <'test_flag = 1;'>
     | '*' <'do {'>
       exp3 <'} while (test_flag);'>
       <'test_flag = 1;'>;

exp2 = ( exp3 <'if (test_flag) {'>
       | output <'if (1) {'> )
       *( exp3 <'error_if_false();'>
        | output )
       <'}'>;

exp1 = <'do {'> exp2
       *( '|' <'if (test_flag) { break; }'> exp2 )
       <'} while (0);'>;

stat = .id <'void meta_' $ '(void)'>
       <'{'>
       '=' exp1 ';'
       <'}'>;

program = '.syntax' .id <'#include "support.h"'>
          *stat
          '.end';

.end