dist flags: building distdir { test ! -d aspectj-front-syntax-0.2 || { find aspectj-front-syntax-0.2 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr aspectj-front-syntax-0.2; }; } test -d aspectj-front-syntax-0.2 || mkdir aspectj-front-syntax-0.2 list='src'; for subdir in $list; do \ if test "$subdir" = .; then :; else \ test -d "aspectj-front-syntax-0.2/$subdir" \ || /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/mkdir -p "aspectj-front-syntax-0.2/$subdir" \ || exit 1; \ distdir=`CDPATH="${ZSH_VERSION+.}:" && cd aspectj-front-syntax-0.2 && pwd`; \ top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd aspectj-front-syntax-0.2 && 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-398x6anniax85azz5vh9ms4g777x49sq-source-tarball.drv-0/qi1ir087hfifkc188f14f0mzvn8znqji-svn-export/src' building aspectj.def /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def -i aspectj.sdf -o aspectj.def --dep aspectj.dep including ./aspectj.sdf including ./languages/aspectj/ajf/Main.sdf including ./languages/aspectj/JavaExtension.sdf including languages/java/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Comments from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Keywords from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/TypeVariables from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/names/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Blocks from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Statements from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Primary from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Postfix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Priorities from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/lexical/Keyword.sdf including ./languages/aspectj/aspect/Declaration.sdf including ./languages/aspectj/aspect/BodyDeclaration.sdf including ./languages/aspectj/aspect/DeclareDeclaration.sdf including ./languages/aspectj/aspect/AdviceDeclaration.sdf including ./languages/aspectj/aspect/IntertypeMemberDeclaration.sdf including ./languages/aspectj/pattern/Main.sdf including ./languages/aspectj/pattern/ClassMember.sdf including ./languages/aspectj/pattern/ClassName.sdf including ./languages/aspectj/common/BooleanComposition.sdf including ./languages/aspectj/pattern/FormalParameter.sdf including ./languages/aspectj/pattern/Name.sdf including ./languages/aspectj/pattern/Type.sdf including ./languages/aspectj/pattern/Annotation.sdf including ./languages/aspectj/pointcut/Declaration.sdf including ./languages/aspectj/pointcut/Expression.sdf including ./languages/aspectj/ajf/Keyword.sdf building aspectj.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m aspectj -i aspectj.def -o aspectj.tbl SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- PointcutDecBody [file: aspectj.def line: 125 col: 4] SdfChecker:error: symbol is not defined by any production --- PatternTheCtx [file: aspectj.def line: 2401 col: 68] SdfChecker:error: symbol is not defined by any production --- PointcutTheCtx [file: aspectj.def line: 2401 col: 53] SdfChecker:error: symbol is not defined by any production --- AspectTheCtx [file: aspectj.def line: 2401 col: 40] SdfChecker:error: symbol is not defined by any production --- JavaTheCtx [file: aspectj.def line: 2401 col: 29] SdfChecker:error: symbol is not defined by any production --- PlainJavaTheCtx [file: aspectj.def line: 158 col: 25] SdfChecker:warning: undeclared sort --- JavaCtxCompilationUnit [file: aspectj.def line: 2405 col: 29] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj.def line: 472 col: 24] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj.def line: 468 col: 24] SdfChecker:warning: undeclared sort --- AspectDecHead [file: aspectj.def line: 461 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj.def line: 451 col: 4] SdfChecker:warning: undeclared sort --- AspectDec [file: aspectj.def line: 450 col: 4] SdfChecker:warning: undeclared sort --- AspectCtx [file: aspectj.def line: 416 col: 69] SdfChecker:warning: undeclared sort --- ElementPattern [file: aspectj.def line: 416 col: 44] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj.def line: 400 col: 41] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj.def line: 397 col: 41] SdfChecker:warning: undeclared sort --- ExitStatus [file: aspectj.def line: 381 col: 47] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj.def line: 373 col: 45] SdfChecker:warning: undeclared sort --- IntertypeConstrDecHead [file: aspectj.def line: 352 col: 4] SdfChecker:warning: undeclared sort --- IntertypeMethodDecHead [file: aspectj.def line: 342 col: 4] SdfChecker:warning: undeclared sort --- NotConstrMod [file: aspectj.def line: 302 col: 28] SdfChecker:warning: undeclared sort --- NotFieldMod [file: aspectj.def line: 301 col: 28] SdfChecker:warning: undeclared sort --- NotMethodMod [file: aspectj.def line: 300 col: 28] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj.def line: 270 col: 73] SdfChecker:warning: undeclared sort --- AnnoPattern [file: aspectj.def line: 270 col: 4] SdfChecker:warning: undeclared sort --- TypeParamsPattern [file: aspectj.def line: 251 col: 16] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj.def line: 250 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj.def line: 226 col: 4] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj.def line: 225 col: 25] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: aspectj.def line: 677 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: aspectj.def line: 746 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: aspectj.def line: 1077 col: 4] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj.def line: 184 col: 8] SdfChecker:warning: undeclared sort --- BaseTypePattern [file: aspectj.def line: 169 col: 26] SdfChecker:warning: undeclared sort --- TypeDecSpecPattern [file: aspectj.def line: 169 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj.def line: 158 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj.def line: 152 col: 51] SdfChecker:warning: undeclared sort --- NotSimpleAnnoPattern [file: aspectj.def line: 149 col: 31] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj.def line: 147 col: 12] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj.def line: 137 col: 8] SdfChecker:warning: undeclared sort --- PointcutBody [file: aspectj.def line: 129 col: 20] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj.def line: 27 col: 14] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj.def line: 22 col: 31] SdfChecker:warning: undeclared sort --- ConstrPattern [file: aspectj.def line: 20 col: 31] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj.def line: 14 col: 20] SdfChecker:warning: undeclared sort --- PointcutName [file: aspectj.def line: 5 col: 24] SdfChecker:warning: undeclared sort --- PrimPointcutName [file: aspectj.def line: 5 col: 4] building aspectj-testing.def /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def -i aspectj-testing.sdf -o aspectj-testing.def --dep aspectj-testing.dep including ./aspectj-testing.sdf including ./aspectj.sdf including ./languages/aspectj/ajf/Main.sdf including ./languages/aspectj/JavaExtension.sdf including languages/java/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Comments from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Keywords from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/TypeVariables from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/names/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Blocks from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Statements from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Primary from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Postfix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Priorities from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/lexical/Keyword.sdf including ./languages/aspectj/aspect/Declaration.sdf including ./languages/aspectj/aspect/BodyDeclaration.sdf including ./languages/aspectj/aspect/DeclareDeclaration.sdf including ./languages/aspectj/aspect/AdviceDeclaration.sdf including ./languages/aspectj/aspect/IntertypeMemberDeclaration.sdf including ./languages/aspectj/pattern/Main.sdf including ./languages/aspectj/pattern/ClassMember.sdf including ./languages/aspectj/pattern/ClassName.sdf including ./languages/aspectj/common/BooleanComposition.sdf including ./languages/aspectj/pattern/FormalParameter.sdf including ./languages/aspectj/pattern/Name.sdf including ./languages/aspectj/pattern/Type.sdf including ./languages/aspectj/pattern/Annotation.sdf including ./languages/aspectj/pointcut/Declaration.sdf including ./languages/aspectj/pointcut/Expression.sdf including ./languages/aspectj/ajf/Keyword.sdf including ./aspectj-start-symbols.sdf building aspectj-testing.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m aspectj-testing -i aspectj-testing.def -o aspectj-testing.tbl SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- PointcutDecBody [file: aspectj-testing.def line: 161 col: 4] SdfChecker:error: symbol is not defined by any production --- PatternTheCtx [file: aspectj-testing.def line: 2437 col: 68] SdfChecker:error: symbol is not defined by any production --- PointcutTheCtx [file: aspectj-testing.def line: 2437 col: 53] SdfChecker:error: symbol is not defined by any production --- AspectTheCtx [file: aspectj-testing.def line: 2437 col: 40] SdfChecker:error: symbol is not defined by any production --- JavaTheCtx [file: aspectj-testing.def line: 2437 col: 29] SdfChecker:error: symbol is not defined by any production --- PlainJavaTheCtx [file: aspectj-testing.def line: 194 col: 25] SdfChecker:warning: undeclared sort --- JavaCtxCompilationUnit [file: aspectj-testing.def line: 2441 col: 29] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-testing.def line: 508 col: 24] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-testing.def line: 504 col: 24] SdfChecker:warning: undeclared sort --- AspectDecHead [file: aspectj-testing.def line: 497 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj-testing.def line: 487 col: 4] SdfChecker:warning: undeclared sort --- AspectDec [file: aspectj-testing.def line: 486 col: 4] SdfChecker:warning: undeclared sort --- AspectCtx [file: aspectj-testing.def line: 452 col: 69] SdfChecker:warning: undeclared sort --- ElementPattern [file: aspectj-testing.def line: 452 col: 44] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-testing.def line: 436 col: 41] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-testing.def line: 433 col: 41] SdfChecker:warning: undeclared sort --- ExitStatus [file: aspectj-testing.def line: 417 col: 47] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-testing.def line: 409 col: 45] SdfChecker:warning: undeclared sort --- IntertypeConstrDecHead [file: aspectj-testing.def line: 388 col: 4] SdfChecker:warning: undeclared sort --- IntertypeMethodDecHead [file: aspectj-testing.def line: 378 col: 4] SdfChecker:warning: undeclared sort --- NotConstrMod [file: aspectj-testing.def line: 338 col: 28] SdfChecker:warning: undeclared sort --- NotFieldMod [file: aspectj-testing.def line: 337 col: 28] SdfChecker:warning: undeclared sort --- NotMethodMod [file: aspectj-testing.def line: 336 col: 28] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-testing.def line: 306 col: 73] SdfChecker:warning: undeclared sort --- AnnoPattern [file: aspectj-testing.def line: 306 col: 4] SdfChecker:warning: undeclared sort --- TypeParamsPattern [file: aspectj-testing.def line: 287 col: 16] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj-testing.def line: 286 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-testing.def line: 262 col: 4] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-testing.def line: 261 col: 25] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: aspectj-testing.def line: 713 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: aspectj-testing.def line: 782 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: aspectj-testing.def line: 1113 col: 4] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-testing.def line: 220 col: 8] SdfChecker:warning: undeclared sort --- BaseTypePattern [file: aspectj-testing.def line: 205 col: 26] SdfChecker:warning: undeclared sort --- TypeDecSpecPattern [file: aspectj-testing.def line: 205 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj-testing.def line: 194 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-testing.def line: 188 col: 51] SdfChecker:warning: undeclared sort --- NotSimpleAnnoPattern [file: aspectj-testing.def line: 185 col: 31] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-testing.def line: 183 col: 12] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-testing.def line: 173 col: 8] SdfChecker:warning: undeclared sort --- PointcutBody [file: aspectj-testing.def line: 165 col: 20] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj-testing.def line: 63 col: 14] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-testing.def line: 58 col: 31] SdfChecker:warning: undeclared sort --- ConstrPattern [file: aspectj-testing.def line: 56 col: 31] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj-testing.def line: 50 col: 20] SdfChecker:warning: undeclared sort --- PointcutName [file: aspectj-testing.def line: 41 col: 24] SdfChecker:warning: undeclared sort --- PrimPointcutName [file: aspectj-testing.def line: 41 col: 4] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj-testing.def line: 25 col: 4] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj-testing.def line: 24 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-testing.def line: 23 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj-testing.def line: 22 col: 4] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-testing.def line: 21 col: 4] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj-testing.def line: 20 col: 4] SdfChecker:warning: undeclared sort --- ClassNamePattern [file: aspectj-testing.def line: 19 col: 4] SdfChecker:warning: undeclared sort --- AspectBodyDec [file: aspectj-testing.def line: 16 col: 4] SdfChecker:warning: undeclared sort --- AdviceSpec [file: aspectj-testing.def line: 15 col: 4] SdfChecker:warning: undeclared sort --- AdviceDec [file: aspectj-testing.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- AspectCtxExpr [file: aspectj-testing.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- AspectCtxId [file: aspectj-testing.def line: 11 col: 4] SdfChecker:warning: undeclared sort --- AspectCtxBlockStm [file: aspectj-testing.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxTypeDec [file: aspectj-testing.def line: 8 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxExpr [file: aspectj-testing.def line: 7 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxId [file: aspectj-testing.def line: 6 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxBlockStm [file: aspectj-testing.def line: 5 col: 4] SdfChecker:error: start-symbol not defined by any production --- FieldPattern [file: aspectj-testing.def line: 25 col: 4] SdfChecker:error: start-symbol not defined by any production --- MethodConstrPattern [file: aspectj-testing.def line: 24 col: 4] SdfChecker:error: start-symbol not defined by any production --- TypePattern [file: aspectj-testing.def line: 23 col: 4] SdfChecker:error: start-symbol not defined by any production --- PointcutDec [file: aspectj-testing.def line: 22 col: 4] SdfChecker:error: start-symbol not defined by any production --- PointcutExpr [file: aspectj-testing.def line: 21 col: 4] SdfChecker:error: start-symbol not defined by any production --- NamePattern [file: aspectj-testing.def line: 20 col: 4] SdfChecker:error: start-symbol not defined by any production --- ClassNamePattern [file: aspectj-testing.def line: 19 col: 4] SdfChecker:error: start-symbol not defined by any production --- AspectBodyDec [file: aspectj-testing.def line: 16 col: 4] SdfChecker:error: start-symbol not defined by any production --- AdviceSpec [file: aspectj-testing.def line: 15 col: 4] SdfChecker:error: start-symbol not defined by any production --- AdviceDec [file: aspectj-testing.def line: 14 col: 4] building aspectj-ajc.def /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def -i aspectj-ajc.sdf -o aspectj-ajc.def --dep aspectj-ajc.dep including ./aspectj-ajc.sdf including ./languages/aspectj/ajc/Main.sdf including ./languages/aspectj/JavaExtension.sdf including languages/java/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Comments from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Keywords from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/TypeVariables from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/names/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Blocks from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Statements from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Primary from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Postfix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Priorities from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/lexical/Keyword.sdf including ./languages/aspectj/aspect/Declaration.sdf including ./languages/aspectj/aspect/BodyDeclaration.sdf including ./languages/aspectj/aspect/DeclareDeclaration.sdf including ./languages/aspectj/aspect/AdviceDeclaration.sdf including ./languages/aspectj/aspect/IntertypeMemberDeclaration.sdf including ./languages/aspectj/pattern/Main.sdf including ./languages/aspectj/pattern/ClassMember.sdf including ./languages/aspectj/pattern/ClassName.sdf including ./languages/aspectj/common/BooleanComposition.sdf including ./languages/aspectj/pattern/FormalParameter.sdf including ./languages/aspectj/pattern/Name.sdf including ./languages/aspectj/pattern/Type.sdf including ./languages/aspectj/pattern/Annotation.sdf including ./languages/aspectj/pointcut/Declaration.sdf including ./languages/aspectj/pointcut/Expression.sdf including ./languages/aspectj/ajc/Keyword.sdf building aspectj-ajc.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m aspectj-ajc -i aspectj-ajc.def -o aspectj-ajc.tbl SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- PointcutDecBody [file: aspectj-ajc.def line: 144 col: 4] SdfChecker:error: symbol is not defined by any production --- PatternTheCtx [file: aspectj-ajc.def line: 2420 col: 68] SdfChecker:error: symbol is not defined by any production --- PointcutTheCtx [file: aspectj-ajc.def line: 2420 col: 53] SdfChecker:error: symbol is not defined by any production --- AspectTheCtx [file: aspectj-ajc.def line: 2420 col: 40] SdfChecker:error: symbol is not defined by any production --- JavaTheCtx [file: aspectj-ajc.def line: 2420 col: 29] SdfChecker:error: symbol is not defined by any production --- PlainJavaTheCtx [file: aspectj-ajc.def line: 177 col: 25] SdfChecker:warning: undeclared sort --- JavaCtxCompilationUnit [file: aspectj-ajc.def line: 2424 col: 29] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-ajc.def line: 491 col: 24] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc.def line: 487 col: 24] SdfChecker:warning: undeclared sort --- AspectDecHead [file: aspectj-ajc.def line: 480 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj-ajc.def line: 470 col: 4] SdfChecker:warning: undeclared sort --- AspectDec [file: aspectj-ajc.def line: 469 col: 4] SdfChecker:warning: undeclared sort --- AspectCtx [file: aspectj-ajc.def line: 435 col: 69] SdfChecker:warning: undeclared sort --- ElementPattern [file: aspectj-ajc.def line: 435 col: 44] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc.def line: 419 col: 41] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-ajc.def line: 416 col: 41] SdfChecker:warning: undeclared sort --- ExitStatus [file: aspectj-ajc.def line: 400 col: 47] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc.def line: 392 col: 45] SdfChecker:warning: undeclared sort --- IntertypeConstrDecHead [file: aspectj-ajc.def line: 371 col: 4] SdfChecker:warning: undeclared sort --- IntertypeMethodDecHead [file: aspectj-ajc.def line: 361 col: 4] SdfChecker:warning: undeclared sort --- NotConstrMod [file: aspectj-ajc.def line: 321 col: 28] SdfChecker:warning: undeclared sort --- NotFieldMod [file: aspectj-ajc.def line: 320 col: 28] SdfChecker:warning: undeclared sort --- NotMethodMod [file: aspectj-ajc.def line: 319 col: 28] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-ajc.def line: 289 col: 73] SdfChecker:warning: undeclared sort --- AnnoPattern [file: aspectj-ajc.def line: 289 col: 4] SdfChecker:warning: undeclared sort --- TypeParamsPattern [file: aspectj-ajc.def line: 270 col: 16] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj-ajc.def line: 269 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-ajc.def line: 245 col: 4] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-ajc.def line: 244 col: 25] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: aspectj-ajc.def line: 696 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: aspectj-ajc.def line: 765 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: aspectj-ajc.def line: 1096 col: 4] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-ajc.def line: 203 col: 8] SdfChecker:warning: undeclared sort --- BaseTypePattern [file: aspectj-ajc.def line: 188 col: 26] SdfChecker:warning: undeclared sort --- TypeDecSpecPattern [file: aspectj-ajc.def line: 188 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj-ajc.def line: 177 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-ajc.def line: 171 col: 51] SdfChecker:warning: undeclared sort --- NotSimpleAnnoPattern [file: aspectj-ajc.def line: 168 col: 31] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-ajc.def line: 166 col: 12] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc.def line: 156 col: 8] SdfChecker:warning: undeclared sort --- PointcutBody [file: aspectj-ajc.def line: 148 col: 20] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj-ajc.def line: 46 col: 14] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-ajc.def line: 41 col: 31] SdfChecker:warning: undeclared sort --- ConstrPattern [file: aspectj-ajc.def line: 39 col: 31] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj-ajc.def line: 33 col: 20] SdfChecker:warning: undeclared sort --- PointcutName [file: aspectj-ajc.def line: 5 col: 24] SdfChecker:warning: undeclared sort --- PrimPointcutName [file: aspectj-ajc.def line: 5 col: 4] building aspectj-abc.def /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def -i aspectj-abc.sdf -o aspectj-abc.def --dep aspectj-abc.dep including ./aspectj-abc.sdf including ./languages/aspectj/abc/Main.sdf including ./languages/aspectj/JavaExtension.sdf including languages/java/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Comments from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Keywords from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/TypeVariables from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/names/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Blocks from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Statements from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Primary from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Postfix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Priorities from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/lexical/Keyword.sdf including ./languages/aspectj/aspect/Declaration.sdf including ./languages/aspectj/aspect/BodyDeclaration.sdf including ./languages/aspectj/aspect/DeclareDeclaration.sdf including ./languages/aspectj/aspect/AdviceDeclaration.sdf including ./languages/aspectj/aspect/IntertypeMemberDeclaration.sdf including ./languages/aspectj/pattern/Main.sdf including ./languages/aspectj/pattern/ClassMember.sdf including ./languages/aspectj/pattern/ClassName.sdf including ./languages/aspectj/common/BooleanComposition.sdf including ./languages/aspectj/pattern/FormalParameter.sdf including ./languages/aspectj/pattern/Name.sdf including ./languages/aspectj/pattern/Type.sdf including ./languages/aspectj/pattern/Annotation.sdf including ./languages/aspectj/pointcut/Declaration.sdf including ./languages/aspectj/pointcut/Expression.sdf including ./languages/aspectj/abc/Keyword.sdf building aspectj-abc.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m aspectj-abc -i aspectj-abc.def -o aspectj-abc.tbl SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- PointcutDecBody [file: aspectj-abc.def line: 179 col: 4] SdfChecker:error: symbol is not defined by any production --- PatternTheCtx [file: aspectj-abc.def line: 2455 col: 68] SdfChecker:error: symbol is not defined by any production --- PointcutTheCtx [file: aspectj-abc.def line: 2455 col: 53] SdfChecker:error: symbol is not defined by any production --- AspectTheCtx [file: aspectj-abc.def line: 2455 col: 40] SdfChecker:error: symbol is not defined by any production --- JavaTheCtx [file: aspectj-abc.def line: 2455 col: 29] SdfChecker:error: symbol is not defined by any production --- PlainJavaTheCtx [file: aspectj-abc.def line: 4 col: 25] SdfChecker:warning: undeclared sort --- JavaCtxCompilationUnit [file: aspectj-abc.def line: 2459 col: 29] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-abc.def line: 526 col: 24] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc.def line: 522 col: 24] SdfChecker:warning: undeclared sort --- AspectDecHead [file: aspectj-abc.def line: 515 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj-abc.def line: 505 col: 4] SdfChecker:warning: undeclared sort --- AspectDec [file: aspectj-abc.def line: 504 col: 4] SdfChecker:warning: undeclared sort --- AspectCtx [file: aspectj-abc.def line: 470 col: 69] SdfChecker:warning: undeclared sort --- ElementPattern [file: aspectj-abc.def line: 470 col: 44] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc.def line: 454 col: 41] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-abc.def line: 451 col: 41] SdfChecker:warning: undeclared sort --- ExitStatus [file: aspectj-abc.def line: 435 col: 47] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc.def line: 427 col: 45] SdfChecker:warning: undeclared sort --- IntertypeConstrDecHead [file: aspectj-abc.def line: 406 col: 4] SdfChecker:warning: undeclared sort --- IntertypeMethodDecHead [file: aspectj-abc.def line: 396 col: 4] SdfChecker:warning: undeclared sort --- NotConstrMod [file: aspectj-abc.def line: 356 col: 28] SdfChecker:warning: undeclared sort --- NotFieldMod [file: aspectj-abc.def line: 355 col: 28] SdfChecker:warning: undeclared sort --- NotMethodMod [file: aspectj-abc.def line: 354 col: 28] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-abc.def line: 324 col: 73] SdfChecker:warning: undeclared sort --- AnnoPattern [file: aspectj-abc.def line: 324 col: 4] SdfChecker:warning: undeclared sort --- TypeParamsPattern [file: aspectj-abc.def line: 305 col: 16] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj-abc.def line: 304 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-abc.def line: 280 col: 4] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-abc.def line: 279 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-abc.def line: 238 col: 8] SdfChecker:warning: undeclared sort --- BaseTypePattern [file: aspectj-abc.def line: 223 col: 26] SdfChecker:warning: undeclared sort --- TypeDecSpecPattern [file: aspectj-abc.def line: 223 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj-abc.def line: 212 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-abc.def line: 206 col: 51] SdfChecker:warning: undeclared sort --- NotSimpleAnnoPattern [file: aspectj-abc.def line: 203 col: 31] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-abc.def line: 201 col: 12] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc.def line: 191 col: 8] SdfChecker:warning: undeclared sort --- PointcutBody [file: aspectj-abc.def line: 183 col: 20] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj-abc.def line: 81 col: 14] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-abc.def line: 76 col: 31] SdfChecker:warning: undeclared sort --- ConstrPattern [file: aspectj-abc.def line: 74 col: 31] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj-abc.def line: 68 col: 20] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: aspectj-abc.def line: 731 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: aspectj-abc.def line: 800 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: aspectj-abc.def line: 1131 col: 4] SdfChecker:warning: undeclared sort --- IdPattern [file: aspectj-abc.def line: 56 col: 29] SdfChecker:warning: undeclared sort --- PrimPointcutName [file: aspectj-abc.def line: 40 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj-abc.def line: 4 col: 25] building aspectj-ajc-testing.def /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def -i aspectj-ajc-testing.sdf -o aspectj-ajc-testing.def --dep aspectj-ajc-testing.dep including ./aspectj-ajc-testing.sdf including ./aspectj-ajc.sdf including ./languages/aspectj/ajc/Main.sdf including ./languages/aspectj/JavaExtension.sdf including languages/java/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Comments from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Keywords from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/TypeVariables from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/names/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Blocks from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Statements from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Primary from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Postfix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Priorities from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/lexical/Keyword.sdf including ./languages/aspectj/aspect/Declaration.sdf including ./languages/aspectj/aspect/BodyDeclaration.sdf including ./languages/aspectj/aspect/DeclareDeclaration.sdf including ./languages/aspectj/aspect/AdviceDeclaration.sdf including ./languages/aspectj/aspect/IntertypeMemberDeclaration.sdf including ./languages/aspectj/pattern/Main.sdf including ./languages/aspectj/pattern/ClassMember.sdf including ./languages/aspectj/pattern/ClassName.sdf including ./languages/aspectj/common/BooleanComposition.sdf including ./languages/aspectj/pattern/FormalParameter.sdf including ./languages/aspectj/pattern/Name.sdf including ./languages/aspectj/pattern/Type.sdf including ./languages/aspectj/pattern/Annotation.sdf including ./languages/aspectj/pointcut/Declaration.sdf including ./languages/aspectj/pointcut/Expression.sdf including ./languages/aspectj/ajc/Keyword.sdf including ./aspectj-start-symbols.sdf building aspectj-ajc-testing.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m aspectj-ajc-testing -i aspectj-ajc-testing.def -o aspectj-ajc-testing.tbl SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- PointcutDecBody [file: aspectj-ajc-testing.def line: 180 col: 4] SdfChecker:error: symbol is not defined by any production --- PatternTheCtx [file: aspectj-ajc-testing.def line: 2456 col: 68] SdfChecker:error: symbol is not defined by any production --- PointcutTheCtx [file: aspectj-ajc-testing.def line: 2456 col: 53] SdfChecker:error: symbol is not defined by any production --- AspectTheCtx [file: aspectj-ajc-testing.def line: 2456 col: 40] SdfChecker:error: symbol is not defined by any production --- JavaTheCtx [file: aspectj-ajc-testing.def line: 2456 col: 29] SdfChecker:error: symbol is not defined by any production --- PlainJavaTheCtx [file: aspectj-ajc-testing.def line: 213 col: 25] SdfChecker:warning: undeclared sort --- JavaCtxCompilationUnit [file: aspectj-ajc-testing.def line: 2460 col: 29] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-ajc-testing.def line: 527 col: 24] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc-testing.def line: 523 col: 24] SdfChecker:warning: undeclared sort --- AspectDecHead [file: aspectj-ajc-testing.def line: 516 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj-ajc-testing.def line: 506 col: 4] SdfChecker:warning: undeclared sort --- AspectDec [file: aspectj-ajc-testing.def line: 505 col: 4] SdfChecker:warning: undeclared sort --- AspectCtx [file: aspectj-ajc-testing.def line: 471 col: 69] SdfChecker:warning: undeclared sort --- ElementPattern [file: aspectj-ajc-testing.def line: 471 col: 44] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc-testing.def line: 455 col: 41] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-ajc-testing.def line: 452 col: 41] SdfChecker:warning: undeclared sort --- ExitStatus [file: aspectj-ajc-testing.def line: 436 col: 47] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc-testing.def line: 428 col: 45] SdfChecker:warning: undeclared sort --- IntertypeConstrDecHead [file: aspectj-ajc-testing.def line: 407 col: 4] SdfChecker:warning: undeclared sort --- IntertypeMethodDecHead [file: aspectj-ajc-testing.def line: 397 col: 4] SdfChecker:warning: undeclared sort --- NotConstrMod [file: aspectj-ajc-testing.def line: 357 col: 28] SdfChecker:warning: undeclared sort --- NotFieldMod [file: aspectj-ajc-testing.def line: 356 col: 28] SdfChecker:warning: undeclared sort --- NotMethodMod [file: aspectj-ajc-testing.def line: 355 col: 28] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-ajc-testing.def line: 325 col: 73] SdfChecker:warning: undeclared sort --- AnnoPattern [file: aspectj-ajc-testing.def line: 325 col: 4] SdfChecker:warning: undeclared sort --- TypeParamsPattern [file: aspectj-ajc-testing.def line: 306 col: 16] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj-ajc-testing.def line: 305 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-ajc-testing.def line: 281 col: 4] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-ajc-testing.def line: 280 col: 25] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: aspectj-ajc-testing.def line: 732 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: aspectj-ajc-testing.def line: 801 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: aspectj-ajc-testing.def line: 1132 col: 4] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-ajc-testing.def line: 239 col: 8] SdfChecker:warning: undeclared sort --- BaseTypePattern [file: aspectj-ajc-testing.def line: 224 col: 26] SdfChecker:warning: undeclared sort --- TypeDecSpecPattern [file: aspectj-ajc-testing.def line: 224 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj-ajc-testing.def line: 213 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-ajc-testing.def line: 207 col: 51] SdfChecker:warning: undeclared sort --- NotSimpleAnnoPattern [file: aspectj-ajc-testing.def line: 204 col: 31] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-ajc-testing.def line: 202 col: 12] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc-testing.def line: 192 col: 8] SdfChecker:warning: undeclared sort --- PointcutBody [file: aspectj-ajc-testing.def line: 184 col: 20] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj-ajc-testing.def line: 82 col: 14] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-ajc-testing.def line: 77 col: 31] SdfChecker:warning: undeclared sort --- ConstrPattern [file: aspectj-ajc-testing.def line: 75 col: 31] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj-ajc-testing.def line: 69 col: 20] SdfChecker:warning: undeclared sort --- PointcutName [file: aspectj-ajc-testing.def line: 41 col: 24] SdfChecker:warning: undeclared sort --- PrimPointcutName [file: aspectj-ajc-testing.def line: 41 col: 4] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj-ajc-testing.def line: 25 col: 4] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj-ajc-testing.def line: 24 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-ajc-testing.def line: 23 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj-ajc-testing.def line: 22 col: 4] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc-testing.def line: 21 col: 4] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj-ajc-testing.def line: 20 col: 4] SdfChecker:warning: undeclared sort --- ClassNamePattern [file: aspectj-ajc-testing.def line: 19 col: 4] SdfChecker:warning: undeclared sort --- AspectBodyDec [file: aspectj-ajc-testing.def line: 16 col: 4] SdfChecker:warning: undeclared sort --- AdviceSpec [file: aspectj-ajc-testing.def line: 15 col: 4] SdfChecker:warning: undeclared sort --- AdviceDec [file: aspectj-ajc-testing.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- AspectCtxExpr [file: aspectj-ajc-testing.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- AspectCtxId [file: aspectj-ajc-testing.def line: 11 col: 4] SdfChecker:warning: undeclared sort --- AspectCtxBlockStm [file: aspectj-ajc-testing.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxTypeDec [file: aspectj-ajc-testing.def line: 8 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxExpr [file: aspectj-ajc-testing.def line: 7 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxId [file: aspectj-ajc-testing.def line: 6 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxBlockStm [file: aspectj-ajc-testing.def line: 5 col: 4] SdfChecker:error: start-symbol not defined by any production --- FieldPattern [file: aspectj-ajc-testing.def line: 25 col: 4] SdfChecker:error: start-symbol not defined by any production --- MethodConstrPattern [file: aspectj-ajc-testing.def line: 24 col: 4] SdfChecker:error: start-symbol not defined by any production --- TypePattern [file: aspectj-ajc-testing.def line: 23 col: 4] SdfChecker:error: start-symbol not defined by any production --- PointcutDec [file: aspectj-ajc-testing.def line: 22 col: 4] SdfChecker:error: start-symbol not defined by any production --- PointcutExpr [file: aspectj-ajc-testing.def line: 21 col: 4] SdfChecker:error: start-symbol not defined by any production --- NamePattern [file: aspectj-ajc-testing.def line: 20 col: 4] SdfChecker:error: start-symbol not defined by any production --- ClassNamePattern [file: aspectj-ajc-testing.def line: 19 col: 4] SdfChecker:error: start-symbol not defined by any production --- AspectBodyDec [file: aspectj-ajc-testing.def line: 16 col: 4] SdfChecker:error: start-symbol not defined by any production --- AdviceSpec [file: aspectj-ajc-testing.def line: 15 col: 4] SdfChecker:error: start-symbol not defined by any production --- AdviceDec [file: aspectj-ajc-testing.def line: 14 col: 4] building aspectj-abc-testing.def /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -Idef /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def -i aspectj-abc-testing.sdf -o aspectj-abc-testing.def --dep aspectj-abc-testing.dep including ./aspectj-abc-testing.sdf including ./aspectj-abc.sdf including ./languages/aspectj/abc/Main.sdf including ./languages/aspectj/JavaExtension.sdf including languages/java/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Comments from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Keywords from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/TypeVariables from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/names/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Blocks from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Statements from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Primary from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Postfix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Priorities from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/lexical/Keyword.sdf including ./languages/aspectj/aspect/Declaration.sdf including ./languages/aspectj/aspect/BodyDeclaration.sdf including ./languages/aspectj/aspect/DeclareDeclaration.sdf including ./languages/aspectj/aspect/AdviceDeclaration.sdf including ./languages/aspectj/aspect/IntertypeMemberDeclaration.sdf including ./languages/aspectj/pattern/Main.sdf including ./languages/aspectj/pattern/ClassMember.sdf including ./languages/aspectj/pattern/ClassName.sdf including ./languages/aspectj/common/BooleanComposition.sdf including ./languages/aspectj/pattern/FormalParameter.sdf including ./languages/aspectj/pattern/Name.sdf including ./languages/aspectj/pattern/Type.sdf including ./languages/aspectj/pattern/Annotation.sdf including ./languages/aspectj/pointcut/Declaration.sdf including ./languages/aspectj/pointcut/Expression.sdf including ./languages/aspectj/abc/Keyword.sdf including ./aspectj-start-symbols.sdf building aspectj-abc-testing.tbl /nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m aspectj-abc-testing -i aspectj-abc-testing.def -o aspectj-abc-testing.tbl SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- PointcutDecBody [file: aspectj-abc-testing.def line: 215 col: 4] SdfChecker:error: symbol is not defined by any production --- PatternTheCtx [file: aspectj-abc-testing.def line: 2491 col: 68] SdfChecker:error: symbol is not defined by any production --- PointcutTheCtx [file: aspectj-abc-testing.def line: 2491 col: 53] SdfChecker:error: symbol is not defined by any production --- AspectTheCtx [file: aspectj-abc-testing.def line: 2491 col: 40] SdfChecker:error: symbol is not defined by any production --- JavaTheCtx [file: aspectj-abc-testing.def line: 2491 col: 29] SdfChecker:error: symbol is not defined by any production --- PlainJavaTheCtx [file: aspectj-abc-testing.def line: 40 col: 25] SdfChecker:warning: undeclared sort --- JavaCtxCompilationUnit [file: aspectj-abc-testing.def line: 2495 col: 29] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-abc-testing.def line: 562 col: 24] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc-testing.def line: 558 col: 24] SdfChecker:warning: undeclared sort --- AspectDecHead [file: aspectj-abc-testing.def line: 551 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj-abc-testing.def line: 541 col: 4] SdfChecker:warning: undeclared sort --- AspectDec [file: aspectj-abc-testing.def line: 540 col: 4] SdfChecker:warning: undeclared sort --- AspectCtx [file: aspectj-abc-testing.def line: 506 col: 69] SdfChecker:warning: undeclared sort --- ElementPattern [file: aspectj-abc-testing.def line: 506 col: 44] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc-testing.def line: 490 col: 41] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-abc-testing.def line: 487 col: 41] SdfChecker:warning: undeclared sort --- ExitStatus [file: aspectj-abc-testing.def line: 471 col: 47] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc-testing.def line: 463 col: 45] SdfChecker:warning: undeclared sort --- IntertypeConstrDecHead [file: aspectj-abc-testing.def line: 442 col: 4] SdfChecker:warning: undeclared sort --- IntertypeMethodDecHead [file: aspectj-abc-testing.def line: 432 col: 4] SdfChecker:warning: undeclared sort --- NotConstrMod [file: aspectj-abc-testing.def line: 392 col: 28] SdfChecker:warning: undeclared sort --- NotFieldMod [file: aspectj-abc-testing.def line: 391 col: 28] SdfChecker:warning: undeclared sort --- NotMethodMod [file: aspectj-abc-testing.def line: 390 col: 28] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-abc-testing.def line: 360 col: 73] SdfChecker:warning: undeclared sort --- AnnoPattern [file: aspectj-abc-testing.def line: 360 col: 4] SdfChecker:warning: undeclared sort --- TypeParamsPattern [file: aspectj-abc-testing.def line: 341 col: 16] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj-abc-testing.def line: 340 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-abc-testing.def line: 316 col: 4] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-abc-testing.def line: 315 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-abc-testing.def line: 274 col: 8] SdfChecker:warning: undeclared sort --- BaseTypePattern [file: aspectj-abc-testing.def line: 259 col: 26] SdfChecker:warning: undeclared sort --- TypeDecSpecPattern [file: aspectj-abc-testing.def line: 259 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj-abc-testing.def line: 248 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-abc-testing.def line: 242 col: 51] SdfChecker:warning: undeclared sort --- NotSimpleAnnoPattern [file: aspectj-abc-testing.def line: 239 col: 31] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-abc-testing.def line: 237 col: 12] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc-testing.def line: 227 col: 8] SdfChecker:warning: undeclared sort --- PointcutBody [file: aspectj-abc-testing.def line: 219 col: 20] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj-abc-testing.def line: 117 col: 14] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-abc-testing.def line: 112 col: 31] SdfChecker:warning: undeclared sort --- ConstrPattern [file: aspectj-abc-testing.def line: 110 col: 31] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj-abc-testing.def line: 104 col: 20] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: aspectj-abc-testing.def line: 767 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: aspectj-abc-testing.def line: 836 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: aspectj-abc-testing.def line: 1167 col: 4] SdfChecker:warning: undeclared sort --- IdPattern [file: aspectj-abc-testing.def line: 92 col: 29] SdfChecker:warning: undeclared sort --- PrimPointcutName [file: aspectj-abc-testing.def line: 76 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj-abc-testing.def line: 40 col: 25] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj-abc-testing.def line: 25 col: 4] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj-abc-testing.def line: 24 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-abc-testing.def line: 23 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj-abc-testing.def line: 22 col: 4] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc-testing.def line: 21 col: 4] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj-abc-testing.def line: 20 col: 4] SdfChecker:warning: undeclared sort --- ClassNamePattern [file: aspectj-abc-testing.def line: 19 col: 4] SdfChecker:warning: undeclared sort --- AspectBodyDec [file: aspectj-abc-testing.def line: 16 col: 4] SdfChecker:warning: undeclared sort --- AdviceSpec [file: aspectj-abc-testing.def line: 15 col: 4] SdfChecker:warning: undeclared sort --- AdviceDec [file: aspectj-abc-testing.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- AspectCtxExpr [file: aspectj-abc-testing.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- AspectCtxId [file: aspectj-abc-testing.def line: 11 col: 4] SdfChecker:warning: undeclared sort --- AspectCtxBlockStm [file: aspectj-abc-testing.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxTypeDec [file: aspectj-abc-testing.def line: 8 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxExpr [file: aspectj-abc-testing.def line: 7 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxId [file: aspectj-abc-testing.def line: 6 col: 4] SdfChecker:warning: undeclared sort --- JavaCtxBlockStm [file: aspectj-abc-testing.def line: 5 col: 4] SdfChecker:error: start-symbol not defined by any production --- FieldPattern [file: aspectj-abc-testing.def line: 25 col: 4] SdfChecker:error: start-symbol not defined by any production --- MethodConstrPattern [file: aspectj-abc-testing.def line: 24 col: 4] SdfChecker:error: start-symbol not defined by any production --- TypePattern [file: aspectj-abc-testing.def line: 23 col: 4] SdfChecker:error: start-symbol not defined by any production --- PointcutDec [file: aspectj-abc-testing.def line: 22 col: 4] SdfChecker:error: start-symbol not defined by any production --- PointcutExpr [file: aspectj-abc-testing.def line: 21 col: 4] SdfChecker:error: start-symbol not defined by any production --- NamePattern [file: aspectj-abc-testing.def line: 20 col: 4] SdfChecker:error: start-symbol not defined by any production --- ClassNamePattern [file: aspectj-abc-testing.def line: 19 col: 4] SdfChecker:error: start-symbol not defined by any production --- AspectBodyDec [file: aspectj-abc-testing.def line: 16 col: 4] SdfChecker:error: start-symbol not defined by any production --- AdviceSpec [file: aspectj-abc-testing.def line: 15 col: 4] SdfChecker:error: start-symbol not defined by any production --- AdviceDec [file: aspectj-abc-testing.def line: 14 col: 4] building languages/aspectj/abc/Mix.sdf /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/gen-sdf-mix -i aspectj-abc.def --main languages/aspectj/abc/Main --name languages/aspectj/abc/Mix -o languages/aspectj/abc/Mix.sdf SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- PointcutDecBody [file: aspectj-abc.def line: 179 col: 4] SdfChecker:error: symbol is not defined by any production --- PatternTheCtx [file: aspectj-abc.def line: 2455 col: 68] SdfChecker:error: symbol is not defined by any production --- PointcutTheCtx [file: aspectj-abc.def line: 2455 col: 53] SdfChecker:error: symbol is not defined by any production --- AspectTheCtx [file: aspectj-abc.def line: 2455 col: 40] SdfChecker:error: symbol is not defined by any production --- JavaTheCtx [file: aspectj-abc.def line: 2455 col: 29] SdfChecker:error: symbol is not defined by any production --- PlainJavaTheCtx [file: aspectj-abc.def line: 4 col: 25] SdfChecker:warning: undeclared sort --- JavaCtxCompilationUnit [file: aspectj-abc.def line: 2459 col: 29] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-abc.def line: 526 col: 24] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc.def line: 522 col: 24] SdfChecker:warning: undeclared sort --- AspectDecHead [file: aspectj-abc.def line: 515 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj-abc.def line: 505 col: 4] SdfChecker:warning: undeclared sort --- AspectDec [file: aspectj-abc.def line: 504 col: 4] SdfChecker:warning: undeclared sort --- AspectCtx [file: aspectj-abc.def line: 470 col: 69] SdfChecker:warning: undeclared sort --- ElementPattern [file: aspectj-abc.def line: 470 col: 44] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc.def line: 454 col: 41] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-abc.def line: 451 col: 41] SdfChecker:warning: undeclared sort --- ExitStatus [file: aspectj-abc.def line: 435 col: 47] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc.def line: 427 col: 45] SdfChecker:warning: undeclared sort --- IntertypeConstrDecHead [file: aspectj-abc.def line: 406 col: 4] SdfChecker:warning: undeclared sort --- IntertypeMethodDecHead [file: aspectj-abc.def line: 396 col: 4] SdfChecker:warning: undeclared sort --- NotConstrMod [file: aspectj-abc.def line: 356 col: 28] SdfChecker:warning: undeclared sort --- NotFieldMod [file: aspectj-abc.def line: 355 col: 28] SdfChecker:warning: undeclared sort --- NotMethodMod [file: aspectj-abc.def line: 354 col: 28] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-abc.def line: 324 col: 73] SdfChecker:warning: undeclared sort --- AnnoPattern [file: aspectj-abc.def line: 324 col: 4] SdfChecker:warning: undeclared sort --- TypeParamsPattern [file: aspectj-abc.def line: 305 col: 16] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj-abc.def line: 304 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-abc.def line: 280 col: 4] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-abc.def line: 279 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-abc.def line: 238 col: 8] SdfChecker:warning: undeclared sort --- BaseTypePattern [file: aspectj-abc.def line: 223 col: 26] SdfChecker:warning: undeclared sort --- TypeDecSpecPattern [file: aspectj-abc.def line: 223 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj-abc.def line: 212 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-abc.def line: 206 col: 51] SdfChecker:warning: undeclared sort --- NotSimpleAnnoPattern [file: aspectj-abc.def line: 203 col: 31] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-abc.def line: 201 col: 12] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-abc.def line: 191 col: 8] SdfChecker:warning: undeclared sort --- PointcutBody [file: aspectj-abc.def line: 183 col: 20] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj-abc.def line: 81 col: 14] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-abc.def line: 76 col: 31] SdfChecker:warning: undeclared sort --- ConstrPattern [file: aspectj-abc.def line: 74 col: 31] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj-abc.def line: 68 col: 20] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: aspectj-abc.def line: 731 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: aspectj-abc.def line: 800 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: aspectj-abc.def line: 1131 col: 4] SdfChecker:warning: undeclared sort --- IdPattern [file: aspectj-abc.def line: 56 col: 29] SdfChecker:warning: undeclared sort --- PrimPointcutName [file: aspectj-abc.def line: 40 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj-abc.def line: 4 col: 25] building aspectj-abc-mix.def /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -i languages/aspectj/abc/Mix.sdf -o aspectj-abc-mix.def -I . -Idef /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/abc/Mix.sdf including ./languages/aspectj/abc/Main.sdf including ./languages/aspectj/JavaExtension.sdf including languages/java/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Comments from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Keywords from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/TypeVariables from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/names/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Blocks from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Statements from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Primary from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Postfix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Priorities from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/lexical/Keyword.sdf including ./languages/aspectj/aspect/Declaration.sdf including ./languages/aspectj/aspect/BodyDeclaration.sdf including ./languages/aspectj/aspect/DeclareDeclaration.sdf including ./languages/aspectj/aspect/AdviceDeclaration.sdf including ./languages/aspectj/aspect/IntertypeMemberDeclaration.sdf including ./languages/aspectj/pattern/Main.sdf including ./languages/aspectj/pattern/ClassMember.sdf including ./languages/aspectj/pattern/ClassName.sdf including ./languages/aspectj/common/BooleanComposition.sdf including ./languages/aspectj/pattern/FormalParameter.sdf including ./languages/aspectj/pattern/Name.sdf including ./languages/aspectj/pattern/Type.sdf including ./languages/aspectj/pattern/Annotation.sdf including ./languages/aspectj/pointcut/Declaration.sdf including ./languages/aspectj/pointcut/Expression.sdf including ./languages/aspectj/abc/Keyword.sdf building languages/aspectj/ajc/Mix.sdf /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/gen-sdf-mix -i aspectj-ajc.def --main languages/aspectj/ajc/Main --name languages/aspectj/ajc/Mix -o languages/aspectj/ajc/Mix.sdf SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- PointcutDecBody [file: aspectj-ajc.def line: 144 col: 4] SdfChecker:error: symbol is not defined by any production --- PatternTheCtx [file: aspectj-ajc.def line: 2420 col: 68] SdfChecker:error: symbol is not defined by any production --- PointcutTheCtx [file: aspectj-ajc.def line: 2420 col: 53] SdfChecker:error: symbol is not defined by any production --- AspectTheCtx [file: aspectj-ajc.def line: 2420 col: 40] SdfChecker:error: symbol is not defined by any production --- JavaTheCtx [file: aspectj-ajc.def line: 2420 col: 29] SdfChecker:error: symbol is not defined by any production --- PlainJavaTheCtx [file: aspectj-ajc.def line: 177 col: 25] SdfChecker:warning: undeclared sort --- JavaCtxCompilationUnit [file: aspectj-ajc.def line: 2424 col: 29] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-ajc.def line: 491 col: 24] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc.def line: 487 col: 24] SdfChecker:warning: undeclared sort --- AspectDecHead [file: aspectj-ajc.def line: 480 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj-ajc.def line: 470 col: 4] SdfChecker:warning: undeclared sort --- AspectDec [file: aspectj-ajc.def line: 469 col: 4] SdfChecker:warning: undeclared sort --- AspectCtx [file: aspectj-ajc.def line: 435 col: 69] SdfChecker:warning: undeclared sort --- ElementPattern [file: aspectj-ajc.def line: 435 col: 44] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc.def line: 419 col: 41] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-ajc.def line: 416 col: 41] SdfChecker:warning: undeclared sort --- ExitStatus [file: aspectj-ajc.def line: 400 col: 47] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc.def line: 392 col: 45] SdfChecker:warning: undeclared sort --- IntertypeConstrDecHead [file: aspectj-ajc.def line: 371 col: 4] SdfChecker:warning: undeclared sort --- IntertypeMethodDecHead [file: aspectj-ajc.def line: 361 col: 4] SdfChecker:warning: undeclared sort --- NotConstrMod [file: aspectj-ajc.def line: 321 col: 28] SdfChecker:warning: undeclared sort --- NotFieldMod [file: aspectj-ajc.def line: 320 col: 28] SdfChecker:warning: undeclared sort --- NotMethodMod [file: aspectj-ajc.def line: 319 col: 28] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-ajc.def line: 289 col: 73] SdfChecker:warning: undeclared sort --- AnnoPattern [file: aspectj-ajc.def line: 289 col: 4] SdfChecker:warning: undeclared sort --- TypeParamsPattern [file: aspectj-ajc.def line: 270 col: 16] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj-ajc.def line: 269 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-ajc.def line: 245 col: 4] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj-ajc.def line: 244 col: 25] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: aspectj-ajc.def line: 696 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: aspectj-ajc.def line: 765 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: aspectj-ajc.def line: 1096 col: 4] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-ajc.def line: 203 col: 8] SdfChecker:warning: undeclared sort --- BaseTypePattern [file: aspectj-ajc.def line: 188 col: 26] SdfChecker:warning: undeclared sort --- TypeDecSpecPattern [file: aspectj-ajc.def line: 188 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj-ajc.def line: 177 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj-ajc.def line: 171 col: 51] SdfChecker:warning: undeclared sort --- NotSimpleAnnoPattern [file: aspectj-ajc.def line: 168 col: 31] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj-ajc.def line: 166 col: 12] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj-ajc.def line: 156 col: 8] SdfChecker:warning: undeclared sort --- PointcutBody [file: aspectj-ajc.def line: 148 col: 20] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj-ajc.def line: 46 col: 14] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj-ajc.def line: 41 col: 31] SdfChecker:warning: undeclared sort --- ConstrPattern [file: aspectj-ajc.def line: 39 col: 31] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj-ajc.def line: 33 col: 20] SdfChecker:warning: undeclared sort --- PointcutName [file: aspectj-ajc.def line: 5 col: 24] SdfChecker:warning: undeclared sort --- PrimPointcutName [file: aspectj-ajc.def line: 5 col: 4] building aspectj-ajc-mix.def /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -i languages/aspectj/ajc/Mix.sdf -o aspectj-ajc-mix.def -I . -Idef /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/ajc/Mix.sdf including ./languages/aspectj/ajc/Main.sdf including ./languages/aspectj/JavaExtension.sdf including languages/java/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Comments from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Keywords from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/TypeVariables from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/names/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Blocks from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Statements from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Primary from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Postfix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Priorities from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/lexical/Keyword.sdf including ./languages/aspectj/aspect/Declaration.sdf including ./languages/aspectj/aspect/BodyDeclaration.sdf including ./languages/aspectj/aspect/DeclareDeclaration.sdf including ./languages/aspectj/aspect/AdviceDeclaration.sdf including ./languages/aspectj/aspect/IntertypeMemberDeclaration.sdf including ./languages/aspectj/pattern/Main.sdf including ./languages/aspectj/pattern/ClassMember.sdf including ./languages/aspectj/pattern/ClassName.sdf including ./languages/aspectj/common/BooleanComposition.sdf including ./languages/aspectj/pattern/FormalParameter.sdf including ./languages/aspectj/pattern/Name.sdf including ./languages/aspectj/pattern/Type.sdf including ./languages/aspectj/pattern/Annotation.sdf including ./languages/aspectj/pointcut/Declaration.sdf including ./languages/aspectj/pointcut/Expression.sdf including ./languages/aspectj/ajc/Keyword.sdf building languages/aspectj/ajf/Mix.sdf /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/gen-sdf-mix -i aspectj.def --main languages/aspectj/ajf/Main --name languages/aspectj/ajf/Mix -o languages/aspectj/ajf/Mix.sdf SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- PointcutDecBody [file: aspectj.def line: 125 col: 4] SdfChecker:error: symbol is not defined by any production --- PatternTheCtx [file: aspectj.def line: 2401 col: 68] SdfChecker:error: symbol is not defined by any production --- PointcutTheCtx [file: aspectj.def line: 2401 col: 53] SdfChecker:error: symbol is not defined by any production --- AspectTheCtx [file: aspectj.def line: 2401 col: 40] SdfChecker:error: symbol is not defined by any production --- JavaTheCtx [file: aspectj.def line: 2401 col: 29] SdfChecker:error: symbol is not defined by any production --- PlainJavaTheCtx [file: aspectj.def line: 158 col: 25] SdfChecker:warning: undeclared sort --- JavaCtxCompilationUnit [file: aspectj.def line: 2405 col: 29] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj.def line: 472 col: 24] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj.def line: 468 col: 24] SdfChecker:warning: undeclared sort --- AspectDecHead [file: aspectj.def line: 461 col: 4] SdfChecker:warning: undeclared sort --- PointcutDec [file: aspectj.def line: 451 col: 4] SdfChecker:warning: undeclared sort --- AspectDec [file: aspectj.def line: 450 col: 4] SdfChecker:warning: undeclared sort --- AspectCtx [file: aspectj.def line: 416 col: 69] SdfChecker:warning: undeclared sort --- ElementPattern [file: aspectj.def line: 416 col: 44] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj.def line: 400 col: 41] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj.def line: 397 col: 41] SdfChecker:warning: undeclared sort --- ExitStatus [file: aspectj.def line: 381 col: 47] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj.def line: 373 col: 45] SdfChecker:warning: undeclared sort --- IntertypeConstrDecHead [file: aspectj.def line: 352 col: 4] SdfChecker:warning: undeclared sort --- IntertypeMethodDecHead [file: aspectj.def line: 342 col: 4] SdfChecker:warning: undeclared sort --- NotConstrMod [file: aspectj.def line: 302 col: 28] SdfChecker:warning: undeclared sort --- NotFieldMod [file: aspectj.def line: 301 col: 28] SdfChecker:warning: undeclared sort --- NotMethodMod [file: aspectj.def line: 300 col: 28] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj.def line: 270 col: 73] SdfChecker:warning: undeclared sort --- AnnoPattern [file: aspectj.def line: 270 col: 4] SdfChecker:warning: undeclared sort --- TypeParamsPattern [file: aspectj.def line: 251 col: 16] SdfChecker:warning: undeclared sort --- NamePattern [file: aspectj.def line: 250 col: 4] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj.def line: 226 col: 4] SdfChecker:warning: undeclared sort --- FormalPattern [file: aspectj.def line: 225 col: 25] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: aspectj.def line: 677 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: aspectj.def line: 746 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: aspectj.def line: 1077 col: 4] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj.def line: 184 col: 8] SdfChecker:warning: undeclared sort --- BaseTypePattern [file: aspectj.def line: 169 col: 26] SdfChecker:warning: undeclared sort --- TypeDecSpecPattern [file: aspectj.def line: 169 col: 4] SdfChecker:warning: undeclared sort --- PlainJavaTheCtx [file: aspectj.def line: 158 col: 25] SdfChecker:warning: undeclared sort --- AnnoPatternPlus [file: aspectj.def line: 152 col: 51] SdfChecker:warning: undeclared sort --- NotSimpleAnnoPattern [file: aspectj.def line: 149 col: 31] SdfChecker:warning: undeclared sort --- TypePattern [file: aspectj.def line: 147 col: 12] SdfChecker:warning: undeclared sort --- PointcutExpr [file: aspectj.def line: 137 col: 8] SdfChecker:warning: undeclared sort --- PointcutBody [file: aspectj.def line: 129 col: 20] SdfChecker:warning: undeclared sort --- FieldPattern [file: aspectj.def line: 27 col: 14] SdfChecker:warning: undeclared sort --- TopTypePattern [file: aspectj.def line: 22 col: 31] SdfChecker:warning: undeclared sort --- ConstrPattern [file: aspectj.def line: 20 col: 31] SdfChecker:warning: undeclared sort --- MethodConstrPattern [file: aspectj.def line: 14 col: 20] SdfChecker:warning: undeclared sort --- PointcutName [file: aspectj.def line: 5 col: 24] SdfChecker:warning: undeclared sort --- PrimPointcutName [file: aspectj.def line: 5 col: 4] building aspectj-mix.def /nix/store/kyq9sv71p8r93gdpwbg7avc1djr5rg2a-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -i languages/aspectj/ajf/Mix.sdf -o aspectj-mix.def -I . -Idef /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/ajf/Mix.sdf including ./languages/aspectj/ajf/Main.sdf including ./languages/aspectj/JavaExtension.sdf including languages/java/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Comments from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Keywords from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/TypeVariables from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/names/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Blocks from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Statements from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/classes/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Main from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Primary from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Postfix from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Priorities from /nix/store/i6l35b8wzvx8adls41zzb80mnndsv914-java-front-0.9pre1812218122-fh64miry/share/java-front-syntax/JavaMix.def including ./languages/aspectj/lexical/Keyword.sdf including ./languages/aspectj/aspect/Declaration.sdf including ./languages/aspectj/aspect/BodyDeclaration.sdf including ./languages/aspectj/aspect/DeclareDeclaration.sdf including ./languages/aspectj/aspect/AdviceDeclaration.sdf including ./languages/aspectj/aspect/IntertypeMemberDeclaration.sdf including ./languages/aspectj/pattern/Main.sdf including ./languages/aspectj/pattern/ClassMember.sdf including ./languages/aspectj/pattern/ClassName.sdf including ./languages/aspectj/common/BooleanComposition.sdf including ./languages/aspectj/pattern/FormalParameter.sdf including ./languages/aspectj/pattern/Name.sdf including ./languages/aspectj/pattern/Type.sdf including ./languages/aspectj/pattern/Annotation.sdf including ./languages/aspectj/pointcut/Declaration.sdf including ./languages/aspectj/pointcut/Expression.sdf including ./languages/aspectj/ajf/Keyword.sdf building distdir make[1]: Leaving directory `/tmp/nix-build-398x6anniax85azz5vh9ms4g777x49sq-source-tarball.drv-0/qi1ir087hfifkc188f14f0mzvn8znqji-svn-export/src' find aspectj-front-syntax-0.2 -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-398x6anniax85azz5vh9ms4g777x49sq-source-tarball.drv-0/qi1ir087hfifkc188f14f0mzvn8znqji-svn-export/config/install-sh -c -m a+r {} {} \; \ || chmod -R a+r aspectj-front-syntax-0.2 building dist tardir=aspectj-front-syntax-0.2 && /bin/sh /tmp/nix-build-398x6anniax85azz5vh9ms4g777x49sq-source-tarball.drv-0/qi1ir087hfifkc188f14f0mzvn8znqji-svn-export/config/missing --run tar chof - "$tardir" | GZIP=--best gzip -c >aspectj-front-syntax-0.2.tar.gz { test ! -d aspectj-front-syntax-0.2 || { find aspectj-front-syntax-0.2 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr aspectj-front-syntax-0.2; }; } `aspectj-front-syntax-0.2.tar.gz' -> `/nix/store/qx3aw27chn2484ci1aqx2krxhvyf991p-source-tarball/tarballs/aspectj-front-syntax-0.2.tar.gz'