dist flags: -
building distdir
-
{ test ! -d dryad-compiler-0.1pre17688 || { find dryad-compiler-0.1pre17688 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr dryad-compiler-0.1pre17688; }; }
-
mkdir dryad-compiler-0.1pre17688
-
mkdir -p -- dryad-compiler-0.1pre17688/.
-
list='. syntax lib xtc tests samples'; for subdir in $list; do \� if test "$subdir" = .; then :; else \� test -d "dryad-compiler-0.1pre17688/$subdir" \� || mkdir -p -- "dryad-compiler-0.1pre17688/$subdir" \� || exit 1; \� distdir=`CDPATH="${ZSH_VERSION+.}:" && cd dryad-compiler-0.1pre17688 && pwd`; \� top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd dryad-compiler-0.1pre17688 && pwd`; \� (cd $subdir && \� make \� top_distdir="$top_distdir" \� distdir="$distdir/$subdir" \� distdir) \� || exit 1; \� fi; \� done
-
make[1]: Entering directory `/tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/syntax'
-
building Bytecode.def
-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/pack-sdf -Idef /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front-syntax/JavaMix.def -Idef /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/JavaEBlockMix.def -Idef /...-java-front-0.9pre1769817698-gyyzqp2q/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.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/LineTerminators from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/WhiteSpace from /...-java-front-0.9pre1769817698-gyyzqp2q/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.17M3pre17690-0ryq08iv/bin/pack-sdf -Idef /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front-syntax/JavaMix.def -Idef /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/JavaEBlockMix.def -Idef /...-java-front-0.9pre1769817698-gyyzqp2q/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.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/LineTerminators from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/WhiteSpace from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java/JavaMix from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front-syntax/JavaMix.def
-
including languages/java-15/JavaMix from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front-syntax/JavaMix.def
-
including languages/java-15/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/UnicodeEscapes from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Identifiers from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Keywords from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Modifiers from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/IntegerLiterals from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/FloatingPointLiterals from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/BooleanLiterals from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/CharacterLiterals from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/EscapeSequences from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/StringLiterals from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/NullLiteral from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/PrimitiveTypes from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/ReferenceTypes from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/TypeVariables from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/ParameterizedTypes from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/names/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/CompilationUnits from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/TypeDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/ClassDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/FieldDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/Annotations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/arrays/ArrayInitializers from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/MethodDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Blocks from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/LocalVariableDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Statements from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/InstanceInitializers from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/StaticInitializers from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/ConstructorDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/EnumDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/InterfaceDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/ConstantDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/AbstractMethodDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/AnnotationTypes from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/ImportDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/PackageDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/arrays/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Primary from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ClassInstanceCreation from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ArrayCreation from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/FieldAccess from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ArrayAccess from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/MethodInvocation from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Postfix from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/UnaryOperators from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/BinaryOperators from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/AssignmentOperators from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Restrictions from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Priorities from /...-java-front-0.9pre1769817698-gyyzqp2q/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.17M3pre17690-0ryq08iv/bin/pack-sdf -Idef /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front-syntax/JavaMix.def -Idef /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/JavaEBlockMix.def -Idef /...-java-front-0.9pre1769817698-gyyzqp2q/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.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java/EmbeddedJava from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/UnicodeEscapes from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/LineTerminators from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/WhiteSpace from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Comments from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Identifiers from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Keywords from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/Modifiers from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/IntegerLiterals from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/FloatingPointLiterals from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/BooleanLiterals from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/CharacterLiterals from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/EscapeSequences from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/StringLiterals from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/lexical/literals/NullLiteral from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/PrimitiveTypes from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/ReferenceTypes from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/TypeVariables from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/types/ParameterizedTypes from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/names/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/CompilationUnits from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/TypeDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/ClassDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/FieldDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/Annotations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/arrays/ArrayInitializers from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/MethodDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Blocks from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/LocalVariableDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Statements from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/InstanceInitializers from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/StaticInitializers from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/ConstructorDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/EnumDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/InterfaceDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/ConstantDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/AbstractMethodDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/AnnotationTypes from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/ImportDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/packages/PackageDeclarations from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/classes/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/interfaces/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/arrays/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/statements/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Primary from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ClassInstanceCreation from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ArrayCreation from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/FieldAccess from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/ArrayAccess from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/MethodInvocation from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Postfix from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/UnaryOperators from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/BinaryOperators from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/AssignmentOperators from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Restrictions from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java-15/expressions/Priorities from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/EmbeddedJavaMix.def
-
including languages/java/eblock/JavaEBlockMix from /...-java-front-0.9pre1769817698-gyyzqp2q/share/java-front/JavaEBlockMix.def
-
including languages/java/eblock/Main from /...-java-front-0.9pre1769817698-gyyzqp2q/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.9pre1769817698-gyyzqp2q/share/java-front-syntax/JavaMix.def
-
including languages/java-15/JavaMix from /...-java-front-0.9pre1769817698-gyyzqp2q/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:warning: symbol is not used anywhere
-
--- Mod [file: Stratego-Java-Bytecode.def line: 3684 col: 50]
-
SdfChecker:error: symbol is not defined by any production
-
--- StrategoHost [file: Stratego-Java-Bytecode.def line: 4305 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: 4340 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: 4339 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- SomeId [file: Stratego-Java-Bytecode.def line: 4345 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- Java [file: Stratego-Java-Bytecode.def line: 4306 col: 33]
-
SdfChecker:warning: undeclared sort
-
--- StrategoHost [file: Stratego-Java-Bytecode.def line: 4305 col: 14]
-
SdfChecker:error: start-symbol not defined by any production
-
--- Module [[ StrategoHost ]] [file: Stratego-Java-Bytecode.def line: 4314 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.17M3pre17690-0ryq08iv/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.17M3pre17690-0ryq08iv/bin/rtg2sig --module `basename "Bytecode"` -i Bytecode.rtg -o Bytecode.str
-
building Bytecode.rtree-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/parse-stratego -i Bytecode.str -o Bytecode.rtree
-
building Java-Bytecode.rtg
-
/...-strategoxt-0.17M3pre17690-0ryq08iv/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.17M3pre17690-0ryq08iv/bin/rtg2sig --module `basename "Java-Bytecode"` -i Java-Bytecode.rtg -o Java-Bytecode.str
-
building Java-Bytecode.rtree-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/parse-stratego -i Java-Bytecode.str -o Java-Bytecode.rtree
-
building distdir-
mkdir -p -- /tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/dryad-compiler-0.1pre17688/syntax/..
-
rm Java-Bytecode.rtg Bytecode.rtg
-
make[1]: Leaving directory `/tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/syntax'
-
make[1]: Entering directory `/tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/lib'
-
building distdir-
mkdir -p -- /tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/dryad-compiler-0.1pre17688/lib/.. /tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/dryad-compiler-0.1pre17688/lib/dryad-compiler /tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/dryad-compiler-0.1pre17688/lib/dryad-compiler/backend /tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/dryad-compiler-0.1pre17688/lib/dryad-compiler/backend/asm /tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/dryad-compiler-0.1pre17688/lib/dryad-compiler/backend/asm/instructions /tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/dryad-compiler-0.1pre17688/lib/dryad-compiler/backend/asm/optimize /tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/dryad-compiler-0.1pre17688/lib/dryad-compiler/backend/asm/transform /tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/dryad-compiler-0.1pre17688/lib/dryad-compiler/backend/emit /tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw0ik07clxqq-svn-export/dryad-compiler-0.1pre17688/lib/dryad-compiler/backend/unasm /tmp/nix-build-xzzh57lmf9hxyc5nmpxb7mpkmdih9x9l-source-tarball.drv-0/bp5a4j0bkv29q4h4a1djjw