dist flags: -
building distdir
-
{ test ! -d dryad-compiler-0.1pre18129 || { find dryad-compiler-0.1pre18129 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr dryad-compiler-0.1pre18129; }; }
-
test -d dryad-compiler-0.1pre18129 || mkdir dryad-compiler-0.1pre18129
-
list='. syntax lib xtc tests samples'; for subdir in $list; do \� if test "$subdir" = .; then :; else \� test -d "dryad-compiler-0.1pre18129/$subdir" \� || /...-coreutils-6.12/bin/mkdir -p "dryad-compiler-0.1pre18129/$subdir" \� || exit 1; \� distdir=`CDPATH="${ZSH_VERSION+.}:" && cd dryad-compiler-0.1pre18129 && pwd`; \� top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd dryad-compiler-0.1pre18129 && pwd`; \� (cd $subdir && \� make \� top_distdir="$top_distdir" \� distdir="$distdir/$subdir" \� am__remove_distdir=: \� am__skip_length_check=: \� distdir) \� || exit 1; \� fi; \� done
-
make[1]: Entering directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/syntax'
-
building Bytecode.def
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front-syntax/JavaMix.def -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/JavaEBlockMix.def -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/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.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/LineTerminators from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/WhiteSpace from /...-java-front-0.9pre1817718177-9zx3mfq8/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: 675 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Method ";" -> Method { bracket } [file: Bytecode.def line: 643 col: 4]
-
building Java-Bytecode.def
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front-syntax/JavaMix.def -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/JavaEBlockMix.def -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/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.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/LineTerminators from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/WhiteSpace from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java/JavaMix from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front-syntax/JavaMix.def
-
including languages/java-15/JavaMix from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front-syntax/JavaMix.def
-
including languages/java-15/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/UnicodeEscapes from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Identifiers from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Keywords from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Modifiers from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/IntegerLiterals from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/FloatingPointLiterals from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/BooleanLiterals from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/CharacterLiterals from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/EscapeSequences from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/StringLiterals from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/NullLiteral from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/PrimitiveTypes from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/ReferenceTypes from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/TypeVariables from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/ParameterizedTypes from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/names/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/CompilationUnits from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/TypeDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/ClassDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/FieldDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/Annotations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/arrays/ArrayInitializers from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/MethodDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Blocks from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/LocalVariableDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Statements from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/InstanceInitializers from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/StaticInitializers from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/ConstructorDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/EnumDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/InterfaceDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/ConstantDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/AbstractMethodDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/AnnotationTypes from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/ImportDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/PackageDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/arrays/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Primary from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ClassInstanceCreation from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ArrayCreation from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/FieldAccess from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ArrayAccess from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/MethodInvocation from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Postfix from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/UnaryOperators from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/BinaryOperators from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/AssignmentOperators from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Restrictions from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Priorities from /...-java-front-0.9pre1817718177-9zx3mfq8/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: 2633 col: 31]
-
SdfChecker:error: symbol is not defined by any production
-
--- Undefined [file: Java-Bytecode.def line: 2395 col: 17]
-
SdfChecker:error: symbol is not defined by any production
-
--- SimpleString [file: Java-Bytecode.def line: 2258 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- Java [file: Java-Bytecode.def line: 2633 col: 31]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- ListedInstruction * -> InstructionList { bracket } [file: Java-Bytecode.def line: 2077 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Instruction ";" -> ListedInstruction { bracket } [file: Java-Bytecode.def line: 2075 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Java-Bytecode.def line: 2297 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Field ";" -> Field { bracket } [file: Java-Bytecode.def line: 2518 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Method ";" -> Method { bracket } [file: Java-Bytecode.def line: 2486 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "?" Expr ":" -> CondMid { bracket } [file: Java-Bytecode.def line: 180 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "[" Expr "]" -> ArraySubscript { bracket } [file: Java-Bytecode.def line: 253 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Java-Bytecode.def line: 612 col: 4]
-
building Stratego-Java-Bytecode.def
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front-syntax/JavaMix.def -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/JavaEBlockMix.def -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/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.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java/EmbeddedJava from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/UnicodeEscapes from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/LineTerminators from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/WhiteSpace from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Comments from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Identifiers from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Keywords from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Modifiers from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/IntegerLiterals from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/FloatingPointLiterals from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/BooleanLiterals from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/CharacterLiterals from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/EscapeSequences from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/StringLiterals from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/NullLiteral from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/PrimitiveTypes from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/ReferenceTypes from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/TypeVariables from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/ParameterizedTypes from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/names/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/CompilationUnits from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/TypeDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/ClassDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/FieldDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/Annotations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/arrays/ArrayInitializers from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/MethodDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Blocks from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/LocalVariableDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Statements from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/InstanceInitializers from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/StaticInitializers from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/ConstructorDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/EnumDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/InterfaceDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/ConstantDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/AbstractMethodDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/AnnotationTypes from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/ImportDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/PackageDeclarations from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/arrays/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Primary from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ClassInstanceCreation from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ArrayCreation from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/FieldAccess from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ArrayAccess from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/MethodInvocation from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Postfix from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/UnaryOperators from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/BinaryOperators from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/AssignmentOperators from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Restrictions from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Priorities from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/EmbeddedJavaMix.def
-
including languages/java/eblock/JavaEBlockMix from /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/JavaEBlockMix.def
-
including languages/java/eblock/Main from /...-java-front-0.9pre1817718177-9zx3mfq8/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.9pre1817718177-9zx3mfq8/share/java-front-syntax/JavaMix.def
-
including languages/java-15/JavaMix from /...-java-front-0.9pre1817718177-9zx3mfq8/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: 4310 col: 14]
-
SdfChecker:error: symbol is not defined by any production
-
--- Java [file: Stratego-Java-Bytecode.def line: 847 col: 31]
-
SdfChecker:error: symbol is not defined by any production
-
--- Undefined [file: Stratego-Java-Bytecode.def line: 609 col: 17]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "~*" Term [[ StrategoHost ]] -> QuotedTerms { bracket } [file: Stratego-Java-Bytecode.def line: 4345 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: 4344 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- SomeId [file: Stratego-Java-Bytecode.def line: 4350 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- Java [file: Stratego-Java-Bytecode.def line: 4311 col: 33]
-
SdfChecker:warning: undeclared sort
-
--- StrategoHost [file: Stratego-Java-Bytecode.def line: 4310 col: 14]
-
SdfChecker:error: start-symbol not defined by any production
-
--- Module [[ StrategoHost ]] [file: Stratego-Java-Bytecode.def line: 4319 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: 3884 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: 3697 col: 5]
-
SdfChecker:warning: undeclared sort
-
--- MetaTypeVar [file: Stratego-Java-Bytecode.def line: 3371 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- MetaPrimTypeVar [file: Stratego-Java-Bytecode.def line: 3370 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- MetaRefTypeVar [file: Stratego-Java-Bytecode.def line: 3369 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- Name [file: Stratego-Java-Bytecode.def line: 3368 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- Name [file: Stratego-Java-Bytecode.def line: 3323 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- MetaRefTypeVar [file: Stratego-Java-Bytecode.def line: 3048 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MetaPrimTypeVar [file: Stratego-Java-Bytecode.def line: 3047 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MetaTypeVar [file: Stratego-Java-Bytecode.def line: 3046 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- Java [file: Stratego-Java-Bytecode.def line: 847 col: 31]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- ListedInstruction * -> InstructionList { bracket } [file: Stratego-Java-Bytecode.def line: 291 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Instruction ";" -> ListedInstruction { bracket } [file: Stratego-Java-Bytecode.def line: 289 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Stratego-Java-Bytecode.def line: 511 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Field ";" -> Field { bracket } [file: Stratego-Java-Bytecode.def line: 732 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Method ";" -> Method { bracket } [file: Stratego-Java-Bytecode.def line: 700 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "?" Expr ":" -> CondMid { bracket } [file: Stratego-Java-Bytecode.def line: 1271 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "[" Expr "]" -> ArraySubscript { bracket } [file: Stratego-Java-Bytecode.def line: 1344 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Stratego-Java-Bytecode.def line: 1703 col: 4]
-
building Bytecode.rtg
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/sdf2rtg -m Bytecode --ignore-missing-cons -i Bytecode.def -o Bytecode.rtg
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:error: symbol is not defined by any production
-
--- Undefined [file: Bytecode.def line: 552 col: 17]
-
SdfChecker:error: symbol is not defined by any production
-
--- SimpleString [file: Bytecode.def line: 415 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- ListedInstruction * -> InstructionList { bracket } [file: Bytecode.def line: 234 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Instruction ";" -> ListedInstruction { bracket } [file: Bytecode.def line: 232 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Bytecode.def line: 454 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Field ";" -> Field { bracket } [file: Bytecode.def line: 675 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Method ";" -> Method { bracket } [file: Bytecode.def line: 643 col: 4]
-
[ sdf2rtg | error ] No constructor name specified in production:
-
[ sdf2rtg | error ] "classfile" <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.17pre17928-x2sni5sg/bin/rtg2sig --module `basename "Bytecode"` -i Bytecode.rtg -o Bytecode.str
-
building Bytecode.rtree-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/parse-stratego -i Bytecode.str -o Bytecode.rtree
-
building Java-Bytecode.rtg
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/sdf2rtg -m Java-Bytecode --ignore-missing-cons -i Java-Bytecode.def -o Java-Bytecode.rtg
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:error: symbol is not defined by any production
-
--- Java [file: Java-Bytecode.def line: 2633 col: 31]
-
SdfChecker:error: symbol is not defined by any production
-
--- Undefined [file: Java-Bytecode.def line: 2395 col: 17]
-
SdfChecker:error: symbol is not defined by any production
-
--- SimpleString [file: Java-Bytecode.def line: 2258 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- Java [file: Java-Bytecode.def line: 2633 col: 31]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- ListedInstruction * -> InstructionList { bracket } [file: Java-Bytecode.def line: 2077 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Instruction ";" -> ListedInstruction { bracket } [file: Java-Bytecode.def line: 2075 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Java-Bytecode.def line: 2297 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Field ";" -> Field { bracket } [file: Java-Bytecode.def line: 2518 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Method ";" -> Method { bracket } [file: Java-Bytecode.def line: 2486 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "?" Expr ":" -> CondMid { bracket } [file: Java-Bytecode.def line: 180 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "[" Expr "]" -> ArraySubscript { bracket } [file: Java-Bytecode.def line: 253 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Java-Bytecode.def line: 612 col: 4]
-
[ sdf2rtg | error ] No constructor name specified in production:
-
[ sdf2rtg | error ] -> TypeArgs[[Java]]?
-
[ sdf2rtg | error ] Resolution: please add a cons attribute to this production.
-
[ sdf2rtg | error ] Production in abstract syntax:
-
prod([],opt(parameterized-sort("TypeArgs",[sort("Java")])),attrs([]))
-
[ sdf2rtg | error ] No constructor name specified in production:
-
[ sdf2rtg | error ] "`" <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.17pre17928-x2sni5sg/bin/rtg2sig --module `basename "Java-Bytecode"` -i Java-Bytecode.rtg -o Java-Bytecode.str
-
building Java-Bytecode.rtree-
/...-strategoxt-0.17pre17928-x2sni5sg/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-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/syntax'
-
make[1]: Entering directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/lib'
-
building distdir
-
make[1]: Leaving directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/lib'
-
make[1]: Entering directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/xtc'
-
building distdir
-
make[1]: Leaving directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/xtc'
-
make[1]: Entering directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/tests'
-
building distdir
-
make[1]: Leaving directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/tests'
-
make[1]: Entering directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples'
-
building distdir
-
:
-
test -d /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples || mkdir /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples
-
list='syntax trans tests'; for subdir in $list; do \� if test "$subdir" = .; then :; else \� test -d "/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples/$subdir" \� || /...-coreutils-6.12/bin/mkdir -p "/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples/$subdir" \� || exit 1; \� distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples && pwd`; \� top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129 && pwd`; \� (cd $subdir && \� make \� top_distdir="$top_distdir" \� distdir="$distdir/$subdir" \� am__remove_distdir=: \� am__skip_length_check=: \� distdir) \� || exit 1; \� fi; \� done
-
make[2]: Entering directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/syntax'
-
building Java-Traits.def
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front-syntax/JavaMix.def -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/JavaEBlockMix.def -Idef /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def -i Java-Traits.sdf -o Java-Traits.def --dep Java-Traits.dep
-
including ./Java-Traits.sdf
-
including languages/java/JavaMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/JavaMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/LineTerminators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Comments from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Identifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Keywords from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Modifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/ReferenceTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/TypeVariables from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/names/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/CompilationUnits from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/Annotations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Blocks from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Statements from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/StaticInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/arrays/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Primary from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/FieldAccess from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Postfix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Restrictions from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Priorities from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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.17pre17928-x2sni5sg/bin/pack-sdf -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front-syntax/JavaMix.def -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/JavaEBlockMix.def -Idef /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def -i Stratego-Java-Traits.sdf -o Stratego-Java-Traits.def --dep Stratego-Java-Traits.dep
-
including ./Stratego-Java-Traits.sdf
-
including Stratego-Java-Bytecode from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including StrategoMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Layout from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Layout from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Identifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Constants from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Constants from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Modules from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Modules from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Strategies from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Terms from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Signatures from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Signatures from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Terms from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Strategies from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Rules from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-DynamicRules from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Overlays from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java/EmbeddedJavaMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java/EmbeddedJava from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/LineTerminators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Comments from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Identifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Keywords from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Modifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/ReferenceTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/TypeVariables from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/names/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/CompilationUnits from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/Annotations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Blocks from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Statements from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/StaticInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/arrays/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Primary from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/FieldAccess from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Postfix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Restrictions from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Priorities from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java/eblock/JavaEBlockMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java/eblock/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Java-Bytecode from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Tags from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Types from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Members from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Flags from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Classes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Constants from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Signatures from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Identifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Instructions from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Compatible-Bytecode from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java/JavaMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/JavaMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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: 4407 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: 4518 col: 44]
-
SdfChecker:warning: undeclared sort
-
--- StrategoHost [file: Stratego-Java-Traits.def line: 4509 col: 12]
-
SdfChecker:error: start-symbol not defined by any production
-
--- Module [[ StrategoHost ]] [file: Stratego-Java-Traits.def line: 4509 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: 4442 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: 4441 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- SomeId [file: Stratego-Java-Traits.def line: 4447 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- Java [file: Stratego-Java-Traits.def line: 4408 col: 33]
-
SdfChecker:warning: undeclared sort
-
--- StrategoHost [file: Stratego-Java-Traits.def line: 4407 col: 14]
-
SdfChecker:error: start-symbol not defined by any production
-
--- Module [[ StrategoHost ]] [file: Stratego-Java-Traits.def line: 4416 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: 3971 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: 3782 col: 5]
-
SdfChecker:warning: undeclared sort
-
--- MetaTypeVar [file: Stratego-Java-Traits.def line: 3454 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- MetaPrimTypeVar [file: Stratego-Java-Traits.def line: 3453 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- MetaRefTypeVar [file: Stratego-Java-Traits.def line: 3452 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- Name [file: Stratego-Java-Traits.def line: 3451 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- Name [file: Stratego-Java-Traits.def line: 3406 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- MetaRefTypeVar [file: Stratego-Java-Traits.def line: 3131 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MetaPrimTypeVar [file: Stratego-Java-Traits.def line: 3130 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MetaTypeVar [file: Stratego-Java-Traits.def line: 3129 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- Java [file: Stratego-Java-Traits.def line: 888 col: 31]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- ListedInstruction * -> InstructionList { bracket } [file: Stratego-Java-Traits.def line: 330 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Instruction ";" -> ListedInstruction { bracket } [file: Stratego-Java-Traits.def line: 328 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Stratego-Java-Traits.def line: 550 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Field ";" -> Field { bracket } [file: Stratego-Java-Traits.def line: 773 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Method ";" -> Method { bracket } [file: Stratego-Java-Traits.def line: 741 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "?" Expr ":" -> CondMid { bracket } [file: Stratego-Java-Traits.def line: 1316 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "[" Expr "]" -> ArraySubscript { bracket } [file: Stratego-Java-Traits.def line: 1391 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Stratego-Java-Traits.def line: 1764 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- JAVA [file: Stratego-Java-Traits.def line: 32 col: 17]
-
SdfChecker:warning: undeclared sort
-
--- Undefined [file: Stratego-Java-Traits.def line: 25 col: 42]
-
SdfChecker:warning: undeclared sort
-
--- Java [file: Stratego-Java-Traits.def line: 4 col: 31]
-
building Mini-Java-CSharp.def
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front-syntax/JavaMix.def -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/JavaEBlockMix.def -Idef /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def -i Mini-Java-CSharp.sdf -o Mini-Java-CSharp.def --dep Mini-Java-CSharp.dep
-
including ./Mini-Java-CSharp.sdf
-
including languages/java-15/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/LineTerminators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Comments from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Identifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Keywords from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Modifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/ReferenceTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/TypeVariables from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/names/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/CompilationUnits from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/Annotations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Blocks from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Statements from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/StaticInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/arrays/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Primary from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/FieldAccess from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Postfix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Restrictions from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Priorities from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-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.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/bin/pack-sdf -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front-syntax/JavaMix.def -Idef /...-java-front-0.9pre1817718177-9zx3mfq8/share/java-front/JavaEBlockMix.def -Idef /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def -i Stratego-Mini-Java-CSharp.sdf -o Stratego-Mini-Java-CSharp.def --dep Stratego-Mini-Java-CSharp.dep
-
including ./Stratego-Mini-Java-CSharp.sdf
-
including Stratego-Java-Bytecode from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including StrategoMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Layout from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Layout from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Identifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Constants from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Constants from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Modules from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Modules from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Strategies from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Terms from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Core-Signatures from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Signatures from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Terms from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Strategies from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Rules from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-DynamicRules from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Stratego-Sugar-Overlays from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java/EmbeddedJavaMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java/EmbeddedJava from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/UnicodeEscapes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/LineTerminators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/WhiteSpace from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Comments from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Identifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Keywords from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/Modifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/IntegerLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/FloatingPointLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/BooleanLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/CharacterLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/EscapeSequences from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/StringLiterals from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/lexical/literals/NullLiteral from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/PrimitiveTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/ReferenceTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/TypeVariables from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/types/ParameterizedTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/names/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/CompilationUnits from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/TypeDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/ClassDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/FieldDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/Annotations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/arrays/ArrayInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/MethodDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Blocks from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/LocalVariableDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Statements from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/InstanceInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/StaticInitializers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/ConstructorDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/EnumDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/InterfaceDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/ConstantDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/AbstractMethodDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/AnnotationTypes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/ImportDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/packages/PackageDeclarations from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/classes/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/interfaces/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/arrays/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/statements/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Primary from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ClassInstanceCreation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ArrayCreation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/FieldAccess from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/ArrayAccess from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/MethodInvocation from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Postfix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/UnaryOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/BinaryOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/AssignmentOperators from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Restrictions from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/expressions/Priorities from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java/eblock/JavaEBlockMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java/eblock/Main from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Java-Bytecode from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Tags from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Types from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Members from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Flags from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Classes from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Constants from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Signatures from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Identifiers from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Bytecode-Instructions from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including Compatible-Bytecode from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java/JavaMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including languages/java-15/JavaMix from /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export//syntax/Stratego-Java-Bytecode.def
-
including ./Mini-Java-CSharp-Mix.sdf
-
including ./Mini-Java-CSharp.sdf
-
building Stratego-Mini-Java-CSharp.tbl
-
/...-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: 4582 col: 14]
-
SdfChecker:error: symbol is not defined by any production
-
--- Java [file: Stratego-Mini-Java-CSharp.def line: 1063 col: 31]
-
SdfChecker:error: symbol is not defined by any production
-
--- Undefined [file: Stratego-Mini-Java-CSharp.def line: 823 col: 17]
-
SdfChecker:warning: undeclared sort
-
--- StrategoHost [file: Stratego-Mini-Java-CSharp.def line: 4683 col: 37]
-
SdfChecker:warning: undeclared sort
-
--- Java [file: Stratego-Mini-Java-CSharp.def line: 4680 col: 23]
-
SdfChecker:error: start-symbol not defined by any production
-
--- Module [[ StrategoHost ]] [file: Stratego-Mini-Java-CSharp.def line: 4683 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: 4617 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: 4616 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- SomeId [file: Stratego-Mini-Java-CSharp.def line: 4622 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- Java [file: Stratego-Mini-Java-CSharp.def line: 4583 col: 33]
-
SdfChecker:warning: undeclared sort
-
--- StrategoHost [file: Stratego-Mini-Java-CSharp.def line: 4582 col: 14]
-
SdfChecker:error: start-symbol not defined by any production
-
--- Module [[ StrategoHost ]] [file: Stratego-Mini-Java-CSharp.def line: 4591 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: 4146 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: 3957 col: 5]
-
SdfChecker:warning: undeclared sort
-
--- MetaTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3629 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- MetaPrimTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3628 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- MetaRefTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3627 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- Name [file: Stratego-Mini-Java-CSharp.def line: 3626 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- Name [file: Stratego-Mini-Java-CSharp.def line: 3581 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- MetaRefTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3306 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MetaPrimTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3305 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MetaTypeVar [file: Stratego-Mini-Java-CSharp.def line: 3304 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- Java [file: Stratego-Mini-Java-CSharp.def line: 1063 col: 31]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- ListedInstruction * -> InstructionList { bracket } [file: Stratego-Mini-Java-CSharp.def line: 505 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Instruction ";" -> ListedInstruction { bracket } [file: Stratego-Mini-Java-CSharp.def line: 503 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "\"" < StringChars -CF > "\"" -> < SimpleString -CF > { bracket } [file: Stratego-Mini-Java-CSharp.def line: 725 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Field ";" -> Field { bracket } [file: Stratego-Mini-Java-CSharp.def line: 948 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- Method ";" -> Method { bracket } [file: Stratego-Mini-Java-CSharp.def line: 916 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MethodId [file: Stratego-Mini-Java-CSharp.def line: 208 col: 12]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "?" Expr ":" -> CondMid { bracket } [file: Stratego-Mini-Java-CSharp.def line: 1491 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "[" Expr "]" -> ArraySubscript { bracket } [file: Stratego-Mini-Java-CSharp.def line: 1566 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Stratego-Mini-Java-CSharp.def line: 1939 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MethodId [file: Stratego-Mini-Java-CSharp.def line: 38 col: 31]
-
building Java-Traits.rtg
-
/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/bin/rtg2sig --module `basename "Java-Traits"` -i Java-Traits.rtg -o Java-Traits.str
-
building Java-Traits.rtree-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/parse-stratego -i Java-Traits.str -o Java-Traits.rtree
-
building Mini-Java-CSharp.rtg
-
/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/bin/rtg2sig --module `basename "Mini-Java-CSharp"` -i Mini-Java-CSharp.rtg -o Mini-Java-CSharp.str
-
building Mini-Java-CSharp.rtree-
/...-strategoxt-0.17pre17928-x2sni5sg/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-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/syntax'
-
make[2]: Entering directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/trans'
-
building distdir
-
make[2]: Leaving directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/trans'
-
make[2]: Entering directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/tests'
-
building distdir
-
make[2]: Leaving directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/tests'
-
find /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples -type d ! -perm -777 -exec chmod a+rwx {} \; -o \� ! -type d ! -perm -444 -links 1 -exec chmod a+r {} \; -o \� ! -type d ! -perm -400 -exec chmod a+r {} \; -o \� ! -type d ! -perm -444 -exec /bin/sh /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples/install-sh -c -m a+r {} {} \; \� || chmod -R a+r /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/dryad-compiler-0.1pre18129/samples
-
make[1]: Leaving directory `/tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/samples'
-
find dryad-compiler-0.1pre18129 -type d ! -perm -777 -exec chmod a+rwx {} \; -o \� ! -type d ! -perm -444 -links 1 -exec chmod a+r {} \; -o \� ! -type d ! -perm -400 -exec chmod a+r {} \; -o \� ! -type d ! -perm -444 -exec /bin/sh /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/install-sh -c -m a+r {} {} \; \� || chmod -R a+r dryad-compiler-0.1pre18129
-
building dist
-
tardir=dryad-compiler-0.1pre18129 && /bin/sh /tmp/nix-build-01xc90k1wij10pkgnxm3424bp976kvvk-source-tarball.drv-0/4gzqbfymy6fb7dcr2hsr1nmzj26y7zqv-svn-export/missing --run tar chof - "$tardir" | GZIP=--best gzip -c >dryad-compiler-0.1pre18129.tar.gz
-
{ test ! -d dryad-compiler-0.1pre18129 || { find dryad-compiler-0.1pre18129 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr dryad-compiler-0.1pre18129; }; }
`dryad-compiler-0.1pre18129.tar.gz' -> `/...-source-tarball/tarballs/dryad-compiler-0.1pre18129.tar.gz'