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