test/langtrans_d.sh

   1 #!/bin/bash
   2 #
   3
   4 file=$1
   5
   6 [ -f $file ] || exit 1
   7
   8 # Get the amchine name.
   9 machine=`sed -n 's/^[\t ]*machine[\t ]*\([a-zA-Z_0-9]*\)[\t ]*;[\t ]*$/\1/p' $file`
  10
  11 # Make a temporary version of the test case the D language translations.
  12 sed -n '/\/\*/,/\*\//d;p' $file | txl -q stdin langtrans_d.txl > $file.pr
  13
  14 # Begin writing out the test case.
  15 cat << EOF
  16 /*
  17  * @LANG: d
  18  * @GENERATED: yes
  19 EOF
  20
  21 grep '@ALLOW_GENFLAGS:' $file
  22 grep '@ALLOW_MINFLAGS:' $file
  23
  24 cat << EOF
  25  */
  26 import std.stdio;
  27 import std.string;
  28
  29 class $machine
  30 {
  31 EOF
  32
  33 # Write the data declarations
  34 sed -n '/^%%$/q;{s/^/\t/;p}' $file.pr
  35
  36 # Write out the machine specification.
  37 sed -n '/^%%{$/,/^}%%/{s/^/\t/;p}' $file.pr
  38
  39 # Write out the init and execute routines.
  40 cat << EOF
  41         int cs;
  42         %% write data;
  43         void init()
  44         {
  45 EOF
  46
  47 sed -n '0,/^%%$/d; /^%%{$/q; {s/^/\t\t/;p}' $file.pr
  48
  49 cat << EOF
  50                 %% write init;
  51         }
  52
  53         void exec( char data[] )
  54         {
  55                 char *p = data.ptr;
  56                 char *pe = data.ptr + data.length;
  57                 char *eof = pe;
  58                 char _s[];
  59
  60                 %% write exec;
  61         }
  62
  63         void finish( )
  64         {
  65                 if ( cs >= ${machine}_first_final )
  66                         writefln( "ACCEPT" );
  67                 else
  68                         writefln( "FAIL" );
  69         }
  70
  71 EOF
  72
  73 # Write out the test data.
  74 sed -n '0,/\/\* _____INPUT_____/d; /_____INPUT_____ \*\//q; p;' $file | awk '
  75 BEGIN {
  76         print " char[][] inp = ["
  77 }
  78 {
  79         print "         " $0 ","
  80 }
  81 END {
  82         print " ];"
  83         print ""
  84         print " int inplen = " NR ";"
  85 }'
  86
  87 # Write out the main routine.
  88 cat << EOF
  89 }
  90
  91 int main( )
  92 {
  93         $machine m = new $machine();
  94         int i;
  95         for ( i = 0; i < m.inplen; i++ ) {
  96                 m.init();
  97                 m.exec( m.inp[i] );
  98                 m.finish();
  99         }
 100         return 0;
 101 }
 102 /* _____OUTPUT_____
 103 EOF
 104
 105 # Write out the expected output.
 106 sed -n '0,/\/\* _____OUTPUT_____/d; /_____OUTPUT_____ \*\//q; p;' $file
 107 echo "*/"
 108
 109 # Don't need this language-specific file anymore.
 110 rm $file.pr