check flags: building check-recursive Making check in news-archive make[1]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/news-archive' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/news-archive' Making check in syntax make[1]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/syntax' building check-recursive Making check in src make[2]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/syntax/src' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/syntax/src' make[2]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/syntax' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/syntax' make[1]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/syntax' Making check in syntax-embedding make[1]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/syntax-embedding' building all-local Tools registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: Data registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: Java-15.rtg Java-EBlock.rtg Java-15.str Java-15.rtree Java-EBlock.str Java-EBlock.rtree EmbeddedJava.def EmbeddedJavaMix.def Stratego-Java-15.def Stratego-Java-15.tbl Java-EBlock.def Java-EBlock.tbl Stratego-Java-EBlock.def Stratego-Java-EBlock.tbl JavaEBlockMix.def Java-EBlock.sdf Stratego-Java-15.sdf Stratego-Java-EBlock.sdf languages/java/eblock/JavaEBlockMix.sdf languages/java/eblock/Main.sdf languages/java/EmbeddedJava.sdf languages/java/EmbeddedJavaMix.sdf languages/java/EmbeddedJavaMix.sdf languages/java/eblock/JavaEBlockMix.sdf make[1]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/syntax-embedding' Making check in lib make[1]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/lib' building check make check-am make[2]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/lib' building all-local Tools registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: Data registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: libjava-front.rtree javafront.rtree ./java/parse.rtree ./java/pretty-print.rtree ./java/pp/expression.rtree ./java/pp/helpers.rtree ./java/pp/literal.rtree ./java/pp/main.rtree ./java/pp/modifier.rtree ./java/pp/name.rtree ./java/pp/parenthesize.rtree ./java/pp/statement.rtree ./java/pp/class/enum-declaration.rtree ./java/pp/class/method-declaration.rtree ./java/pp/interface/annotation-type.rtree ./java/pp/interface/annotation.rtree ./java/pp/type/parameterized.rtree ./java/pp/type/primitive.rtree ./java/pp/type/reference.rtree ./java/pp/type/variable.rtree java/signature/v5.rtree java/signature/eblock.rtree java/typematch/common.rtree java/pp/parenthesize.rtree make[2]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/lib' make[1]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/lib' Making check in tools make[1]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/tools' building all-local Tools registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: parse-java pp-java auto-java-front jtree15-to-abox jtree15-parenthesize core-lift-eblocks Data registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/tools' Making check in test make[1]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test' building check-recursive Making check in . make[2]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test' building all-local Tools registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: Data registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: building check-am make libjava-front-tests make[3]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test' building libjava-front-tests.o gcc -DPACKAGE_NAME=\"java-front\" -DPACKAGE_TARNAME=\"java-front\" -DPACKAGE_VERSION=\"0.9\" -DPACKAGE_STRING=\"java-front\ 0.9\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"java-front\" -DVERSION=\"0.9\" -DSVN_REVISION=\"0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/g1961xcm1qwp07mn9p1mraaaz0scd3xx-java-front/share/java-front/XTC\"" -g -O2 -c libjava-front-tests.c building libjava-front-tests /bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/g1961xcm1qwp07mn9p1mraaaz0scd3xx-java-front/share/java-front/XTC\"" -g -O2 -o libjava-front-tests libjava-front-tests.o -L/nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm ../lib/libjava-front.la -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/g1961xcm1qwp07mn9p1mraaaz0scd3xx-java-front/share/java-front/XTC\" -g -O2 -o .libs/libjava-front-tests libjava-front-tests.o -L/nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib ../lib/.libs/libjava-front.so /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-gpp.so /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-sglr.so /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib/libjustsglr.so /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/g1961xcm1qwp07mn9p1mraaaz0scd3xx-java-front/lib -Wl,--rpath -Wl,/nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib creating libjava-front-tests make[3]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test' make check-TESTS make[3]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test' building check-TESTS test suite: libjava-front tests parse 0 parse 1+2 parse 1*2 pretty-print 0 pretty-print 1 * 2 pretty-print 1 + 2 pretty-print f() pretty-print new int[]{} pretty-print new int[]{1, 2, 3} pretty-print new int[3] pretty-print new int[3][] pretty-print new int[3][4][] pretty-print new int[3][][] successes: 13 failures: 0 (13,0) PASS: libjava-front-tests ================== All 1 tests passed ================== make[3]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test' make[2]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test' Making check in syn make[2]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/syn' building check-recursive Making check in Java make[3]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/syn/Java' building all-local Tools registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: Data registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: building annotations.runtestsuite /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/parse-unit --no-heuristic-filters -i annotations.testsuite -p ../../../syntax/src/Java-15.tbl ----------------------------------------------------------------------- executing testsuite Java Annotations with 13 tests ----------------------------------------------------------------------- * OK : test 1 (Class with annotations) * OK : test 2 (Class with annotations) * OK : test 3 (Class with annotations) * OK : test 4 (Class with annotations) * OK : test 5 (Class with annotations) * OK : test 6 (Interface with annotations) * OK : test 7 (Annotation with annotations) * OK : test 8 (Enum with annotations) * OK : test 9 (Method with annotations) * OK : test 10 (Method with annotations) * OK : test 11 (Field with annotations) * OK : test 12 (Class with annotation taking an argument 1) * OK : test 13 (Class with annotation taking an argument 2) ----------------------------------------------------------------------- results testsuite Java Annotations successes : 13 failures : 0 ----------------------------------------------------------------------- building comments.runtestsuite /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/parse-unit --no-heuristic-filters -i comments.testsuite -p ../../../syntax/src/Java-15.tbl ----------------------------------------------------------------------- executing testsuite Comments with 37 tests ----------------------------------------------------------------------- * OK : test 1 (basic end of line comment (1)) * OK : test 2 (basic end of line comment (2)) * OK : test 3 (basic end of line comment at end of file.) * OK : test 4 (basic long comment (1)) * OK : test 5 (basic long comment (2)")) * OK : test 6 (Silly (1)) * OK : test 7 (Silly (2)) * OK : test 8 (/* anything */ is a comment (1)) * OK : test 9 (/* anything */ is a comment (2)) * OK : test 10 (/* */ comment can span multiple lines) * OK : test 11 (// comment inside /* */ comment is ignored) * OK : test 12 (// comment inside // comment is ignored) * OK : test 13 (/* */ comment inside // comment is ignored) * OK : test 14 (/* or // inside /* */ comment is ignored) * OK : test 15 (/* or // inside /** */ comment is ignored) * OK : test 16 (/**/ is a documentation comment) * OK : test 17 (// comment separates tokens) * OK : test 18 (/**/ comment separates tokens") * OK : test 19 (// comment cannot appear in literal")) * OK : test 20 (/**/ comment cannot appear in literal")) * OK : test 21 (// comment cannot appear in literal")) * OK : test 22 (/**/ comment cannot appear in literal) * OK : test 23 (/* must have matching */) * OK : test 24 (// may not end at EOF, only LineTerminator (incompatible with JLS, allowed anyway: breaks some tests ... )) * OK : test 25 (*/ is not a comment, but an opening for /* */) * OK : test 26 (/*/ is not a comment, but an opening for /* */) * OK : test 27 (/** */ doc comments are legal, in spite of) * OK : test 28 (/* */ comments don't nest) * OK : test 29 (/* */ comments don't nest in //) * OK : test 30 (/** */ comment separates tokens) * OK : test 31 (/** */ comment separates tokens) * OK : test 32 (/** */ comment cannot appear in literal) * OK : test 33 (/** must have matching */) * OK : test 34 (/* must have matching */) * OK : test 35 (/** must have matching */) * OK : test 36 (/* must have matching */) * OK : test 37 (/** must have matching */) ----------------------------------------------------------------------- results testsuite Comments successes : 37 failures : 0 ----------------------------------------------------------------------- building enum-decs.runtestsuite /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/parse-unit --no-heuristic-filters -i enum-decs.testsuite -p ../../../syntax/src/Java-15.tbl ----------------------------------------------------------------------- executing testsuite Java Enum Declarations with 13 tests ----------------------------------------------------------------------- * OK : test 1 (Empty enum) * OK : test 2 (Simple enum) * OK : test 3 (Simple enum) * OK : test 4 (Trailing comma) * OK : test 5 (Trailing semi-colon) * OK : test 6 (Trailing comma and semi-colon) * OK : test 7 (Enum body declaration) * OK : test 8 (Enum body declaration) * OK : test 9 (Enum body declaration) * OK : test 10 (Enum constant argument) * OK : test 11 (Enum constant argument) * OK : test 12 (Enum implementing an interface) * OK : test 13 (Private enum) ----------------------------------------------------------------------- results testsuite Java Enum Declarations successes : 13 failures : 0 ----------------------------------------------------------------------- building identifiers.runtestsuite /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/parse-unit --no-heuristic-filters -i identifiers.testsuite -p ../../../syntax/src/Java-15.tbl ----------------------------------------------------------------------- executing testsuite Java Identifiers with 7 tests ----------------------------------------------------------------------- * OK : test 1 (simple x) * OK : test 2 (true literal is not a valid identifier) * OK : test 3 (false) * OK : test 4 (if keywords is not a valid identifier) * OK : test 5 (else) * OK : test 6 (class) * OK : test 7 (null) ----------------------------------------------------------------------- results testsuite Java Identifiers successes : 7 failures : 0 ----------------------------------------------------------------------- building compilation-unit.runtestsuite /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/parse-unit --no-heuristic-filters -i compilation-unit.testsuite -p ../../../syntax/src/Java-15.tbl ----------------------------------------------------------------------- executing testsuite Java Compilation Units with 2 tests ----------------------------------------------------------------------- * OK : test 1 (silly semicolon) * OK : test 2 (3.2-invalid-3: The parser must consume the largest token, even if another interpretation is valid) ----------------------------------------------------------------------- results testsuite Java Compilation Units successes : 2 failures : 0 ----------------------------------------------------------------------- building expressions.runtestsuite /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/parse-unit --no-heuristic-filters -i expressions.testsuite -p ../../../syntax/src/Java-15.tbl ----------------------------------------------------------------------- executing testsuite Java Expressions with 86 tests ----------------------------------------------------------------------- * OK : test 1 (null literal) * OK : test 2 (simple int literal) * OK : test 3 (simple char literal) * OK : test 4 (char literal with escape lf) * OK : test 5 (char literal with newline) * OK : test 6 (char literal with unicode escape) * OK : test 7 (string literal with lots of unicode escapes) * OK : test 8 (string literal with lots of unicode escapes) * OK : test 9 (string literal with octal escapes) * OK : test 10 (string literal with octal escapes) * OK : test 11 (string literal with octal escapes) * OK : test 12 (string literal with octal escapes) * OK : test 13 (string literal with octal escapes) * OK : test 14 (string literal with octal escapes) * OK : test 15 (string literal with octal escapes) * OK : test 16 (string literal with octal escapes) * OK : test 17 (string literal with octal escapes) * OK : test 18 (0F) * OK : test 19 (0.f) * OK : test 20 (simple addition) * OK : test 21 (always take longest match for --) * OK : test 22 (simple pre increment) * OK : test 23 (simple post increment) * OK : test 24 (simple pre decrement) * OK : test 25 (simple post decrement) * OK : test 26 (addition is left associative) * OK : test 27 (multiplication has higher priority than addition) * OK : test 28 (unary operators 1) * OK : test 29 (unary operators 2) * OK : test 30 (unary operators 3) * OK : test 31 (unary operators 4) * OK : test 32 (unary operators 5) * OK : test 33 (Cast operators 1) * OK : test 34 (Cast operators 2) * OK : test 35 (Cast operators 3) * OK : test 36 (Cast operators 4) * OK : test 37 (Cast operators 5) * OK : test 38 (Cast operators 6) * OK : test 39 (Cast operators 7) * OK : test 40 (Cast operators 8) * OK : test 41 (Cast operators 9) * OK : test 42 (Cast operators 10) * OK : test 43 (Cast operators 11) * OK : test 44 (Cast operators 12) * OK : test 45 (Cast operators 13) * OK : test 46 (Cast operators 14) * OK : test 47 (Cast operators 15) * OK : test 48 (simple array creation expression) * OK : test 49 (2 dimensional array creation expression) * OK : test 50 (array creation with initializer) * OK : test 51 (array initializer with stupid comma) * OK : test 52 (two dimensional array initializer) * OK : test 53 (two dimensional array initializer with null) * OK : test 54 (illegal array access) * OK : test 55 (relational operators have higher priority than equational ones) * OK : test 56 (priority of cast is higher the plus minus expressions) * OK : test 57 (simple name) * OK : test 58 (post increment has higher priority than pre increment) * OK : test 59 (simple assignment) * OK : test 60 (Field access on expression) * OK : test 61 (Simple method invocation) * OK : test 62 (Simple method invocation on var) * OK : test 63 (Simple method invocation on var of class Foo) * OK : test 64 (Method invocation has higher priority than assignment) * OK : test 65 (Simple literal) * OK : test 66 (Method invocation has higher priority than assignment) * OK : test 67 (Method invocation has higher priority than addition) * OK : test 68 (Prefer a methodname over an expression) * OK : test 69 (field access has higher priority than addition) * OK : test 70 (Generic static method invocation) * OK : test 71 (method invocations) * OK : test 72 (Simple new instance creation) * OK : test 73 (Qualified new instance creation) * OK : test 74 (Qualified new instance creation) * OK : test 75 (Qualified new instance creation) * OK : test 76 (Mod) * OK : test 77 (Minus) * OK : test 78 (Array subscript 0) * OK : test 79 (Array subscript 1) * OK : test 80 (Array subscript 2) * OK : test 81 (Array creation 1) * OK : test 82 (Array creation 2) * OK : test 83 (Plus is left assoc.) * OK : test 84 (Expression hedged in conditional 1) * OK : test 85 (Expression hedged in conditional 2) * OK : test 86 (Expression hedged in conditional 3) ----------------------------------------------------------------------- results testsuite Java Expressions successes : 86 failures : 0 ----------------------------------------------------------------------- building floating-point-literals.runtestsuite /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/parse-unit --no-heuristic-filters -i floating-point-literals.testsuite -p ../../../syntax/src/Java-15.tbl ----------------------------------------------------------------------- executing testsuite Floating-point literals with 77 tests ----------------------------------------------------------------------- * OK : test 1 (3.10.2-i1: Whole or fractional part must have a digit) * OK : test 2 (3.10.2-i2: Whole or fractional part must have a digit) * OK : test 3 (ExponentPart must include a SignedInteger) * OK : test 4 (ExponentPart must include a SignedInteger) * OK : test 5 (ExponentPart must include a SignedInteger) * OK : test 6 (ExponentPart must include a SignedInteger) * OK : test 7 (ExponentPart must include a SignedInteger) * OK : test 8 (ExponentPart must include a SignedInteger) * OK : test 9 (ExponentPart must include a SignedInteger) * OK : test 10 (ExponentPart must include a SignedInteger) * OK : test 11 (3.10.2-float-1: example float literal) * OK : test 12 (3.10.2-float-2: example float literal) * OK : test 13 (3.10.2-float-3: example float literal) * OK : test 14 (3.10.2-float-4: example float literal) * OK : test 15 (3.10.2-float-5: example float literal) * OK : test 16 (3.10.2-float-6: example float literal) * OK : test 17 (3.10.2-float-7: example float literal) * OK : test 18 (3.10.2-float-8: largest finite float, by JLS) * OK : test 19 (3.10.2-float-9: smallest finite float) * OK : test 20 (3.10.2-float-10: extra 0s don't affect floating point parsing) * OK : test 21 (3.10.2-double-1 { example double literal } {) * OK : test 22 (3.10.2-double-2 { example double literal } {) * OK : test 23 (3.10.2-double-3 { example double literal } {) * OK : test 24 (3.10.2-double-4 { example double literal } {) * OK : test 25 (3.10.2-double-5 { example double literal } {) * OK : test 26 (3.10.2-double-6 { example double literal } {) * OK : test 27 (3.10.2-double-7 { example double literal } {) * OK : test 28 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 29 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 30 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 31 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 32 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 33 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 34 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 35 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 36 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 37 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 38 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 39 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 40 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 41 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 42 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 43 (3.10.2-double-15: valid double overrides invalid octal) * OK : test 44 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 45 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 46 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 47 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 48 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 49 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 50 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 51 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 52 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 53 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 54 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 55 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 56 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 57 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 58 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 59 (3.10.2-double-16: valid double overrides invalid octal) * OK : test 60 (3.10.2-double-17: check for 0 followed by letter) * OK : test 61 (3.10.2-double-17: check for 0 followed by letter ) * OK : test 62 (Example hexadecimal float literal) * OK : test 63 (Example hexadecimal float literal) * OK : test 64 (Example hexadecimal float literal) * OK : test 65 (Example hexadecimal float literal) * OK : test 66 (Example hexadecimal float literal) * OK : test 67 (Example hexadecimal float literal) * OK : test 68 (Hexadecimal floating point literals must start with 0x or 0X) * OK : test 69 (Example hexadecimal double literal) * OK : test 70 (Example hexadecimal float literal ) * OK : test 71 (Example hexadecimal float literal) * OK : test 72 (Hexadecimal floating point literal: firt part can be empty) * OK : test 73 (Hexadecimal floating point literal: second part can be empty) * OK : test 74 (Hexadecimal floating point literal: But not both) * OK : test 75 (Hexadecimal floating point literal: binary exponent is required) * OK : test 76 (Hexadecimal floating point literal: binary exponent is required) * OK : test 77 (Hexadecimal floating point literal: binary exponent is required) ----------------------------------------------------------------------- results testsuite Floating-point literals successes : 77 failures : 0 ----------------------------------------------------------------------- building lexical-translations.runtestsuite /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/parse-unit --no-heuristic-filters -i lexical-translations.testsuite -p ../../../syntax/src/Java-15.tbl ----------------------------------------------------------------------- executing testsuite Lexical translations with 10 tests ----------------------------------------------------------------------- * OK : test 1 (Comments, as tokens, separate other tokens) * OK : test 2 (Comments, as tokens, separate other tokens) * OK : test 3 (Comments, as tokens, separate other tokens) * OK : test 4 (The parser must consume the largest token, even if another interpretation is valid) * OK : test 5 (The parser must consume the largest token, even if another interpretation is valid) * OK : test 6 (The parser must consume the largest token, even if another interpretation is valid) * OK : test 7 (The parser must consume the largest token, even if another interpretation is valid) * OK : test 8 (Even in comments, \u escapes must be legal) * OK : test 9 (3.2-invalid-2: ensure that unicode escapes are processed before tokenization is done) * OK : test 10 ("3.3-invalid-1: A unicode sequence must have four hex digits") ----------------------------------------------------------------------- results testsuite Lexical translations successes : 10 failures : 0 ----------------------------------------------------------------------- building statements.runtestsuite /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/parse-unit --no-heuristic-filters -i statements.testsuite -p ../../../syntax/src/Java-15.tbl ----------------------------------------------------------------------- executing testsuite Java 1.5 Statements with 14 tests ----------------------------------------------------------------------- * OK : test 1 (simple assignment) * OK : test 2 (Another stupid comment) * OK : test 3 (final declaration) * OK : test 4 (param declaration) * OK : test 5 (dangling else and while) * OK : test 6 (dangling else and for) * OK : test 7 (dangling else and label) * OK : test 8 (while in then branch of if) * OK : test 9 (Assignment amb 1) * OK : test 10 (Assignment amb 2) * OK : test 11 (Array subscript assignment amb 1) * OK : test 12 (Array subscript assigmnemt amb 2) * OK : test 13 (Comment in call) * OK : test 14 (Another stupid comment) ----------------------------------------------------------------------- results testsuite Java 1.5 Statements successes : 14 failures : 0 ----------------------------------------------------------------------- building types.runtestsuite /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/parse-unit --no-heuristic-filters -i types.testsuite -p ../../../syntax/src/Java-15.tbl ----------------------------------------------------------------------- executing testsuite Java 1.5 Types with 4 tests ----------------------------------------------------------------------- * OK : test 1 (Plain type) * OK : test 2 (param wildcard) * OK : test 3 (param array) * OK : test 4 (Member type of parameterized class) ----------------------------------------------------------------------- results testsuite Java 1.5 Types successes : 4 failures : 0 ----------------------------------------------------------------------- make[3]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/syn/Java' Making check in StrategoJava make[3]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/syn/StrategoJava' building all-local Tools registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: Data registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: building check-am make Main.tbl make[4]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/syn/StrategoJava' building Main.def /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef ../../../syntax-embedding/Stratego-Java-15.def -i Main.sdf -o Main.def --dep Main.dep including ./Main.sdf including Stratego-Java-15 from ../../../syntax-embedding/Stratego-Java-15.def including StrategoMix from ../../../syntax-embedding/Stratego-Java-15.def including Stratego from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Sugar from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Sugar-Layout from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Core-Layout from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Core-Identifiers from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Sugar-Constants from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Core-Constants from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Sugar-Modules from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Core-Modules from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Core-Strategies from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Core-Terms from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Core-Signatures from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Sugar-Signatures from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Sugar-Terms from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Sugar-Strategies from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Sugar-Rules from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Sugar-DynamicRules from ../../../syntax-embedding/Stratego-Java-15.def including Stratego-Sugar-Overlays from ../../../syntax-embedding/Stratego-Java-15.def including languages/java/EmbeddedJavaMix from ../../../syntax-embedding/Stratego-Java-15.def including languages/java/EmbeddedJava from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/Main from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/Main from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/UnicodeEscapes from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/LineTerminators from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/WhiteSpace from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/Comments from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/Identifiers from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/Keywords from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/Modifiers from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/literals/Main from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/literals/IntegerLiterals from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/literals/FloatingPointLiterals from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/literals/BooleanLiterals from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/literals/CharacterLiterals from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/literals/EscapeSequences from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/literals/StringLiterals from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/lexical/literals/NullLiteral from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/types/Main from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/types/PrimitiveTypes from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/types/ReferenceTypes from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/types/TypeVariables from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/types/ParameterizedTypes from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/names/Main from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/packages/Main from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/packages/CompilationUnits from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/packages/TypeDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/classes/ClassDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/classes/FieldDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/interfaces/Annotations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/arrays/ArrayInitializers from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/classes/MethodDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/statements/Blocks from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/statements/LocalVariableDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/statements/Statements from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/classes/InstanceInitializers from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/classes/StaticInitializers from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/classes/ConstructorDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/classes/EnumDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/interfaces/InterfaceDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/interfaces/ConstantDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/interfaces/AbstractMethodDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/interfaces/AnnotationTypes from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/packages/ImportDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/packages/PackageDeclarations from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/classes/Main from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/interfaces/Main from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/arrays/Main from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/statements/Main from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/Main from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/Primary from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/ClassInstanceCreation from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/ArrayCreation from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/FieldAccess from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/ArrayAccess from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/MethodInvocation from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/Postfix from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/UnaryOperators from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/BinaryOperators from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/AssignmentOperators from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/Restrictions from ../../../syntax-embedding/Stratego-Java-15.def including languages/java-15/expressions/Priorities from ../../../syntax-embedding/Stratego-Java-15.def building Main.tbl /nix/store/6kdkmf469l70c2kaiibdm5rqy7pkv13n-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -i Main.def -o Main.tbl  SdfChecker:error: symbol is not defined by any production --- JavaObject [file: Main.def line: 3204 col: 33] SdfChecker:error: symbol is not defined by any production --- StrategoHost [file: Main.def line: 3203 col: 14] SdfChecker:warning: undeclared sort --- StrategoHost [file: Main.def line: 3214 col: 14] SdfChecker:warning: undeclared sort --- JavaObject [file: Main.def line: 3204 col: 33] SdfChecker:warning: undeclared sort --- StrategoHost [file: Main.def line: 3203 col: 14] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: Main.def line: 3207 col: 29] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" Type ")" -> ArgType { bracket } [file: Main.def line: 2759 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "<" Strategy ">" -> StrategyAngle { bracket } [file: Main.def line: 2568 col: 5] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Main.def line: 2240 col: 12] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Main.def line: 2239 col: 12] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Main.def line: 2238 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Main.def line: 2237 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Main.def line: 2192 col: 18] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Main.def line: 1917 col: 4] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Main.def line: 1916 col: 4] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Main.def line: 1915 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Main.def line: 178 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Main.def line: 249 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Main.def line: 594 col: 4] rm Main.def make[4]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/syn/StrategoJava' building term.runtestsuite /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/parse-unit --no-heuristic-filters -i term.testsuite -p Main.tbl ----------------------------------------------------------------------- executing testsuite Patterns of Java Concrete Object Syntax with 8 tests ----------------------------------------------------------------------- * OK : test 1 (Simple expression) * OK : test 2 (Simple identifier) * OK : test 3 (Simple integer literal) * OK : test 4 (Simple classdec (JFR-55)) * OK : test 5 (Annotation quotation) * OK : test 6 (Anti-quotation in string) * OK : test 7 (Quotation of constant declaration) * OK : test 8 (Quotation of constant declaration) ----------------------------------------------------------------------- results testsuite Patterns of Java Concrete Object Syntax successes : 8 failures : 0 ----------------------------------------------------------------------- make[3]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/syn/StrategoJava' make[3]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/syn' building all-local Tools registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: Data registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/syn' make[2]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/syn' Making check in gnu-classpath make[2]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/gnu-classpath' building check-recursive Making check in . make[3]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/gnu-classpath' building all-local Tools registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: Data registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/gnu-classpath' Making check in v1.5 make[3]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/gnu-classpath/v1.5' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/gnu-classpath/v1.5' make[2]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/gnu-classpath' Making check in j2sdk make[2]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/j2sdk' building all-local Tools registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: Data registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/j2sdk' Making check in pp make[2]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/pp' building all-local Tools registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: Data registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: building ArryArgs.jtree ../../tools/parse-java -i ArryArgs.java -o ArryArgs.jtree  building ArryArgs.pp ../../tools/pp-java -i ArryArgs.jtree -o ArryArgs.pp  building Foo.jtree ../../tools/parse-java -i Foo.java -o Foo.jtree  building Foo.pp ../../tools/pp-java -i Foo.jtree -o Foo.pp  rm ArryArgs.jtree Foo.jtree make[2]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test/pp' make[1]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122/test' make[1]: Entering directory `/tmp/nix-12114-0/java-front-0.9pre18122' building all-local /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/bin/xtc -r /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC import /nix/store/h6vjlaflkdb6qmnirr87yx24day16svg-strategoxt-0.17pre17928-x2sni5sg/share/strategoxt/XTC Tools registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: Data registered in repository /tmp/nix-12114-0/java-front-0.9pre18122/BUILDTIME_XTC: java-front.m4 make[1]: Leaving directory `/tmp/nix-12114-0/java-front-0.9pre18122'