dist flags: building distdir { test ! -d dryad-compiler-0.1pre18129 || { find dryad-compiler-0.1pre18129 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr dryad-compiler-0.1pre18129; }; } test -d dryad-compiler-0.1pre18129 || mkdir dryad-compiler-0.1pre18129 list='. syntax lib xtc tests samples'; for subdir in $list; do \ if test "$subdir" = .; then :; else \ test -d "dryad-compiler-0.1pre18129/$subdir" \ || /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/mkdir -p "dryad-compiler-0.1pre18129/$subdir" \ || exit 1; \ distdir=`CDPATH="${ZSH_VERSION+.}:" && cd dryad-compiler-0.1pre18129 && pwd`; \ top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd dryad-compiler-0.1pre18129 && 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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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: 675 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Method ";" -> Method { bracket } [file: Bytecode.def line: 643 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: 2633 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: 2633 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: 2518 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Method ";" -> Method { bracket } [file: Java-Bytecode.def line: 2486 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: 4316 col: 14] SdfChecker:error: symbol is not defined by any production --- Java [file: Stratego-Java-Bytecode.def line: 847 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: 4351 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: 4350 col: 4] SdfChecker:warning: undeclared sort --- SomeId [file: Stratego-Java-Bytecode.def line: 4356 col: 18] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Java-Bytecode.def line: 4317 col: 33] SdfChecker:warning: undeclared sort --- StrategoHost [file: Stratego-Java-Bytecode.def line: 4316 col: 14] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: Stratego-Java-Bytecode.def line: 4325 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: 3889 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: 3701 col: 5] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Java-Bytecode.def line: 3371 col: 12] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Java-Bytecode.def line: 3370 col: 12] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Java-Bytecode.def line: 3369 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Java-Bytecode.def line: 3368 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Java-Bytecode.def line: 3323 col: 18] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Java-Bytecode.def line: 3048 col: 4] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Java-Bytecode.def line: 3047 col: 4] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Java-Bytecode.def line: 3046 col: 4] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Java-Bytecode.def line: 847 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: 732 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: 700 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: 1271 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: 1344 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: 1703 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: 675 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Method ";" -> Method { bracket } [file: Bytecode.def line: 643 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: 2633 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: 2633 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: 2518 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- Method ";" -> Method { bracket } [file: Java-Bytecode.def line: 2486 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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/syntax' make[1]: Entering directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/lib' building distdir make[1]: Leaving directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/lib' make[1]: Entering directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/xtc' building distdir make[1]: Leaving directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/xtc' make[1]: Entering directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/tests' building distdir make[1]: Leaving directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/tests' make[1]: Entering directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples' building distdir : test -d /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples || mkdir /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples list='syntax trans tests'; for subdir in $list; do \ if test "$subdir" = .; then :; else \ test -d "/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples/$subdir" \ || /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/mkdir -p "/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples/$subdir" \ || exit 1; \ distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples && pwd`; \ top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129 && 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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/JavaMix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/LineTerminators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Comments from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Identifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Keywords from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Modifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ReferenceTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/TypeVariables from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/names/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/CompilationUnits from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Annotations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Blocks from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Statements from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/StaticInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Primary from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/FieldAccess from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Postfix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Restrictions from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Priorities from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including StrategoMix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Layout from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Layout from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Identifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Constants from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Constants from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Modules from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Modules from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Strategies from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Terms from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Signatures from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Signatures from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Terms from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Strategies from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Rules from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-DynamicRules from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Overlays from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/EmbeddedJavaMix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/EmbeddedJava from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/LineTerminators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Comments from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Identifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Keywords from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Modifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ReferenceTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/TypeVariables from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/names/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/CompilationUnits from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Annotations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Blocks from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Statements from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/StaticInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Primary from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/FieldAccess from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Postfix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Restrictions from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Priorities from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/eblock/JavaEBlockMix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/eblock/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Java-Bytecode from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Tags from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Types from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Members from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Flags from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Classes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Constants from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Signatures from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Identifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Instructions from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Compatible-Bytecode from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/JavaMix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/JavaMix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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: 4413 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: 4524 col: 44] SdfChecker:warning: undeclared sort --- StrategoHost [file: Stratego-Java-Traits.def line: 4515 col: 12] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: Stratego-Java-Traits.def line: 4515 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: 4448 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: 4447 col: 4] SdfChecker:warning: undeclared sort --- SomeId [file: Stratego-Java-Traits.def line: 4453 col: 18] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Java-Traits.def line: 4414 col: 33] SdfChecker:warning: undeclared sort --- StrategoHost [file: Stratego-Java-Traits.def line: 4413 col: 14] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: Stratego-Java-Traits.def line: 4422 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: 3976 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: 3786 col: 5] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Java-Traits.def line: 3454 col: 12] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Java-Traits.def line: 3453 col: 12] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Java-Traits.def line: 3452 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Java-Traits.def line: 3451 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Java-Traits.def line: 3406 col: 18] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Java-Traits.def line: 3131 col: 4] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Java-Traits.def line: 3130 col: 4] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Java-Traits.def line: 3129 col: 4] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Java-Traits.def line: 888 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: 773 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: 741 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: 1316 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: 1391 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: 1764 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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/LineTerminators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Comments from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Identifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Keywords from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Modifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ReferenceTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/TypeVariables from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/names/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/CompilationUnits from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Annotations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Blocks from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Statements from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/StaticInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Primary from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/FieldAccess from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Postfix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Restrictions from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Priorities from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including StrategoMix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Layout from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Layout from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Identifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Constants from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Constants from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Modules from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Modules from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Strategies from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Terms from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Core-Signatures from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Signatures from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Terms from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Strategies from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Rules from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-DynamicRules from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Stratego-Sugar-Overlays from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/EmbeddedJavaMix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/EmbeddedJava from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/LineTerminators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Comments from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Identifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Keywords from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/Modifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ReferenceTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/TypeVariables from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/names/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/CompilationUnits from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Annotations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Blocks from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Statements from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/StaticInitializers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/classes/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/interfaces/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/arrays/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/statements/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Primary from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/FieldAccess from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Postfix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Restrictions from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/expressions/Priorities from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/eblock/JavaEBlockMix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/eblock/Main from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Java-Bytecode from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Tags from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Types from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Members from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Flags from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Classes from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Constants from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Signatures from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Identifiers from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Bytecode-Instructions from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including Compatible-Bytecode from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java/JavaMix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def including languages/java-15/JavaMix from /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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: 4588 col: 14] SdfChecker:error: symbol is not defined by any production --- Java [file: Stratego-Mini-Java-CSharp.def line: 1063 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: 4689 col: 37] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Mini-Java-CSharp.def line: 4686 col: 23] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: Stratego-Mini-Java-CSharp.def line: 4689 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: 4623 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: 4622 col: 4] SdfChecker:warning: undeclared sort --- SomeId [file: Stratego-Mini-Java-CSharp.def line: 4628 col: 18] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Mini-Java-CSharp.def line: 4589 col: 33] SdfChecker:warning: undeclared sort --- StrategoHost [file: Stratego-Mini-Java-CSharp.def line: 4588 col: 14] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: Stratego-Mini-Java-CSharp.def line: 4597 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: 4151 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: 3961 col: 5] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3629 col: 12] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3628 col: 12] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3627 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Mini-Java-CSharp.def line: 3626 col: 12] SdfChecker:warning: undeclared sort --- Name [file: Stratego-Mini-Java-CSharp.def line: 3581 col: 18] SdfChecker:warning: undeclared sort --- MetaRefTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3306 col: 4] SdfChecker:warning: undeclared sort --- MetaPrimTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3305 col: 4] SdfChecker:warning: undeclared sort --- MetaTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3304 col: 4] SdfChecker:warning: undeclared sort --- Java [file: Stratego-Mini-Java-CSharp.def line: 1063 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: 948 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: 916 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: 1491 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: 1566 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: 1939 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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/syntax' make[2]: Entering directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/trans' building distdir make[2]: Leaving directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/trans' make[2]: Entering directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/tests' building distdir make[2]: Leaving directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/tests' find /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/install-sh -c -m a+r {} {} \; \ || chmod -R a+r /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples make[1]: Leaving directory `/tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples' find dryad-compiler-0.1pre18129 -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-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/install-sh -c -m a+r {} {} \; \ || chmod -R a+r dryad-compiler-0.1pre18129 building dist tardir=dryad-compiler-0.1pre18129 && /bin/sh /tmp/nix-build-sywpcvkjigif9y8sg69canq7qdhj7sbv-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/missing --run tar chof - "$tardir" | GZIP=--best gzip -c >dryad-compiler-0.1pre18129.tar.gz { test ! -d dryad-compiler-0.1pre18129 || { find dryad-compiler-0.1pre18129 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr dryad-compiler-0.1pre18129; }; } `dryad-compiler-0.1pre18129.tar.gz' -> `/nix/store/lsysb1gjykik6dzfdq3zfi76hwifv5sk-source-tarball/tarballs/dryad-compiler-0.1pre18129.tar.gz'