dist flags: building distdir { test ! -d dryad-compiler-0.1pre18266 || { find dryad-compiler-0.1pre18266 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr dryad-compiler-0.1pre18266; }; } test -d dryad-compiler-0.1pre18266 || mkdir dryad-compiler-0.1pre18266 list='. syntax lib xtc tests samples'; for subdir in $list; do \ if test "$subdir" = .; then :; else \ test -d "dryad-compiler-0.1pre18266/$subdir" \ || /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/mkdir -p "dryad-compiler-0.1pre18266/$subdir" \ || exit 1; \ distdir=`CDPATH="${ZSH_VERSION+.}:" && cd dryad-compiler-0.1pre18266 && pwd`; \ top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd dryad-compiler-0.1pre18266 && pwd`; \ (cd $subdir && \ make \ top_distdir="$top_distdir" \ distdir="$distdir/$subdir" \ am__remove_distdir=: \ am__skip_length_check=: \ distdir) \ || exit 1; \ fi; \ done make[1]: Entering directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/syntax' building Bytecode.def /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/pack-sdf -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front-syntax/JavaMix.def -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/JavaEBlockMix.def -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def -i Bytecode.sdf -o Bytecode.def --dep Bytecode.dep including ./Bytecode.sdf including ./Bytecode-Tags.sdf including ./Bytecode-Types.sdf including ./Bytecode-Members.sdf including ./Bytecode-Flags.sdf including ./Bytecode-Classes.sdf including ./Bytecode-Constants.sdf including ./Bytecode-Signatures.sdf including ./Bytecode-Identifiers.sdf including ./Bytecode-Instructions.sdf including ./Compatible-Bytecode.sdf including ./Bytecode.sdf including languages/java-15/lexical/Comments from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def building Bytecode.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m Bytecode -i Bytecode.def -o Bytecode.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- Undefined [file: Bytecode.def line: 552 col: 17] SdfChecker:error: symbol is not defined by any production --- SimpleString [file: Bytecode.def line: 415 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- ListedInstruction * -> InstructionList { bracket } [file: Bytecode.def line: 234 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Instruction ";" -> ListedInstruction { bracket } [file: Bytecode.def line: 232 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Bytecode.def line: 454 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Field ";" -> Field { bracket } [file: Bytecode.def line: 677 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Method ";" -> Method { bracket } [file: Bytecode.def line: 644 col: 4] building Java-Bytecode.def /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/pack-sdf -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front-syntax/JavaMix.def -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/JavaEBlockMix.def -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def -i Java-Bytecode.sdf -o Java-Bytecode.def --dep Java-Bytecode.dep including ./Java-Bytecode.sdf including ./Bytecode.sdf including ./Bytecode-Tags.sdf including ./Bytecode-Types.sdf including ./Bytecode-Members.sdf including ./Bytecode-Flags.sdf including ./Bytecode-Classes.sdf including ./Bytecode-Constants.sdf including ./Bytecode-Signatures.sdf including ./Bytecode-Identifiers.sdf including ./Bytecode-Instructions.sdf including ./Compatible-Bytecode.sdf including languages/java-15/lexical/Comments from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java/JavaMix from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/Keywords from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/types/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/types/TypeVariables from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/names/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/packages/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/statements/Blocks from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/statements/Statements from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/arrays/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/statements/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/Primary from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/Postfix from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/Priorities from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def building Java-Bytecode.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m Java-Bytecode -i Java-Bytecode.def -o Java-Bytecode.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- Java [file: Java-Bytecode.def line: 2636 col: 31] SdfChecker:error: symbol is not defined by any production --- Undefined [file: Java-Bytecode.def line: 2395 col: 17] SdfChecker:error: symbol is not defined by any production --- SimpleString [file: Java-Bytecode.def line: 2258 col: 4] SdfChecker:warning: undeclared sort --- Java [file: Java-Bytecode.def line: 2636 col: 31] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- ListedInstruction * -> InstructionList { bracket } [file: Java-Bytecode.def line: 2077 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Instruction ";" -> ListedInstruction { bracket } [file: Java-Bytecode.def line: 2075 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Java-Bytecode.def line: 2297 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Field ";" -> Field { bracket } [file: Java-Bytecode.def line: 2520 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Method ";" -> Method { bracket } [file: Java-Bytecode.def line: 2487 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Java-Bytecode.def line: 180 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Java-Bytecode.def line: 253 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Java-Bytecode.def line: 612 col: 4] building Stratego-Java-Bytecode.def /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/pack-sdf -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front-syntax/JavaMix.def -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/JavaEBlockMix.def -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def -i Stratego-Java-Bytecode.sdf -o Stratego-Java-Bytecode.def --dep Stratego-Java-Bytecode.dep including ./Stratego-Java-Bytecode.sdf including StrategoMix from XTC repository including Stratego from XTC repository including Stratego-Sugar from XTC repository including Stratego-Sugar-Layout from XTC repository including Stratego-Core-Layout from XTC repository including Stratego-Core-Identifiers from XTC repository including Stratego-Sugar-Constants from XTC repository including Stratego-Core-Constants from XTC repository including Stratego-Sugar-Modules from XTC repository including Stratego-Core-Modules from XTC repository including Stratego-Core-Strategies from XTC repository including Stratego-Core-Terms from XTC repository including Stratego-Core-Signatures from XTC repository including Stratego-Sugar-Signatures from XTC repository including Stratego-Sugar-Terms from XTC repository including Stratego-Sugar-Strategies from XTC repository including Stratego-Sugar-Rules from XTC repository including Stratego-Sugar-DynamicRules from XTC repository including Stratego-Sugar-Overlays from XTC repository including languages/java/EmbeddedJavaMix from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java/EmbeddedJava from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/Comments from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/Keywords from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/types/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/types/TypeVariables from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/names/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/packages/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/statements/Blocks from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/statements/Statements from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/classes/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/interfaces/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/arrays/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/statements/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/Primary from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/Postfix from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java-15/expressions/Priorities from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/EmbeddedJavaMix.def including languages/java/eblock/JavaEBlockMix from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/JavaEBlockMix.def including languages/java/eblock/Main from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/JavaEBlockMix.def including ./Java-Bytecode.sdf including ./Bytecode.sdf including ./Bytecode-Tags.sdf including ./Bytecode-Types.sdf including ./Bytecode-Members.sdf including ./Bytecode-Flags.sdf including ./Bytecode-Classes.sdf including ./Bytecode-Constants.sdf including ./Bytecode-Signatures.sdf including ./Bytecode-Identifiers.sdf including ./Bytecode-Instructions.sdf including ./Compatible-Bytecode.sdf including languages/java/JavaMix from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front-syntax/JavaMix.def building Stratego-Java-Bytecode.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m Stratego-Java-Bytecode -i Stratego-Java-Bytecode.def -o Stratego-Java-Bytecode.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- StrategoHost [file: Stratego-Java-Bytecode.def line: 4319 col: 14] SdfChecker:error: symbol is not defined by any production --- Java [file: Stratego-Java-Bytecode.def line: 850 col: 31] SdfChecker:error: symbol is not defined by any production --- Undefined [file: Stratego-Java-Bytecode.def line: 609 col: 17] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "~*" Term [[ StrategoHost ]] -> QuotedTerms { bracket } [file: Stratego-Java-Bytecode.def line: 4354 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "~" Term [[ StrategoHost ]] -> QuotedTerm { bracket } [file: Stratego-Java-Bytecode.def line: 4353 col: 4] SdfChecker:warning: undeclared sort --- SomeId [file: Stratego-Java-Bytecode.def line: 4359 col: 18] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Java-Bytecode.def line: 4320 col: 33] SdfChecker:warning: undeclared sort --- StrategoHost [file: Stratego-Java-Bytecode.def line: 4319 col: 14] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: Stratego-Java-Bytecode.def line: 4328 col: 29] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" Type ")" -> ArgType { bracket } [file: Stratego-Java-Bytecode.def line: 3892 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "<" Strategy ">" -> StrategyAngle { bracket } [file: Stratego-Java-Bytecode.def line: 3704 col: 5] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Java-Bytecode.def line: 3374 col: 12] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Java-Bytecode.def line: 3373 col: 12] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Java-Bytecode.def line: 3372 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Java-Bytecode.def line: 3371 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Java-Bytecode.def line: 3326 col: 18] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Java-Bytecode.def line: 3051 col: 4] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Java-Bytecode.def line: 3050 col: 4] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Java-Bytecode.def line: 3049 col: 4] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Java-Bytecode.def line: 850 col: 31] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- ListedInstruction * -> InstructionList { bracket } [file: Stratego-Java-Bytecode.def line: 291 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Instruction ";" -> ListedInstruction { bracket } [file: Stratego-Java-Bytecode.def line: 289 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Stratego-Java-Bytecode.def line: 511 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Field ";" -> Field { bracket } [file: Stratego-Java-Bytecode.def line: 734 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Method ";" -> Method { bracket } [file: Stratego-Java-Bytecode.def line: 701 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Stratego-Java-Bytecode.def line: 1274 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Stratego-Java-Bytecode.def line: 1347 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Stratego-Java-Bytecode.def line: 1706 col: 4] building Bytecode.rtg /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/sdf2rtg -m Bytecode --ignore-missing-cons -i Bytecode.def -o Bytecode.rtg SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- Undefined [file: Bytecode.def line: 552 col: 17] SdfChecker:error: symbol is not defined by any production --- SimpleString [file: Bytecode.def line: 415 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- ListedInstruction * -> InstructionList { bracket } [file: Bytecode.def line: 234 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Instruction ";" -> ListedInstruction { bracket } [file: Bytecode.def line: 232 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Bytecode.def line: 454 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Field ";" -> Field { bracket } [file: Bytecode.def line: 677 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Method ";" -> Method { bracket } [file: Bytecode.def line: 644 col: 4] [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "classfile" "as" "." -> {ast("InnerClass(InnerClass(Some(<1>)), OuterClass(Some(<3>)), InnerName(Some(<4>)), <2>)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("classfile"),cf(opt(layout)),cf(sort("Id")),cf(opt(layout)),lit("as"),cf(opt(layout)),cf(sort("AccessFlags")),cf(opt(layout)),cf(sort("Id")),cf(opt(layout)),lit("."),cf(opt(layout)),cf(sort("Id"))],cf(sort("NamedInnerClass")),attrs([term(ast("InnerClass(InnerClass(Some(<1>)), OuterClass(Some(<3>)), InnerName(Some(<4>)), <2>)"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "classfile" "as" ->{ast("InnerClass(InnerClass(Some(<1>)), OuterClass(None), InnerName(Some(<2>)), AccessFlags([]))")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("classfile"),cf(opt(layout)),cf(sort("Id")),cf(opt(layout)),lit("as"),cf(opt(layout)),cf(sort("Id"))],cf(sort("NamedInnerClass")),attrs([term(ast("InnerClass(InnerClass(Some(<1>)), OuterClass(None), InnerName(Some(<2>)), AccessFlags([]))"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "classfile" -> {ast("InnerClass(InnerClass(Some(<1>)), OuterClass(None), InnerName(None), AccessFlags([]))")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("classfile"),cf(opt(layout)),cf(sort("Id"))],cf(sort("InnerClass")),attrs([term(ast("InnerClass(InnerClass(Some(<1>)), OuterClass(None), InnerName(None), AccessFlags([]))"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] -> {ast("MajorVersion(49)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([],cf(sort("OptMajorVersion")),attrs([term(ast("MajorVersion(49)"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] -> {ast("MinorVersion(0)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([],cf(sort("DefaultMinorVersion")),attrs([term(ast("MinorVersion(0)"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "classfile" "format" "." -> {ast("ClassFile(<2>,<1>,<3>,<4>,<5>,<6>,<7>,<8>,<9>)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("classfile"),cf(opt(layout)),lit("format"),cf(opt(layout)),cf(sort("MajorVersion")),cf(opt(layout)),lit("."),cf(opt(layout)),cf(sort("MinorVersion")),cf(opt(layout)),cf(sort("AccessFlags")),cf(opt(layout)),cf(sort("ThisClass")),cf(opt(layout)),cf(sort("SuperClass")),cf(opt(layout)),cf(sort("Interfaces")),cf(opt(layout)),cf(sort("Fields")),cf(opt(layout)),cf(sort("Methods")),cf(opt(layout)),cf(sort("ClassAttributes"))],cf(sort("ClassFile")),attrs([term(ast("ClassFile(<2>,<1>,<3>,<4>,<5>,<6>,<7>,<8>,<9>)"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "lookupswitch" "default:" -> {ast("LOOKUPSWITCH(<2>,<1>)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("lookupswitch"),cf(opt(layout)),cf(iter-star(sort("LookupEntry"))),cf(opt(layout)),lit("default:"),cf(opt(layout)),cf(sort("LabelId"))],cf(sort("Instruction")),attrs([term(ast("LOOKUPSWITCH(<2>,<1>)"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "tableswitch" "to" ":" "default:" -> {ast("TABLESWITCH(<4>,<1>,<2>,<3>)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("tableswitch"),cf(opt(layout)),cf(sort("Int")),cf(opt(layout)),lit("to"),cf(opt(layout)),cf(sort("Int")),cf(opt(layout)),lit(":"),cf(opt(layout)),cf(iter-star(sort("TableEntry"))),cf(opt(layout)),lit("default:"),cf(opt(layout)),cf(sort("LabelId"))],cf(sort("Instruction")),attrs([term(ast("TABLESWITCH(<4>,<1>,<2>,<3>)"))])) building Bytecode.str /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/rtg2sig --module `basename "Bytecode"` -i Bytecode.rtg -o Bytecode.str building Bytecode.rtree /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/parse-stratego -i Bytecode.str -o Bytecode.rtree  building Java-Bytecode.rtg /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/sdf2rtg -m Java-Bytecode --ignore-missing-cons -i Java-Bytecode.def -o Java-Bytecode.rtg SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- Java [file: Java-Bytecode.def line: 2636 col: 31] SdfChecker:error: symbol is not defined by any production --- Undefined [file: Java-Bytecode.def line: 2395 col: 17] SdfChecker:error: symbol is not defined by any production --- SimpleString [file: Java-Bytecode.def line: 2258 col: 4] SdfChecker:warning: undeclared sort --- Java [file: Java-Bytecode.def line: 2636 col: 31] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- ListedInstruction * -> InstructionList { bracket } [file: Java-Bytecode.def line: 2077 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Instruction ";" -> ListedInstruction { bracket } [file: Java-Bytecode.def line: 2075 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Java-Bytecode.def line: 2297 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Field ";" -> Field { bracket } [file: Java-Bytecode.def line: 2520 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Method ";" -> Method { bracket } [file: Java-Bytecode.def line: 2487 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Java-Bytecode.def line: 180 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Java-Bytecode.def line: 253 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Java-Bytecode.def line: 612 col: 4] [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] -> TypeArgs[[Java]]? [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([],opt(parameterized-sort("TypeArgs",[sort("Java")])),attrs([])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "`" -> [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("`"),cf(opt(layout)),cf(sort("Field"))],cf(parameterized-sort("FieldDec",[sort("Java")])),attrs([])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "`" -> [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("`"),cf(opt(layout)),cf(sort("Method"))],cf(parameterized-sort("MethodDec",[sort("Java")])),attrs([])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "`" -> [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("`"),cf(opt(layout)),cf(parameterized-sort("FieldDec",[sort("Java")]))],cf(sort("Field")),attrs([])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "`" -> [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("`"),cf(opt(layout)),cf(parameterized-sort("MethodDec",[sort("Java")]))],cf(sort("Method")),attrs([])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] Expr[[Java]] "." TypeArgs[[Java]]? Id[[Java]] -> MethodSpec[[Java]] [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([parameterized-sort("Expr",[sort("Java")]),lit("."),opt(parameterized-sort("TypeArgs",[sort("Java")])),parameterized-sort("Id",[sort("Java")])],parameterized-sort("MethodSpec",[sort("Java")]),attrs([])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "classfile" "as" "." -> {ast("InnerClass(InnerClass(Some(<1>)), OuterClass(Some(<3>)), InnerName(Some(<4>)), <2>)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("classfile"),cf(opt(layout)),cf(sort("Id")),cf(opt(layout)),lit("as"),cf(opt(layout)),cf(sort("AccessFlags")),cf(opt(layout)),cf(sort("Id")),cf(opt(layout)),lit("."),cf(opt(layout)),cf(sort("Id"))],cf(sort("NamedInnerClass")),attrs([term(ast("InnerClass(InnerClass(Some(<1>)), OuterClass(Some(<3>)), InnerName(Some(<4>)), <2>)"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "classfile" "as" ->{ast("InnerClass(InnerClass(Some(<1>)), OuterClass(None), InnerName(Some(<2>)), AccessFlags([]))")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("classfile"),cf(opt(layout)),cf(sort("Id")),cf(opt(layout)),lit("as"),cf(opt(layout)),cf(sort("Id"))],cf(sort("NamedInnerClass")),attrs([term(ast("InnerClass(InnerClass(Some(<1>)), OuterClass(None), InnerName(Some(<2>)), AccessFlags([]))"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "classfile" -> {ast("InnerClass(InnerClass(Some(<1>)), OuterClass(None), InnerName(None), AccessFlags([]))")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("classfile"),cf(opt(layout)),cf(sort("Id"))],cf(sort("InnerClass")),attrs([term(ast("InnerClass(InnerClass(Some(<1>)), OuterClass(None), InnerName(None), AccessFlags([]))"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] -> {ast("MajorVersion(49)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([],cf(sort("OptMajorVersion")),attrs([term(ast("MajorVersion(49)"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] -> {ast("MinorVersion(0)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([],cf(sort("DefaultMinorVersion")),attrs([term(ast("MinorVersion(0)"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "classfile" "format" "." -> {ast("ClassFile(<2>,<1>,<3>,<4>,<5>,<6>,<7>,<8>,<9>)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("classfile"),cf(opt(layout)),lit("format"),cf(opt(layout)),cf(sort("MajorVersion")),cf(opt(layout)),lit("."),cf(opt(layout)),cf(sort("MinorVersion")),cf(opt(layout)),cf(sort("AccessFlags")),cf(opt(layout)),cf(sort("ThisClass")),cf(opt(layout)),cf(sort("SuperClass")),cf(opt(layout)),cf(sort("Interfaces")),cf(opt(layout)),cf(sort("Fields")),cf(opt(layout)),cf(sort("Methods")),cf(opt(layout)),cf(sort("ClassAttributes"))],cf(sort("ClassFile")),attrs([term(ast("ClassFile(<2>,<1>,<3>,<4>,<5>,<6>,<7>,<8>,<9>)"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "lookupswitch" "default:" -> {ast("LOOKUPSWITCH(<2>,<1>)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("lookupswitch"),cf(opt(layout)),cf(iter-star(sort("LookupEntry"))),cf(opt(layout)),lit("default:"),cf(opt(layout)),cf(sort("LabelId"))],cf(sort("Instruction")),attrs([term(ast("LOOKUPSWITCH(<2>,<1>)"))])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "tableswitch" "to" ":" "default:" -> {ast("TABLESWITCH(<4>,<1>,<2>,<3>)")} [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([lit("tableswitch"),cf(opt(layout)),cf(sort("Int")),cf(opt(layout)),lit("to"),cf(opt(layout)),cf(sort("Int")),cf(opt(layout)),lit(":"),cf(opt(layout)),cf(iter-star(sort("TableEntry"))),cf(opt(layout)),lit("default:"),cf(opt(layout)),cf(sort("LabelId"))],cf(sort("Instruction")),attrs([term(ast("TABLESWITCH(<4>,<1>,<2>,<3>)"))])) building Java-Bytecode.str /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/rtg2sig --module `basename "Java-Bytecode"` -i Java-Bytecode.rtg -o Java-Bytecode.str building Java-Bytecode.rtree /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/parse-stratego -i Java-Bytecode.str -o Java-Bytecode.rtree  building distdir rm Java-Bytecode.rtg Bytecode.rtg make[1]: Leaving directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/syntax' make[1]: Entering directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/lib' building distdir make[1]: Leaving directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/lib' make[1]: Entering directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/xtc' building distdir make[1]: Leaving directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/xtc' make[1]: Entering directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/tests' building distdir make[1]: Leaving directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/tests' make[1]: Entering directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/samples' building distdir : test -d /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/dryad-compiler-0.1pre18266/samples || mkdir /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/dryad-compiler-0.1pre18266/samples list='syntax trans tests'; for subdir in $list; do \ if test "$subdir" = .; then :; else \ test -d "/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/dryad-compiler-0.1pre18266/samples/$subdir" \ || /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/mkdir -p "/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/dryad-compiler-0.1pre18266/samples/$subdir" \ || exit 1; \ distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/dryad-compiler-0.1pre18266/samples && pwd`; \ top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/dryad-compiler-0.1pre18266 && pwd`; \ (cd $subdir && \ make \ top_distdir="$top_distdir" \ distdir="$distdir/$subdir" \ am__remove_distdir=: \ am__skip_length_check=: \ distdir) \ || exit 1; \ fi; \ done make[2]: Entering directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/samples/syntax' building Java-Traits.def /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/pack-sdf -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front-syntax/JavaMix.def -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/JavaEBlockMix.def -Idef /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def -i Java-Traits.sdf -o Java-Traits.def --dep Java-Traits.dep including ./Java-Traits.sdf including languages/java/JavaMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/JavaMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/LineTerminators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Comments from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Identifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Keywords from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Modifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ReferenceTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/TypeVariables from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/names/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/CompilationUnits from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Annotations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Blocks from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Statements from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/StaticInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Primary from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/FieldAccess from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Postfix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Restrictions from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Priorities from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def building Java-Traits.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m Java-Traits -i Java-Traits.def -o Java-Traits.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- JAVA [file: Java-Traits.def line: 2022 col: 17] SdfChecker:error: symbol is not defined by any production --- Undefined [file: Java-Traits.def line: 2015 col: 42] SdfChecker:error: symbol is not defined by any production --- Java [file: Java-Traits.def line: 1994 col: 31] SdfChecker:warning: undeclared sort --- JAVA [file: Java-Traits.def line: 2022 col: 17] SdfChecker:warning: undeclared sort --- Undefined [file: Java-Traits.def line: 2015 col: 42] SdfChecker:warning: undeclared sort --- Java [file: Java-Traits.def line: 1994 col: 31] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Java-Traits.def line: 182 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Java-Traits.def line: 257 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Java-Traits.def line: 630 col: 4] building Stratego-Java-Traits.def /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/pack-sdf -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front-syntax/JavaMix.def -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/JavaEBlockMix.def -Idef /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def -i Stratego-Java-Traits.sdf -o Stratego-Java-Traits.def --dep Stratego-Java-Traits.dep including ./Stratego-Java-Traits.sdf including Stratego-Java-Bytecode from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including StrategoMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Layout from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Layout from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Identifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Constants from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Constants from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Modules from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Modules from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Strategies from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Terms from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Signatures from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Signatures from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Terms from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Strategies from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Rules from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-DynamicRules from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Overlays from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/EmbeddedJavaMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/EmbeddedJava from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/LineTerminators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Comments from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Identifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Keywords from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Modifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ReferenceTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/TypeVariables from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/names/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/CompilationUnits from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Annotations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Blocks from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Statements from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/StaticInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Primary from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/FieldAccess from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Postfix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Restrictions from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Priorities from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/eblock/JavaEBlockMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/eblock/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Java-Bytecode from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Tags from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Types from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Members from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Flags from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Classes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Constants from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Signatures from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Identifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Instructions from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Compatible-Bytecode from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/JavaMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/JavaMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including ./Java-Traits.sdf building Stratego-Java-Traits.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m Stratego-Java-Traits -i Stratego-Java-Traits.def -o Stratego-Java-Traits.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- StrategoHost [file: Stratego-Java-Traits.def line: 4416 col: 14] SdfChecker:error: symbol is not defined by any production --- JAVA [file: Stratego-Java-Traits.def line: 32 col: 17] SdfChecker:error: symbol is not defined by any production --- Undefined [file: Stratego-Java-Traits.def line: 25 col: 42] SdfChecker:error: symbol is not defined by any production --- Java [file: Stratego-Java-Traits.def line: 4 col: 31] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Java-Traits.def line: 4527 col: 44] SdfChecker:warning: undeclared sort --- StrategoHost [file: Stratego-Java-Traits.def line: 4518 col: 12] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: Stratego-Java-Traits.def line: 4518 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "~*" Term [[ StrategoHost ]] -> QuotedTerms { bracket } [file: Stratego-Java-Traits.def line: 4451 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "~" Term [[ StrategoHost ]] -> QuotedTerm { bracket } [file: Stratego-Java-Traits.def line: 4450 col: 4] SdfChecker:warning: undeclared sort --- SomeId [file: Stratego-Java-Traits.def line: 4456 col: 18] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Java-Traits.def line: 4417 col: 33] SdfChecker:warning: undeclared sort --- StrategoHost [file: Stratego-Java-Traits.def line: 4416 col: 14] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: Stratego-Java-Traits.def line: 4425 col: 29] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" Type ")" -> ArgType { bracket } [file: Stratego-Java-Traits.def line: 3979 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "<" Strategy ">" -> StrategyAngle { bracket } [file: Stratego-Java-Traits.def line: 3789 col: 5] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Java-Traits.def line: 3457 col: 12] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Java-Traits.def line: 3456 col: 12] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Java-Traits.def line: 3455 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Java-Traits.def line: 3454 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Java-Traits.def line: 3409 col: 18] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Java-Traits.def line: 3134 col: 4] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Java-Traits.def line: 3133 col: 4] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Java-Traits.def line: 3132 col: 4] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Java-Traits.def line: 891 col: 31] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- ListedInstruction * -> InstructionList { bracket } [file: Stratego-Java-Traits.def line: 330 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Instruction ";" -> ListedInstruction { bracket } [file: Stratego-Java-Traits.def line: 328 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Stratego-Java-Traits.def line: 550 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Field ";" -> Field { bracket } [file: Stratego-Java-Traits.def line: 775 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Method ";" -> Method { bracket } [file: Stratego-Java-Traits.def line: 742 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Stratego-Java-Traits.def line: 1319 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Stratego-Java-Traits.def line: 1394 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Stratego-Java-Traits.def line: 1767 col: 4] SdfChecker:warning: undeclared sort --- JAVA [file: Stratego-Java-Traits.def line: 32 col: 17] SdfChecker:warning: undeclared sort --- Undefined [file: Stratego-Java-Traits.def line: 25 col: 42] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Java-Traits.def line: 4 col: 31] building Mini-Java-CSharp.def /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/pack-sdf -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front-syntax/JavaMix.def -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/JavaEBlockMix.def -Idef /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def -i Mini-Java-CSharp.sdf -o Mini-Java-CSharp.def --dep Mini-Java-CSharp.dep including ./Mini-Java-CSharp.sdf including languages/java-15/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/LineTerminators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Comments from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Identifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Keywords from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Modifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ReferenceTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/TypeVariables from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/names/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/CompilationUnits from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Annotations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Blocks from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Statements from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/StaticInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Primary from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/FieldAccess from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Postfix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Restrictions from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Priorities from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def building Mini-Java-CSharp.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m Mini-Java-CSharp -i Mini-Java-CSharp.def -o Mini-Java-CSharp.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- FooStringChars [file: Mini-Java-CSharp.def line: 1324 col: 5] SdfChecker:warning: undeclared sort --- MethodId [file: Mini-Java-CSharp.def line: 1864 col: 31] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Mini-Java-CSharp.def line: 182 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Mini-Java-CSharp.def line: 257 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Mini-Java-CSharp.def line: 630 col: 4] building Mini-Java-CSharp-Mix.sdf /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/gen-sdf-mix -i Mini-Java-CSharp.def --main Mini-Java-CSharp --name Mini-Java-CSharp-Mix -o Mini-Java-CSharp-Mix.sdf SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- FooStringChars [file: Mini-Java-CSharp.def line: 1324 col: 5] SdfChecker:warning: undeclared sort --- MethodId [file: Mini-Java-CSharp.def line: 1864 col: 31] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Mini-Java-CSharp.def line: 182 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Mini-Java-CSharp.def line: 257 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Mini-Java-CSharp.def line: 630 col: 4] building Stratego-Mini-Java-CSharp.def /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/pack-sdf -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front-syntax/JavaMix.def -Idef /nix/store/75drd4xb4i0v55af9i35z4bvf0mcvg4p-java-front-0.9pre1823618236-hb4pbdrc/share/java-front/JavaEBlockMix.def -Idef /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def -i Stratego-Mini-Java-CSharp.sdf -o Stratego-Mini-Java-CSharp.def --dep Stratego-Mini-Java-CSharp.dep including ./Stratego-Mini-Java-CSharp.sdf including Stratego-Java-Bytecode from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including StrategoMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Layout from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Layout from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Identifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Constants from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Constants from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Modules from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Modules from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Strategies from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Terms from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Signatures from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Signatures from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Terms from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Strategies from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Rules from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-DynamicRules from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Overlays from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/EmbeddedJavaMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/EmbeddedJava from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/LineTerminators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Comments from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Identifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Keywords from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Modifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ReferenceTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/TypeVariables from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/names/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/CompilationUnits from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Annotations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Blocks from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Statements from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/StaticInitializers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Primary from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/FieldAccess from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Postfix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Restrictions from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Priorities from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/eblock/JavaEBlockMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/eblock/Main from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Java-Bytecode from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Tags from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Types from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Members from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Flags from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Classes from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Constants from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Signatures from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Identifiers from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Instructions from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including Compatible-Bytecode from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/JavaMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/JavaMix from /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export//syntax/Stratego-Java-Bytecode.def including ./Mini-Java-CSharp-Mix.sdf including ./Mini-Java-CSharp.sdf building Stratego-Mini-Java-CSharp.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m Stratego-Mini-Java-CSharp -i Stratego-Mini-Java-CSharp.def -o Stratego-Mini-Java-CSharp.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- StrategoHost [file: Stratego-Mini-Java-CSharp.def line: 4591 col: 14] SdfChecker:error: symbol is not defined by any production --- Java [file: Stratego-Mini-Java-CSharp.def line: 1066 col: 31] SdfChecker:error: symbol is not defined by any production --- Undefined [file: Stratego-Mini-Java-CSharp.def line: 823 col: 17] SdfChecker:warning: undeclared sort --- StrategoHost [file: Stratego-Mini-Java-CSharp.def line: 4692 col: 37] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Mini-Java-CSharp.def line: 4689 col: 23] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: Stratego-Mini-Java-CSharp.def line: 4692 col: 29] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "~*" Term [[ StrategoHost ]] -> QuotedTerms { bracket } [file: Stratego-Mini-Java-CSharp.def line: 4626 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "~" Term [[ StrategoHost ]] -> QuotedTerm { bracket } [file: Stratego-Mini-Java-CSharp.def line: 4625 col: 4] SdfChecker:warning: undeclared sort --- SomeId [file: Stratego-Mini-Java-CSharp.def line: 4631 col: 18] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Mini-Java-CSharp.def line: 4592 col: 33] SdfChecker:warning: undeclared sort --- StrategoHost [file: Stratego-Mini-Java-CSharp.def line: 4591 col: 14] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: Stratego-Mini-Java-CSharp.def line: 4600 col: 29] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" Type ")" -> ArgType { bracket } [file: Stratego-Mini-Java-CSharp.def line: 4154 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "<" Strategy ">" -> StrategyAngle { bracket } [file: Stratego-Mini-Java-CSharp.def line: 3964 col: 5] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3632 col: 12] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3631 col: 12] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3630 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Mini-Java-CSharp.def line: 3629 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Mini-Java-CSharp.def line: 3584 col: 18] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3309 col: 4] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3308 col: 4] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3307 col: 4] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Mini-Java-CSharp.def line: 1066 col: 31] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- ListedInstruction * -> InstructionList { bracket } [file: Stratego-Mini-Java-CSharp.def line: 505 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Instruction ";" -> ListedInstruction { bracket } [file: Stratego-Mini-Java-CSharp.def line: 503 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Stratego-Mini-Java-CSharp.def line: 725 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Field ";" -> Field { bracket } [file: Stratego-Mini-Java-CSharp.def line: 950 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Method ";" -> Method { bracket } [file: Stratego-Mini-Java-CSharp.def line: 917 col: 4] SdfChecker:warning: undeclared sort --- MethodId [file: Stratego-Mini-Java-CSharp.def line: 208 col: 12] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Stratego-Mini-Java-CSharp.def line: 1494 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Stratego-Mini-Java-CSharp.def line: 1569 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Stratego-Mini-Java-CSharp.def line: 1942 col: 4] SdfChecker:warning: undeclared sort --- MethodId [file: Stratego-Mini-Java-CSharp.def line: 38 col: 31] building Java-Traits.rtg /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/sdf2rtg -m Java-Traits --ignore-missing-cons -i Java-Traits.def -o Java-Traits.rtg SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- JAVA [file: Java-Traits.def line: 2022 col: 17] SdfChecker:error: symbol is not defined by any production --- Undefined [file: Java-Traits.def line: 2015 col: 42] SdfChecker:error: symbol is not defined by any production --- Java [file: Java-Traits.def line: 1994 col: 31] SdfChecker:warning: undeclared sort --- JAVA [file: Java-Traits.def line: 2022 col: 17] SdfChecker:warning: undeclared sort --- Undefined [file: Java-Traits.def line: 2015 col: 42] SdfChecker:warning: undeclared sort --- Java [file: Java-Traits.def line: 1994 col: 31] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Java-Traits.def line: 182 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Java-Traits.def line: 257 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Java-Traits.def line: 630 col: 4] [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] -> TypeArgs[[Java]]? [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([],opt(parameterized-sort("TypeArgs",[sort("Java")])),attrs([])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] Expr[[Java]] "." TypeArgs[[Java]]? Id[[Java]] -> MethodSpec[[Java]] [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([parameterized-sort("Expr",[sort("Java")]),lit("."),opt(parameterized-sort("TypeArgs",[sort("Java")])),parameterized-sort("Id",[sort("Java")])],parameterized-sort("MethodSpec",[sort("Java")]),attrs([])) building Java-Traits.str /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/rtg2sig --module `basename "Java-Traits"` -i Java-Traits.rtg -o Java-Traits.str building Java-Traits.rtree /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/parse-stratego -i Java-Traits.str -o Java-Traits.rtree  building Mini-Java-CSharp.rtg /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/sdf2rtg -m Mini-Java-CSharp --ignore-missing-cons -i Mini-Java-CSharp.def -o Mini-Java-CSharp.rtg SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- FooStringChars [file: Mini-Java-CSharp.def line: 1324 col: 5] SdfChecker:warning: undeclared sort --- MethodId [file: Mini-Java-CSharp.def line: 1864 col: 31] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Mini-Java-CSharp.def line: 182 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Mini-Java-CSharp.def line: 257 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Mini-Java-CSharp.def line: 630 col: 4] [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] -> TypeArgs? [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([],opt(sort("TypeArgs")),attrs([])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] "." -> [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([cf(sort("Expr")),cf(opt(layout)),lit("."),cf(opt(layout)),cf(opt(sort("TypeArgs"))),cf(opt(layout)),cf(sort("Id"))],cf(sort("MethodId")),attrs([])) [ sdf2rtg | error ] No constructor name specified in production: [ sdf2rtg | error ] Expr "." TypeArgs? Id -> MethodSpec [ sdf2rtg | error ] Resolution: please add a cons attribute to this production. [ sdf2rtg | error ] Production in abstract syntax: prod([sort("Expr"),lit("."),opt(sort("TypeArgs")),sort("Id")],sort("MethodSpec"),attrs([])) building Mini-Java-CSharp.str /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/rtg2sig --module `basename "Mini-Java-CSharp"` -i Mini-Java-CSharp.rtg -o Mini-Java-CSharp.str building Mini-Java-CSharp.rtree /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/parse-stratego -i Mini-Java-CSharp.str -o Mini-Java-CSharp.rtree  building distdir rm Java-Traits.rtg Mini-Java-CSharp.rtg make[2]: Leaving directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/samples/syntax' make[2]: Entering directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/samples/trans' building distdir make[2]: Leaving directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/samples/trans' make[2]: Entering directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/samples/tests' building distdir make[2]: Leaving directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/samples/tests' find /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/dryad-compiler-0.1pre18266/samples -type d ! -perm -777 -exec chmod a+rwx {} \; -o \ ! -type d ! -perm -444 -links 1 -exec chmod a+r {} \; -o \ ! -type d ! -perm -400 -exec chmod a+r {} \; -o \ ! -type d ! -perm -444 -exec /bin/sh /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/samples/install-sh -c -m a+r {} {} \; \ || chmod -R a+r /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/dryad-compiler-0.1pre18266/samples make[1]: Leaving directory `/tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/samples' find dryad-compiler-0.1pre18266 -type d ! -perm -777 -exec chmod a+rwx {} \; -o \ ! -type d ! -perm -444 -links 1 -exec chmod a+r {} \; -o \ ! -type d ! -perm -400 -exec chmod a+r {} \; -o \ ! -type d ! -perm -444 -exec /bin/sh /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/install-sh -c -m a+r {} {} \; \ || chmod -R a+r dryad-compiler-0.1pre18266 building dist tardir=dryad-compiler-0.1pre18266 && /bin/sh /tmp/nix-build-jzyglj39jfn6x69g9xz9q2990i09indl-source-tarball.drv-0/9mrkg1ll6gy4vdd8x87pw63yx7cbrjlw-svn-export/missing --run tar chof - "$tardir" | GZIP=--best gzip -c >dryad-compiler-0.1pre18266.tar.gz { test ! -d dryad-compiler-0.1pre18266 || { find dryad-compiler-0.1pre18266 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr dryad-compiler-0.1pre18266; }; } `dryad-compiler-0.1pre18266.tar.gz' -> `/nix/store/m0bh3v38jnx4z0crdp3gvrnaxphjfkzs-source-tarball/tarballs/dryad-compiler-0.1pre18266.tar.gz'