1.1 diff -r 7288d2753c18 -r de78038d990f scanner.l 1.2 --- a/scanner.l Fri Dec 28 16:04:15 2001 +0000 1.3 +++ b/scanner.l Sat Dec 29 10:19:49 2001 +0000 1.4 @@ -14,19 +14,48 @@ 1.5 \.\. { return (ELIPSIS); } 1.6 1.7 {digit}+ { yylval.integer = atoi (yytext); return (INTEGER); } 1.8 +{digit}+.{digit}* { yylval.float = atof (yytext); return (FLOAT); } 1.9 + 1.10 +a { yylval.size.width = 8.5 * 25.4; 1.11 + yylval.size.height = 11.0 * 25.4; 1.12 + return (PAGE_SIZE); } 1.13 +b { yylval.size.width = 11.0 * 25.4; 1.14 + yylval.size.height = 17.0 * 25.4; 1.15 + return (PAGE_SIZE); } 1.16 +c { yylval.size.width = 17.0 * 25.4; 1.17 + yylval.size.height = 22.0 * 25.4; 1.18 + return (PAGE_SIZE); } 1.19 +d { yylval.size.width = 22.0 * 25.4; 1.20 + yylval.size.height = 34.0 * 25.4; 1.21 + return (PAGE_SIZE); } 1.22 +e { yylval.size.width = 34.0 * 25.4; 1.23 + yylval.size.height = 44.0 * 25.4; 1.24 + return (PAGE_SIZE); } 1.25 1.26 all { return (ALL); } 1.27 bookmark { return (BOOKMARK); } 1.28 +cm { return (CM); } 1.29 crop { return (CROP); } 1.30 even { return (EVEN); } 1.31 file { return (FILE); } 1.32 image { return (IMAGE); } 1.33 +images { return (IMAGES); } 1.34 +inch { return (INCH); } 1.35 input { return (INPUT); } 1.36 +landscape { return (LANDSCAPE); } 1.37 odd { return (ODD); } 1.38 output { return (OUTPUT); } 1.39 page { return (PAGE); } 1.40 pages { return (PAGES); } 1.41 +portrait { return (PORTRAIT) ; } 1.42 rotate { return (ROTATE); } 1.43 size { return (SIZE); } 1.44 1.45 \".*\" { yylval.string = newstr (yytext); return (STRING); } 1.46 + 1.47 +[ \t\n]+ /* whitespace */ 1.48 + 1.49 +--.* /* Ada/VHDL style one-line comment */ 1.50 + 1.51 +. { printf( "Unrecognized character: %s\n", yytext ); } 1.52 +