summaryrefslogtreecommitdiff
path: root/tests/java.at
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2020-02-03 15:51:15 +0100
committerAkim Demaille <akim.demaille@gmail.com>2020-02-05 13:17:00 +0100
commit1cc83505c547df64f2e50edebff92dcb5943ad90 (patch)
tree4d12eb69cc14405efb3f8a6f041913f6383cf423 /tests/java.at
parent2d97fe86fd71eda69bfb00b33b93b5e121abcf26 (diff)
downloadbison-1cc83505c547df64f2e50edebff92dcb5943ad90.tar.gz
java: tests: remove now redundant tests
* tests/java.at: Calculator tests are now in calc.at.
Diffstat (limited to 'tests/java.at')
-rw-r--r--tests/java.at301
1 files changed, 1 insertions, 300 deletions
diff --git a/tests/java.at b/tests/java.at
index 3c2c1c7d..0b33f227 100644
--- a/tests/java.at
+++ b/tests/java.at
@@ -88,310 +88,11 @@ m4_define([AT_JAVA_POSITION_DEFINE_OLD],
}]])
-# _AT_DATA_JAVA_CALC_Y($1, $2, $3, [BISON-DIRECTIVES])
-# ----------------------------------------------------
-# Produce 'calc.y'. Don't call this macro directly, because it contains
-# some occurrences of '$1' etc. which will be interpreted by m4. So
-# you should call it with $1, $2, and $3 as arguments, which is what
-# AT_DATA_JAVA_CALC_Y does.
-m4_define([_AT_DATA_JAVA_CALC_Y],
-[m4_if([$1$2$3], $[1]$[2]$[3], [],
- [m4_fatal([$0: Invalid arguments: $@])])dnl
-AT_DATA_GRAMMAR([Calc.y],
-[[/* Infix notation calculator--calc */
-%language "Java"
-%define api.prefix {Calc}
-%define api.parser.class {Calc}
-%define public
-
-]$4[
-
-%code imports {
- import java.io.StreamTokenizer;
- import java.io.InputStream;
- import java.io.InputStreamReader;
- import java.io.Reader;
- import java.io.IOException;
-}
-
-/* Bison Declarations */
-%token <Integer> NUM "number"
-%type <Integer> exp
-
-%nonassoc '=' /* comparison */
-%left '-' '+'
-%left '*' '/'
-%precedence NEG /* negation--unary minus */
-%right '^' /* exponentiation */
-
-/* Grammar follows */
-%%
-input:
- line
-| input line
-;
-
-line:
- '\n'
-| exp '\n'
-| error '\n'
-;
-
-exp:
- NUM { $$ = $1; }
-| exp '=' exp
- {
- if ($1.intValue () != $3.intValue ())
- yyerror (]AT_LOCATION_IF([[@$, ]])["calc: error: " + $1 + " != " + $3);
- }
-| exp '+' exp { $$ = $1 + $3; }
-| exp '-' exp { $$ = $1 - $3; }
-| exp '*' exp { $$ = $1 * $3; }
-| exp '/' exp { $$ = $1 / $3; }
-| '-' exp %prec NEG { $$ = -$2; }
-| exp '^' exp { $$ = (int) Math.pow ($1, $3); }
-| '(' exp ')' { $$ = $2; }
-| '(' error ')' { $$ = 1111; }
-| '!' { $$ = 0; return YYERROR; }
-| '-' error { $$ = 0; return YYERROR; }
-;
-
-]AT_LEXPARAM_IF([[%code lexer {]],
- [[%code epilogue { class CalcLexer implements Calc.Lexer {]])[
- StreamTokenizer st;
-
- public ]AT_LEXPARAM_IF([[YYLexer]], [[CalcLexer]])[ (InputStream is)
- {
- st = new StreamTokenizer (new InputStreamReader (is));
- st.resetSyntax ();
- st.eolIsSignificant (true);
- st.whitespaceChars ('\t', '\t');
- st.whitespaceChars (' ', ' ');
- st.wordChars ('0', '9');
- }
-
-]AT_LOCATION_IF([[
- Position yypos = new Position (1, 0);
-
- public Position getStartPos() {
- return yypos;
- }
-
- public Position getEndPos() {
- return yypos;
- }
-]])[
- ]AT_YYERROR_DEFINE[
-
- Integer yylval;
-
- public Object getLVal() {
- return yylval;
- }
-
- public int yylex () throws IOException {
- int ttype = st.nextToken ();]AT_LOCATION_IF([[
- yypos = new Position (yypos.lineno (), yypos.token () + 1);]])[
- if (ttype == st.TT_EOF)
- return EOF;
-
- else if (ttype == st.TT_EOL)
- {]AT_LOCATION_IF([[
- yypos = new Position (yypos.lineno () + 1, 0);]])[
- return (int) '\n';
- }
-
- else if (ttype == st.TT_WORD)
- {
- yylval = new Integer (st.sval);
- return NUM;
- }
-
- else
- return st.ttype;
- }
-]AT_LEXPARAM_IF([], [[}]])[
-};
-%%
-]AT_JAVA_POSITION_DEFINE_OLD[
-]])
-])# _AT_DATA_JAVA_CALC_Y
-
-
-# AT_DATA_CALC_Y([BISON-OPTIONS])
-# -------------------------------
-# Produce 'calc.y'.
-m4_define([AT_DATA_JAVA_CALC_Y],
-[_AT_DATA_JAVA_CALC_Y($[1], $[2], $[3], [$1])
-])
-
-
-# _AT_CHECK_JAVA_CALC_ERROR(BISON-OPTIONS, INPUT,
-# [VERBOSE-AND-LOCATED-ERROR-MESSAGE])
-# --------------------------------------------------------------
-# Run 'calc' on INPUT, and expect a 'syntax error' message.
-#
-# If INPUT starts with a slash, it is used as absolute input file name,
-# otherwise as contents.
-#
-# The VERBOSE-AND-LOCATED-ERROR-MESSAGE is stripped of locations
-# and expected tokens if necessary, and compared with the output.
-m4_define([_AT_CHECK_JAVA_CALC_ERROR],
-[m4_bmatch([$2], [^/],
- [AT_JAVA_PARSER_CHECK([Calc < $2], 0, [], [stderr])],
- [AT_DATA([[input]],
-[[$2
-]])
-AT_JAVA_PARSER_CHECK([Calc < input], 0, [], [stderr])])
-
-# Normalize the observed and expected error messages, depending upon the
-# options.
-# 1. Create the reference error message.
-AT_DATA([[expout]],
-[$3
-])
-# 2. If locations are not used, remove them.
-AT_YYERROR_SEES_LOC_IF([],
-[[sed 's/^[-0-9.]*: //' expout >at-expout
-mv at-expout expout]])
-# 3. If error-verbose is not used, strip the', unexpected....' part.
-m4_bmatch([$1], [%define parse.error verbose], [],
-[[sed 's/syntax error, .*$/syntax error/' expout >at-expout
-mv at-expout expout]])
-# 4. Check
-AT_CHECK([cat stderr], 0, [expout])
-])
-
-# _AT_CHECK_JAVA_CALC([BISON-DIRECTIVES], [BISON-CODE])
-# -----------------------------------------------------
-# Start a testing chunk which compiles 'calc' grammar with
-# BISON-DIRECTIVES, and performs several tests over the parser.
-m4_define([_AT_CHECK_JAVA_CALC],
-[# We use integers to avoid dependencies upon the precision of doubles.
-AT_SETUP([Calculator $1])
-
-AT_BISON_OPTION_PUSHDEFS([%language "Java" $1])
-
-AT_DATA_JAVA_CALC_Y([$1
-%code {
-$2
-}])
-
-AT_BISON_CHECK([-Wno-deprecated -o Calc.java Calc.y])
-AT_JAVA_COMPILE([Calc.java])
-
-# Test the precedences.
-AT_DATA([[input]],
-[[1 + 2 * 3 = 7
-1 + 2 * -3 = -5
-
--1^2 = -1
-(-1)^2 = 1
-
----1 = -1
-
-1 - 2 - 3 = -4
-1 - (2 - 3) = 2
-
-2^2^3 = 256
-(2^2)^3 = 64
-]])
-AT_JAVA_PARSER_CHECK([Calc < input])
-
-
-# Some syntax errors.
-_AT_CHECK_JAVA_CALC_ERROR([$1], [0 0],
- [1.2: syntax error, unexpected number])
-_AT_CHECK_JAVA_CALC_ERROR([$1], [1//2],
- [1.3: syntax error, unexpected '/', expecting number or '-' or '(' or '!'])
-_AT_CHECK_JAVA_CALC_ERROR([$1], [error],
- [1.1: syntax error, unexpected $undefined])
-_AT_CHECK_JAVA_CALC_ERROR([$1], [1 = 2 = 3],
- [1.4: syntax error, unexpected '='])
-_AT_CHECK_JAVA_CALC_ERROR([$1], [
-+1],
- [2.1: syntax error, unexpected '+'])
-# Exercise error messages with EOF: work on an empty file.
-_AT_CHECK_JAVA_CALC_ERROR([$1], [/dev/null],
- [1.1: syntax error, unexpected end of input])
-
-# Exercise the error token: without it, we die at the first error,
-# hence be sure to
-#
-# - have several errors which exercise different shift/discardings
-# - (): nothing to pop, nothing to discard
-# - (1 + 1 + 1 +): a lot to pop, nothing to discard
-# - (* * *): nothing to pop, a lot to discard
-# - (1 + 2 * *): some to pop and discard
-#
-# - test the action associated to 'error'
-#
-# - check the lookahead that triggers an error is not discarded
-# when we enter error recovery. Below, the lookahead causing the
-# first error is ")", which is needed to recover from the error and
-# produce the "0" that triggers the "0 != 1" error.
-#
-_AT_CHECK_JAVA_CALC_ERROR([$1],
- [() + (1 + 1 + 1 +) + (* * *) + (1 * 2 * *) = 1],
-[1.2: syntax error, unexpected ')', expecting number or '-' or '(' or '!'
-1.11: syntax error, unexpected ')', expecting number or '-' or '(' or '!'
-1.14: syntax error, unexpected '*', expecting number or '-' or '(' or '!'
-1.24: syntax error, unexpected '*', expecting number or '-' or '(' or '!'
-1.1-1.27: calc: error: 4444 != 1])
-
-# The same, but this time exercising explicitly triggered syntax errors.
-# POSIX says the lookahead causing the error should not be discarded.
-_AT_CHECK_JAVA_CALC_ERROR([$1], [(!) + (0 0) = 1],
-[1.7: syntax error, unexpected number
-1.1-1.10: calc: error: 2222 != 1])
-_AT_CHECK_JAVA_CALC_ERROR([$1], [(- *) + (0 0) = 1],
-[1.3: syntax error, unexpected '*', expecting number or '-' or '(' or '!'
-1.8: syntax error, unexpected number
-1.1-1.11: calc: error: 2222 != 1])
-
-AT_BISON_OPTION_POPDEFS
-
-AT_CLEANUP
-])# _AT_CHECK_JAVA_CALC
-
-
-# AT_CHECK_JAVA_CALC([BISON-DIRECTIVES])
-# --------------------------------------
-# Start a testing chunk which compiles 'calc' grammar with
-# BISON-DIRECTIVES, and performs several tests over the parser.
-# Run the test with and without %define parse.error verbose.
-m4_define([AT_CHECK_JAVA_CALC],
-[_AT_CHECK_JAVA_CALC([$1], [$2])
-_AT_CHECK_JAVA_CALC([%define parse.error verbose $1], [$2])
-_AT_CHECK_JAVA_CALC([%locations $1], [$2])
-_AT_CHECK_JAVA_CALC([%define parse.error verbose %locations $1], [$2])
-])# AT_CHECK_JAVA_CALC
-
-
-# ------------------------ #
-# Simple LALR Calculator. #
-# ------------------------ #
-
-AT_CHECK_JAVA_CALC([], [[
- public static void main (String args[]) throws IOException
- {
- CalcLexer l = new CalcLexer (System.in);
- Calc p = new Calc (l);
- p.parse ();
- }
-]])
-
-AT_CHECK_JAVA_CALC([%lex-param { InputStream is } ], [[
- public static void main (String args[]) throws IOException
- {
- new Calc (System.in).parse ();
- }
-]])
# -----------------#
-# Java Directives. #
+# Java Parameters. #
# -----------------#
AT_BANNER([Java Parameters.])