check flags: building check-recursive Making check in expr make[1]: Entering directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/expr' building all-local Tools registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: Data registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: building Expressions-Java.def /nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/pack-sdf -Idef /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def -i Expressions-Java.sdf -o Expressions-Java.def --dep Expressions-Java.dep including ./Expressions-Java.sdf including languages/java/JavaMix from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Comments from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Keywords from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/types/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/types/TypeVariables from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/names/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/packages/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Blocks from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Statements from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Primary from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Postfix from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Priorities from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including ./Expressions.sdf building Expressions-Java.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m Expressions-Java -i Expressions-Java.def -o Expressions-Java.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- StrChar [file: Expressions-Java.def line: 5 col: 20] SdfChecker:error: symbol is not defined by any production --- JavaCtx [file: Expressions-Java.def line: 1926 col: 25] SdfChecker:warning: undeclared sort --- JavaCtx [file: Expressions-Java.def line: 1926 col: 25] SdfChecker:error: start-symbol not defined by any production --- CompilationUnit [[ JavaCtx ]] [file: Expressions-Java.def line: 1930 col: 29] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: Expressions-Java.def line: 232 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: Expressions-Java.def line: 301 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: Expressions-Java.def line: 632 col: 4] building Constant1.java building Expressions.def /nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/pack-sdf -Idef /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def -i Expressions.sdf -o Expressions.def --dep Expressions.dep including ./Expressions.sdf building Expressions.java SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- StrChar [file: Expressions.def line: 5 col: 20] building Constant1.class Note: ./Expressions.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. building Expressions.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m Expressions -i Expressions.def -o Expressions.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- StrChar [file: Expressions.def line: 5 col: 20] building Constant1.javadiff Constant1.java+expr OK building Constant2.java building Constant2.class building Constant2.javadiff Constant2.java+expr OK building ConstantOpt1.java building ConstantOpt1.class building ConstantOpt1.javadiff ConstantOpt1.java+expr OK building ConstantOpt2.java building ConstantOpt2.class building ConstantOpt2.javadiff ConstantOpt2.java+expr OK building ConstantOpt3.java building ConstantOpt3.class building ConstantOpt3.javadiff ConstantOpt3.java+expr OK building ConstantSeq1.java building ConstantSeq1.class building ConstantSeq1.javadiff ConstantSeq1.java+expr OK building ConstantSeq2.java building ConstantSeq2.class building ConstantSeq2.javadiff ConstantSeq2.java+expr OK building ConstantSeq3.java building ConstantSeq3.class building ConstantSeq3.javadiff ConstantSeq3.java+expr OK building ConstantSeq4.java building ConstantSeq4.class building ConstantSeq4.javadiff ConstantSeq4.java+expr OK building ConstantList1.java building ConstantList1.class building ConstantList1.javadiff ConstantList1.java+expr OK building ConstantList2.java building ConstantList2.class building ConstantList2.javadiff ConstantList2.java+expr OK building ConstantList3.java building ConstantList3.class building ConstantList3.javadiff ConstantList3.java+expr OK building ConstantList4.java building ConstantList4.class building ConstantList4.javadiff ConstantList4.java+expr OK building ConstantList5.java building ConstantList5.class building ConstantList5.javadiff ConstantList5.java+expr OK building ConstantList6.java building ConstantList6.class building ConstantList6.javadiff ConstantList6.java+expr OK building AntiQuote1.java building AntiQuote1.class building AntiQuote1.javadiff AntiQuote1.java+expr OK building AntiQuote2.java building AntiQuote2.class building AntiQuote2.javadiff AntiQuote2.java+expr OK building AntiQuote3.java building AntiQuote3.class building AntiQuote3.javadiff AntiQuote3.java+expr OK building AntiQuote4.java building AntiQuote4.class building AntiQuote4.javadiff AntiQuote4.java+expr OK building AntiQuoteOpt1.java building AntiQuoteOpt1.class building AntiQuoteOpt1.javadiff AntiQuoteOpt1.java+expr OK building AntiQuoteOpt2.java building AntiQuoteOpt2.class building AntiQuoteOpt2.javadiff AntiQuoteOpt2.java+expr OK building AntiQuoteList1.java building AntiQuoteList1.class building AntiQuoteList1.javadiff AntiQuoteList1.java+expr OK building AntiQuoteList2.java building AntiQuoteList2.class building AntiQuoteList2.javadiff AntiQuoteList2.java+expr OK building AntiQuoteList3.java building AntiQuoteList3.class building AntiQuoteList3.javadiff AntiQuoteList3.java+expr OK building AntiQuoteString1.java building AntiQuoteString1.class building AntiQuoteString1.javadiff AntiQuoteString1.java+expr OK building AntiQuoteString2.java building AntiQuoteString2.class building AntiQuoteString2.javadiff AntiQuoteString2.java+expr OK building AntiQuoteString3.java building AntiQuoteString3.class building AntiQuoteString3.javadiff AntiQuoteString3.java+expr OK building AntiQuoteString4.java building AntiQuoteString4.class building AntiQuoteString4.javadiff AntiQuoteString4.java+expr OK rm Expressions.def Expressions-Java.tbl Expressions-Java.def Expressions.tbl make[1]: Leaving directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/expr' Making check in ldap make[1]: Entering directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/ldap' building all-local Tools registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: Data registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: building LDAP-Java.tbl ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t LDAP-Java.tbl -L` building LDAP.def ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t LDAP.def -L` building Quote1.java building LDAP.java SdfChecker:error: Main module not defined --- Main SdfChecker:warning: undeclared sort --- LeadKeyChar [file: LDAP.def line: 83 col: 4] SdfChecker:warning: undeclared sort --- Number [file: LDAP.def line: 81 col: 4] SdfChecker:warning: undeclared sort --- KeyString [file: LDAP.def line: 80 col: 4] SdfChecker:warning: undeclared sort --- NumericOID [file: LDAP.def line: 74 col: 4] SdfChecker:warning: undeclared sort --- Descr [file: LDAP.def line: 73 col: 4] SdfChecker:warning: undeclared sort --- KeyChar [file: LDAP.def line: 67 col: 4] SdfChecker:warning: undeclared sort --- Option [file: LDAP.def line: 61 col: 23] SdfChecker:warning: undeclared sort --- AttributeType [file: LDAP.def line: 61 col: 4] SdfChecker:warning: undeclared sort --- Escaped [file: LDAP.def line: 53 col: 14] SdfChecker:warning: undeclared sort --- Normal [file: LDAP.def line: 53 col: 5] SdfChecker:warning: undeclared sort --- ValueEncoding [file: LDAP.def line: 49 col: 4] SdfChecker:warning: undeclared sort --- AttributeDescription [file: LDAP.def line: 48 col: 4] SdfChecker:warning: undeclared sort --- ValStar [file: LDAP.def line: 45 col: 8] SdfChecker:warning: undeclared sort --- Final [file: LDAP.def line: 35 col: 25] SdfChecker:warning: undeclared sort --- Any [file: LDAP.def line: 35 col: 21] SdfChecker:warning: undeclared sort --- Initial [file: LDAP.def line: 35 col: 13] SdfChecker:warning: undeclared sort --- OID [file: LDAP.def line: 26 col: 8] SdfChecker:warning: undeclared sort --- MatchingRule [file: LDAP.def line: 20 col: 18] SdfChecker:warning: undeclared sort --- DNAttrs [file: LDAP.def line: 20 col: 9] SdfChecker:warning: undeclared sort --- AssertionValue [file: LDAP.def line: 18 col: 20] SdfChecker:warning: undeclared sort --- FilterType [file: LDAP.def line: 18 col: 9] SdfChecker:warning: undeclared sort --- Attr [file: LDAP.def line: 18 col: 4] SdfChecker:warning: undeclared sort --- Substring [file: LDAP.def line: 15 col: 4] SdfChecker:warning: undeclared sort --- Present [file: LDAP.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- Item [file: LDAP.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- FilterComp [file: LDAP.def line: 8 col: 8] SdfChecker:warning: undeclared sort --- Filter [file: LDAP.def line: 4 col: 29] building Quote1.class Note: ./LDAP.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. building LDAP.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m LDAP -i LDAP.def -o LDAP.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: undeclared sort --- LeadKeyChar [file: LDAP.def line: 83 col: 4] SdfChecker:warning: undeclared sort --- Number [file: LDAP.def line: 81 col: 4] SdfChecker:warning: undeclared sort --- KeyString [file: LDAP.def line: 80 col: 4] SdfChecker:warning: undeclared sort --- NumericOID [file: LDAP.def line: 74 col: 4] SdfChecker:warning: undeclared sort --- Descr [file: LDAP.def line: 73 col: 4] SdfChecker:warning: undeclared sort --- KeyChar [file: LDAP.def line: 67 col: 4] SdfChecker:warning: undeclared sort --- Option [file: LDAP.def line: 61 col: 23] SdfChecker:warning: undeclared sort --- AttributeType [file: LDAP.def line: 61 col: 4] SdfChecker:warning: undeclared sort --- Escaped [file: LDAP.def line: 53 col: 14] SdfChecker:warning: undeclared sort --- Normal [file: LDAP.def line: 53 col: 5] SdfChecker:warning: undeclared sort --- ValueEncoding [file: LDAP.def line: 49 col: 4] SdfChecker:warning: undeclared sort --- AttributeDescription [file: LDAP.def line: 48 col: 4] SdfChecker:warning: undeclared sort --- ValStar [file: LDAP.def line: 45 col: 8] SdfChecker:warning: undeclared sort --- Final [file: LDAP.def line: 35 col: 25] SdfChecker:warning: undeclared sort --- Any [file: LDAP.def line: 35 col: 21] SdfChecker:warning: undeclared sort --- Initial [file: LDAP.def line: 35 col: 13] SdfChecker:warning: undeclared sort --- OID [file: LDAP.def line: 26 col: 8] SdfChecker:warning: undeclared sort --- MatchingRule [file: LDAP.def line: 20 col: 18] SdfChecker:warning: undeclared sort --- DNAttrs [file: LDAP.def line: 20 col: 9] SdfChecker:warning: undeclared sort --- AssertionValue [file: LDAP.def line: 18 col: 20] SdfChecker:warning: undeclared sort --- FilterType [file: LDAP.def line: 18 col: 9] SdfChecker:warning: undeclared sort --- Attr [file: LDAP.def line: 18 col: 4] SdfChecker:warning: undeclared sort --- Substring [file: LDAP.def line: 15 col: 4] SdfChecker:warning: undeclared sort --- Present [file: LDAP.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- Item [file: LDAP.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- FilterComp [file: LDAP.def line: 8 col: 8] SdfChecker:warning: undeclared sort --- Filter [file: LDAP.def line: 4 col: 29] building Quote1.javadiff Quote1.java+ldap OK building Quote2.java building Quote2.class building Quote2.javadiff Quote2.java+ldap OK building AntiQuote1.java building AntiQuote1.class building AntiQuote1.javadiff AntiQuote1.java+ldap OK building AntiQuote2.java building AntiQuote2.class building AntiQuote2.javadiff AntiQuote2.java+ldap OK building AntiQuote3.java building AntiQuote3.class building AntiQuote3.javadiff AntiQuote3.java+ldap OK rm LDAP.tbl make[1]: Leaving directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/ldap' Making check in shell make[1]: Entering directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/shell' building all-local Tools registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: Data registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: building Shell-Java.tbl ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t Shell-Java.tbl -L` building Shell.def ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t Shell.def -L` building AntiQuote1.java building Shell.java SdfChecker:error: Main module not defined --- Main SdfChecker:warning: undeclared sort --- Positional [file: Shell.def line: 421 col: 5] SdfChecker:warning: undeclared sort --- BQTextBS [file: Shell.def line: 389 col: 13] SdfChecker:warning: undeclared sort --- DTextDollar [file: Shell.def line: 367 col: 25] SdfChecker:warning: undeclared sort --- DTextBS [file: Shell.def line: 367 col: 17] SdfChecker:warning: undeclared sort --- STextBS [file: Shell.def line: 355 col: 13] SdfChecker:warning: undeclared sort --- TextDollar [file: Shell.def line: 332 col: 41] SdfChecker:warning: undeclared sort --- TextP [file: Shell.def line: 275 col: 5] SdfChecker:warning: undeclared sort --- SubWordP [file: Shell.def line: 273 col: 4] SdfChecker:warning: undeclared sort --- BQText [file: Shell.def line: 263 col: 5] SdfChecker:warning: undeclared sort --- BQPart [file: Shell.def line: 260 col: 8] SdfChecker:warning: undeclared sort --- RemoveOpHash [file: Shell.def line: 247 col: 5] SdfChecker:warning: undeclared sort --- RemoveOpAmp [file: Shell.def line: 245 col: 5] SdfChecker:warning: undeclared sort --- RemoveOp [file: Shell.def line: 243 col: 19] SdfChecker:warning: undeclared sort --- ParamArg [file: Shell.def line: 234 col: 34] SdfChecker:warning: undeclared sort --- ParamOp [file: Shell.def line: 234 col: 26] SdfChecker:warning: undeclared sort --- Colon [file: Shell.def line: 234 col: 19] SdfChecker:warning: undeclared sort --- Parameter [file: Shell.def line: 230 col: 8] SdfChecker:warning: undeclared sort --- DEscapedChar [file: Shell.def line: 225 col: 5] SdfChecker:warning: undeclared sort --- DText [file: Shell.def line: 224 col: 5] SdfChecker:warning: undeclared sort --- SText [file: Shell.def line: 221 col: 5] SdfChecker:warning: undeclared sort --- DPart [file: Shell.def line: 217 col: 9] SdfChecker:warning: undeclared sort --- SPart [file: Shell.def line: 216 col: 8] SdfChecker:warning: undeclared sort --- Param [file: Shell.def line: 215 col: 4] SdfChecker:warning: undeclared sort --- SubWord [file: Shell.def line: 212 col: 4] SdfChecker:warning: undeclared sort --- EscapedChar [file: Shell.def line: 208 col: 12] SdfChecker:warning: undeclared sort --- Text [file: Shell.def line: 208 col: 5] SdfChecker:warning: undeclared sort --- SimpleWord [file: Shell.def line: 205 col: 4] SdfChecker:warning: undeclared sort --- EscapedNewline [file: Shell.def line: 194 col: 4] SdfChecker:warning: undeclared sort --- OneLineComment [file: Shell.def line: 186 col: 4] SdfChecker:warning: undeclared sort --- CR [file: Shell.def line: 178 col: 12] SdfChecker:warning: undeclared sort --- SeparatorOp [file: Shell.def line: 168 col: 11] SdfChecker:warning: undeclared sort --- Filename [file: Shell.def line: 146 col: 8] SdfChecker:warning: undeclared sort --- IOFile [file: Shell.def line: 144 col: 14] SdfChecker:warning: undeclared sort --- IONumber [file: Shell.def line: 144 col: 4] SdfChecker:warning: undeclared sort --- ProcessSubstitution [file: Shell.def line: 139 col: 4] SdfChecker:warning: undeclared sort --- NonKeyword [file: Shell.def line: 133 col: 4] SdfChecker:warning: undeclared sort --- CmdSuffix [file: Shell.def line: 129 col: 20] SdfChecker:warning: undeclared sort --- CmdPrefix [file: Shell.def line: 129 col: 4] SdfChecker:warning: undeclared sort --- Keyword [file: Shell.def line: 119 col: 4] SdfChecker:warning: undeclared sort --- FunctionName [file: Shell.def line: 109 col: 4] SdfChecker:warning: undeclared sort --- Else [file: Shell.def line: 90 col: 12] SdfChecker:warning: undeclared sort --- Elif [file: Shell.def line: 90 col: 6] SdfChecker:warning: undeclared sort --- NonEsacWord [file: Shell.def line: 83 col: 4] SdfChecker:warning: undeclared sort --- Pattern [file: Shell.def line: 75 col: 4] SdfChecker:warning: undeclared sort --- CaseItem [file: Shell.def line: 72 col: 39] SdfChecker:warning: undeclared sort --- Breaks1 [file: Shell.def line: 67 col: 4] SdfChecker:warning: undeclared sort --- DoGroup [file: Shell.def line: 63 col: 48] SdfChecker:warning: undeclared sort --- SequentialSep [file: Shell.def line: 63 col: 34] SdfChecker:warning: undeclared sort --- Word [file: Shell.def line: 63 col: 28] SdfChecker:warning: undeclared sort --- Name [file: Shell.def line: 63 col: 10] SdfChecker:warning: undeclared sort --- UntilClause [file: Shell.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- WhileClause [file: Shell.def line: 45 col: 4] SdfChecker:warning: undeclared sort --- IfClause [file: Shell.def line: 44 col: 4] SdfChecker:warning: undeclared sort --- CaseClause [file: Shell.def line: 43 col: 4] SdfChecker:warning: undeclared sort --- ForClause [file: Shell.def line: 42 col: 4] SdfChecker:warning: undeclared sort --- CompoundList2 [file: Shell.def line: 41 col: 8] SdfChecker:warning: undeclared sort --- CompoundList [file: Shell.def line: 40 col: 8] SdfChecker:warning: undeclared sort --- FunctionDef [file: Shell.def line: 35 col: 4] SdfChecker:warning: undeclared sort --- IORedirect [file: Shell.def line: 34 col: 20] SdfChecker:warning: undeclared sort --- CompoundCommand [file: Shell.def line: 34 col: 4] SdfChecker:warning: undeclared sort --- SimpleCommand [file: Shell.def line: 33 col: 4] SdfChecker:warning: undeclared sort --- Command [file: Shell.def line: 25 col: 13] SdfChecker:warning: undeclared sort --- Negate [file: Shell.def line: 25 col: 4] SdfChecker:warning: undeclared sort --- Pipeline [file: Shell.def line: 18 col: 4] SdfChecker:warning: undeclared sort --- ListSeparator [file: Shell.def line: 13 col: 19] SdfChecker:warning: undeclared sort --- AndOr [file: Shell.def line: 13 col: 13] SdfChecker:warning: undeclared sort --- Breaks0 [file: Shell.def line: 13 col: 4] building AntiQuote1.class Note: ./Shell.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. building Shell.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m Shell -i Shell.def -o Shell.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: undeclared sort --- Positional [file: Shell.def line: 421 col: 5] SdfChecker:warning: undeclared sort --- BQTextBS [file: Shell.def line: 389 col: 13] SdfChecker:warning: undeclared sort --- DTextDollar [file: Shell.def line: 367 col: 25] SdfChecker:warning: undeclared sort --- DTextBS [file: Shell.def line: 367 col: 17] SdfChecker:warning: undeclared sort --- STextBS [file: Shell.def line: 355 col: 13] SdfChecker:warning: undeclared sort --- TextDollar [file: Shell.def line: 332 col: 41] SdfChecker:warning: undeclared sort --- TextP [file: Shell.def line: 275 col: 5] SdfChecker:warning: undeclared sort --- SubWordP [file: Shell.def line: 273 col: 4] SdfChecker:warning: undeclared sort --- BQText [file: Shell.def line: 263 col: 5] SdfChecker:warning: undeclared sort --- BQPart [file: Shell.def line: 260 col: 8] SdfChecker:warning: undeclared sort --- RemoveOpHash [file: Shell.def line: 247 col: 5] SdfChecker:warning: undeclared sort --- RemoveOpAmp [file: Shell.def line: 245 col: 5] SdfChecker:warning: undeclared sort --- RemoveOp [file: Shell.def line: 243 col: 19] SdfChecker:warning: undeclared sort --- ParamArg [file: Shell.def line: 234 col: 34] SdfChecker:warning: undeclared sort --- ParamOp [file: Shell.def line: 234 col: 26] SdfChecker:warning: undeclared sort --- Colon [file: Shell.def line: 234 col: 19] SdfChecker:warning: undeclared sort --- Parameter [file: Shell.def line: 230 col: 8] SdfChecker:warning: undeclared sort --- DEscapedChar [file: Shell.def line: 225 col: 5] SdfChecker:warning: undeclared sort --- DText [file: Shell.def line: 224 col: 5] SdfChecker:warning: undeclared sort --- SText [file: Shell.def line: 221 col: 5] SdfChecker:warning: undeclared sort --- DPart [file: Shell.def line: 217 col: 9] SdfChecker:warning: undeclared sort --- SPart [file: Shell.def line: 216 col: 8] SdfChecker:warning: undeclared sort --- Param [file: Shell.def line: 215 col: 4] SdfChecker:warning: undeclared sort --- SubWord [file: Shell.def line: 212 col: 4] SdfChecker:warning: undeclared sort --- EscapedChar [file: Shell.def line: 208 col: 12] SdfChecker:warning: undeclared sort --- Text [file: Shell.def line: 208 col: 5] SdfChecker:warning: undeclared sort --- SimpleWord [file: Shell.def line: 205 col: 4] SdfChecker:warning: undeclared sort --- EscapedNewline [file: Shell.def line: 194 col: 4] SdfChecker:warning: undeclared sort --- OneLineComment [file: Shell.def line: 186 col: 4] SdfChecker:warning: undeclared sort --- CR [file: Shell.def line: 178 col: 12] SdfChecker:warning: undeclared sort --- SeparatorOp [file: Shell.def line: 168 col: 11] SdfChecker:warning: undeclared sort --- Filename [file: Shell.def line: 146 col: 8] SdfChecker:warning: undeclared sort --- IOFile [file: Shell.def line: 144 col: 14] SdfChecker:warning: undeclared sort --- IONumber [file: Shell.def line: 144 col: 4] SdfChecker:warning: undeclared sort --- ProcessSubstitution [file: Shell.def line: 139 col: 4] SdfChecker:warning: undeclared sort --- NonKeyword [file: Shell.def line: 133 col: 4] SdfChecker:warning: undeclared sort --- CmdSuffix [file: Shell.def line: 129 col: 20] SdfChecker:warning: undeclared sort --- CmdPrefix [file: Shell.def line: 129 col: 4] SdfChecker:warning: undeclared sort --- Keyword [file: Shell.def line: 119 col: 4] SdfChecker:warning: undeclared sort --- FunctionName [file: Shell.def line: 109 col: 4] SdfChecker:warning: undeclared sort --- Else [file: Shell.def line: 90 col: 12] SdfChecker:warning: undeclared sort --- Elif [file: Shell.def line: 90 col: 6] SdfChecker:warning: undeclared sort --- NonEsacWord [file: Shell.def line: 83 col: 4] SdfChecker:warning: undeclared sort --- Pattern [file: Shell.def line: 75 col: 4] SdfChecker:warning: undeclared sort --- CaseItem [file: Shell.def line: 72 col: 39] SdfChecker:warning: undeclared sort --- Breaks1 [file: Shell.def line: 67 col: 4] SdfChecker:warning: undeclared sort --- DoGroup [file: Shell.def line: 63 col: 48] SdfChecker:warning: undeclared sort --- SequentialSep [file: Shell.def line: 63 col: 34] SdfChecker:warning: undeclared sort --- Word [file: Shell.def line: 63 col: 28] SdfChecker:warning: undeclared sort --- Name [file: Shell.def line: 63 col: 10] SdfChecker:warning: undeclared sort --- UntilClause [file: Shell.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- WhileClause [file: Shell.def line: 45 col: 4] SdfChecker:warning: undeclared sort --- IfClause [file: Shell.def line: 44 col: 4] SdfChecker:warning: undeclared sort --- CaseClause [file: Shell.def line: 43 col: 4] SdfChecker:warning: undeclared sort --- ForClause [file: Shell.def line: 42 col: 4] SdfChecker:warning: undeclared sort --- CompoundList2 [file: Shell.def line: 41 col: 8] SdfChecker:warning: undeclared sort --- CompoundList [file: Shell.def line: 40 col: 8] SdfChecker:warning: undeclared sort --- FunctionDef [file: Shell.def line: 35 col: 4] SdfChecker:warning: undeclared sort --- IORedirect [file: Shell.def line: 34 col: 20] SdfChecker:warning: undeclared sort --- CompoundCommand [file: Shell.def line: 34 col: 4] SdfChecker:warning: undeclared sort --- SimpleCommand [file: Shell.def line: 33 col: 4] SdfChecker:warning: undeclared sort --- Command [file: Shell.def line: 25 col: 13] SdfChecker:warning: undeclared sort --- Negate [file: Shell.def line: 25 col: 4] SdfChecker:warning: undeclared sort --- Pipeline [file: Shell.def line: 18 col: 4] SdfChecker:warning: undeclared sort --- ListSeparator [file: Shell.def line: 13 col: 19] SdfChecker:warning: undeclared sort --- AndOr [file: Shell.def line: 13 col: 13] SdfChecker:warning: undeclared sort --- Breaks0 [file: Shell.def line: 13 col: 4] building AntiQuote1.javadiff AntiQuote1.java+shell OK building AntiQuote2.java building AntiQuote2.class building AntiQuote2.javadiff AntiQuote2.java+shell OK building AntiQuote3.java building AntiQuote3.class building AntiQuote3.javadiff AntiQuote3.java+shell OK building AntiQuote4.java building AntiQuote4.class building AntiQuote4.javadiff AntiQuote4.java+shell OK building AntiQuote5.java building AntiQuote5.class building AntiQuote5.javadiff AntiQuote5.java+shell OK building Shell-PHP.tbl ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t Shell-PHP.tbl -L` building Shell.php SdfChecker:error: Main module not defined --- Main SdfChecker:warning: undeclared sort --- Positional [file: Shell.def line: 421 col: 5] SdfChecker:warning: undeclared sort --- BQTextBS [file: Shell.def line: 389 col: 13] SdfChecker:warning: undeclared sort --- DTextDollar [file: Shell.def line: 367 col: 25] SdfChecker:warning: undeclared sort --- DTextBS [file: Shell.def line: 367 col: 17] SdfChecker:warning: undeclared sort --- STextBS [file: Shell.def line: 355 col: 13] SdfChecker:warning: undeclared sort --- TextDollar [file: Shell.def line: 332 col: 41] SdfChecker:warning: undeclared sort --- TextP [file: Shell.def line: 275 col: 5] SdfChecker:warning: undeclared sort --- SubWordP [file: Shell.def line: 273 col: 4] SdfChecker:warning: undeclared sort --- BQText [file: Shell.def line: 263 col: 5] SdfChecker:warning: undeclared sort --- BQPart [file: Shell.def line: 260 col: 8] SdfChecker:warning: undeclared sort --- RemoveOpHash [file: Shell.def line: 247 col: 5] SdfChecker:warning: undeclared sort --- RemoveOpAmp [file: Shell.def line: 245 col: 5] SdfChecker:warning: undeclared sort --- RemoveOp [file: Shell.def line: 243 col: 19] SdfChecker:warning: undeclared sort --- ParamArg [file: Shell.def line: 234 col: 34] SdfChecker:warning: undeclared sort --- ParamOp [file: Shell.def line: 234 col: 26] SdfChecker:warning: undeclared sort --- Colon [file: Shell.def line: 234 col: 19] SdfChecker:warning: undeclared sort --- Parameter [file: Shell.def line: 230 col: 8] SdfChecker:warning: undeclared sort --- DEscapedChar [file: Shell.def line: 225 col: 5] SdfChecker:warning: undeclared sort --- DText [file: Shell.def line: 224 col: 5] SdfChecker:warning: undeclared sort --- SText [file: Shell.def line: 221 col: 5] SdfChecker:warning: undeclared sort --- DPart [file: Shell.def line: 217 col: 9] SdfChecker:warning: undeclared sort --- SPart [file: Shell.def line: 216 col: 8] SdfChecker:warning: undeclared sort --- Param [file: Shell.def line: 215 col: 4] SdfChecker:warning: undeclared sort --- SubWord [file: Shell.def line: 212 col: 4] SdfChecker:warning: undeclared sort --- EscapedChar [file: Shell.def line: 208 col: 12] SdfChecker:warning: undeclared sort --- Text [file: Shell.def line: 208 col: 5] SdfChecker:warning: undeclared sort --- SimpleWord [file: Shell.def line: 205 col: 4] SdfChecker:warning: undeclared sort --- EscapedNewline [file: Shell.def line: 194 col: 4] SdfChecker:warning: undeclared sort --- OneLineComment [file: Shell.def line: 186 col: 4] SdfChecker:warning: undeclared sort --- CR [file: Shell.def line: 178 col: 12] SdfChecker:warning: undeclared sort --- SeparatorOp [file: Shell.def line: 168 col: 11] SdfChecker:warning: undeclared sort --- Filename [file: Shell.def line: 146 col: 8] SdfChecker:warning: undeclared sort --- IOFile [file: Shell.def line: 144 col: 14] SdfChecker:warning: undeclared sort --- IONumber [file: Shell.def line: 144 col: 4] SdfChecker:warning: undeclared sort --- ProcessSubstitution [file: Shell.def line: 139 col: 4] SdfChecker:warning: undeclared sort --- NonKeyword [file: Shell.def line: 133 col: 4] SdfChecker:warning: undeclared sort --- CmdSuffix [file: Shell.def line: 129 col: 20] SdfChecker:warning: undeclared sort --- CmdPrefix [file: Shell.def line: 129 col: 4] SdfChecker:warning: undeclared sort --- Keyword [file: Shell.def line: 119 col: 4] SdfChecker:warning: undeclared sort --- FunctionName [file: Shell.def line: 109 col: 4] SdfChecker:warning: undeclared sort --- Else [file: Shell.def line: 90 col: 12] SdfChecker:warning: undeclared sort --- Elif [file: Shell.def line: 90 col: 6] SdfChecker:warning: undeclared sort --- NonEsacWord [file: Shell.def line: 83 col: 4] SdfChecker:warning: undeclared sort --- Pattern [file: Shell.def line: 75 col: 4] SdfChecker:warning: undeclared sort --- CaseItem [file: Shell.def line: 72 col: 39] SdfChecker:warning: undeclared sort --- Breaks1 [file: Shell.def line: 67 col: 4] SdfChecker:warning: undeclared sort --- DoGroup [file: Shell.def line: 63 col: 48] SdfChecker:warning: undeclared sort --- SequentialSep [file: Shell.def line: 63 col: 34] SdfChecker:warning: undeclared sort --- Word [file: Shell.def line: 63 col: 28] SdfChecker:warning: undeclared sort --- Name [file: Shell.def line: 63 col: 10] SdfChecker:warning: undeclared sort --- UntilClause [file: Shell.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- WhileClause [file: Shell.def line: 45 col: 4] SdfChecker:warning: undeclared sort --- IfClause [file: Shell.def line: 44 col: 4] SdfChecker:warning: undeclared sort --- CaseClause [file: Shell.def line: 43 col: 4] SdfChecker:warning: undeclared sort --- ForClause [file: Shell.def line: 42 col: 4] SdfChecker:warning: undeclared sort --- CompoundList2 [file: Shell.def line: 41 col: 8] SdfChecker:warning: undeclared sort --- CompoundList [file: Shell.def line: 40 col: 8] SdfChecker:warning: undeclared sort --- FunctionDef [file: Shell.def line: 35 col: 4] SdfChecker:warning: undeclared sort --- IORedirect [file: Shell.def line: 34 col: 20] SdfChecker:warning: undeclared sort --- CompoundCommand [file: Shell.def line: 34 col: 4] SdfChecker:warning: undeclared sort --- SimpleCommand [file: Shell.def line: 33 col: 4] SdfChecker:warning: undeclared sort --- Command [file: Shell.def line: 25 col: 13] SdfChecker:warning: undeclared sort --- Negate [file: Shell.def line: 25 col: 4] SdfChecker:warning: undeclared sort --- Pipeline [file: Shell.def line: 18 col: 4] SdfChecker:warning: undeclared sort --- ListSeparator [file: Shell.def line: 13 col: 19] SdfChecker:warning: undeclared sort --- AndOr [file: Shell.def line: 13 col: 13] SdfChecker:warning: undeclared sort --- Breaks0 [file: Shell.def line: 13 col: 4] building AntiQuote1.php building AntiQuote1.phpdiff AntiQuote1.php+shell OK building AntiQuote2.php building AntiQuote2.phpdiff AntiQuote2.php+shell OK building AntiQuote3.php building AntiQuote3.phpdiff AntiQuote3.php+shell OK building AntiQuote4.php building AntiQuote4.phpdiff AntiQuote4.php+shell OK building AntiQuote5.php building AntiQuote5.phpdiff AntiQuote5.php+shell OK rm Shell.tbl make[1]: Leaving directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/shell' Making check in sql make[1]: Entering directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql' building all-local Tools registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: Data registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: building SQL-Java.tbl ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t SQL-Java.tbl -L` building SQL.def ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t SQL.def -L` building Quote1.java building SQL.java SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- Lit [file: SQL.def line: 4 col: 8] SdfChecker:error: symbol is not defined by any production --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:error: symbol is not defined by any production --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:error: symbol is not defined by any production --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:error: symbol is not defined by any production --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:error: symbol is not defined by any production --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:error: symbol is not defined by any production --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:error: symbol is not defined by any production --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:error: symbol is not defined by any production --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:error: symbol is not defined by any production --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:error: symbol is not defined by any production --- Id [file: SQL.def line: 140 col: 8] SdfChecker:error: symbol is not defined by any production --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:error: symbol is not defined by any production --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:error: symbol is not defined by any production --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:error: symbol is not defined by any production --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:error: symbol is not defined by any production --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:error: symbol is not defined by any production --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:error: symbol is not defined by any production --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 503 col: 4] SdfChecker:warning: undeclared sort --- OrderingSpec [file: SQL.def line: 500 col: 12] SdfChecker:warning: undeclared sort --- SortKey [file: SQL.def line: 500 col: 4] SdfChecker:warning: undeclared sort --- SortSpec [file: SQL.def line: 497 col: 18] SdfChecker:warning: undeclared sort --- OrderByClause [file: SQL.def line: 494 col: 14] SdfChecker:warning: undeclared sort --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:warning: undeclared sort --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:warning: undeclared sort --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:warning: undeclared sort --- SelectStm [file: SQL.def line: 489 col: 4] SdfChecker:warning: undeclared sort --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:warning: undeclared sort --- JoinSpec [file: SQL.def line: 462 col: 40] SdfChecker:warning: undeclared sort --- JoinType [file: SQL.def line: 460 col: 23] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 440 col: 14] SdfChecker:warning: undeclared sort --- GroupingColumnRef [file: SQL.def line: 439 col: 31] SdfChecker:warning: undeclared sort --- HavingClause [file: SQL.def line: 437 col: 55] SdfChecker:warning: undeclared sort --- GroupByClause [file: SQL.def line: 437 col: 40] SdfChecker:warning: undeclared sort --- WhereClause [file: SQL.def line: 437 col: 27] SdfChecker:warning: undeclared sort --- TableRef [file: SQL.def line: 437 col: 12] SdfChecker:warning: undeclared sort --- As [file: SQL.def line: 427 col: 13] SdfChecker:warning: undeclared sort --- SelectItem [file: SQL.def line: 424 col: 29] SdfChecker:warning: undeclared sort --- ByClause [file: SQL.def line: 414 col: 20] SdfChecker:warning: undeclared sort --- Corresponding [file: SQL.def line: 410 col: 31] SdfChecker:warning: undeclared sort --- All [file: SQL.def line: 410 col: 26] SdfChecker:warning: undeclared sort --- JoinTableExpr [file: SQL.def line: 407 col: 4] SdfChecker:warning: undeclared sort --- PartialOrFull [file: SQL.def line: 333 col: 35] SdfChecker:warning: undeclared sort --- Unique [file: SQL.def line: 333 col: 27] SdfChecker:warning: undeclared sort --- Quantifier [file: SQL.def line: 325 col: 26] SdfChecker:warning: undeclared sort --- EscapeClause [file: SQL.def line: 320 col: 40] SdfChecker:warning: undeclared sort --- InPredVal [file: SQL.def line: 315 col: 33] SdfChecker:warning: undeclared sort --- Not [file: SQL.def line: 314 col: 19] SdfChecker:warning: undeclared sort --- CompOp [file: SQL.def line: 313 col: 19] SdfChecker:warning: undeclared sort --- TrimSpec [file: SQL.def line: 275 col: 4] SdfChecker:warning: undeclared sort --- TrimOp [file: SQL.def line: 273 col: 15] SdfChecker:warning: undeclared sort --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:warning: undeclared sort --- ForClause [file: SQL.def line: 264 col: 50] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:warning: undeclared sort --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:warning: undeclared sort --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 184 col: 50] SdfChecker:warning: undeclared sort --- CastTarget [file: SQL.def line: 184 col: 32] SdfChecker:warning: undeclared sort --- CastOperand [file: SQL.def line: 184 col: 15] SdfChecker:warning: undeclared sort --- CondExpr [file: SQL.def line: 211 col: 11] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" ValExpr ")" -> E { bracket } [file: SQL.def line: 235 col: 4] SdfChecker:warning: undeclared sort --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:warning: undeclared sort --- QueryExpr [file: SQL.def line: 234 col: 8] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 232 col: 4] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 363 col: 4] SdfChecker:warning: undeclared sort --- BaseTable [file: SQL.def line: 384 col: 33] SdfChecker:warning: undeclared sort --- Schema [file: SQL.def line: 383 col: 33] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 383 col: 19] SdfChecker:warning: undeclared sort --- Id [file: SQL.def line: 140 col: 8] SdfChecker:warning: undeclared sort --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:warning: undeclared sort --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 124 col: 4] SdfChecker:warning: double declared sort --- second occurrence [file: SQL.def line: 120 col: 4] --- first occurrence [file: SQL.def line: 121 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 31 col: 14] SdfChecker:warning: undeclared sort --- SignedInteger [file: SQL.def line: 28 col: 9] SdfChecker:warning: undeclared sort --- Exponent [file: SQL.def line: 27 col: 14] SdfChecker:warning: undeclared sort --- NumDigits [file: SQL.def line: 21 col: 14] SdfChecker:warning: undeclared sort --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:warning: undeclared sort --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:warning: undeclared sort --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- GeneralLit [file: SQL.def line: 7 col: 4] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 6 col: 22] SdfChecker:warning: undeclared sort --- UnsignedNumLit [file: SQL.def line: 6 col: 4] building Quote1.class Note: ./SQL.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. building SQL.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m SQL -i SQL.def -o SQL.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- Lit [file: SQL.def line: 4 col: 8] SdfChecker:error: symbol is not defined by any production --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:error: symbol is not defined by any production --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:error: symbol is not defined by any production --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:error: symbol is not defined by any production --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:error: symbol is not defined by any production --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:error: symbol is not defined by any production --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:error: symbol is not defined by any production --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:error: symbol is not defined by any production --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:error: symbol is not defined by any production --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:error: symbol is not defined by any production --- Id [file: SQL.def line: 140 col: 8] SdfChecker:error: symbol is not defined by any production --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:error: symbol is not defined by any production --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:error: symbol is not defined by any production --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:error: symbol is not defined by any production --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:error: symbol is not defined by any production --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:error: symbol is not defined by any production --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:error: symbol is not defined by any production --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 503 col: 4] SdfChecker:warning: undeclared sort --- OrderingSpec [file: SQL.def line: 500 col: 12] SdfChecker:warning: undeclared sort --- SortKey [file: SQL.def line: 500 col: 4] SdfChecker:warning: undeclared sort --- SortSpec [file: SQL.def line: 497 col: 18] SdfChecker:warning: undeclared sort --- OrderByClause [file: SQL.def line: 494 col: 14] SdfChecker:warning: undeclared sort --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:warning: undeclared sort --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:warning: undeclared sort --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:warning: undeclared sort --- SelectStm [file: SQL.def line: 489 col: 4] SdfChecker:warning: undeclared sort --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:warning: undeclared sort --- JoinSpec [file: SQL.def line: 462 col: 40] SdfChecker:warning: undeclared sort --- JoinType [file: SQL.def line: 460 col: 23] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 440 col: 14] SdfChecker:warning: undeclared sort --- GroupingColumnRef [file: SQL.def line: 439 col: 31] SdfChecker:warning: undeclared sort --- HavingClause [file: SQL.def line: 437 col: 55] SdfChecker:warning: undeclared sort --- GroupByClause [file: SQL.def line: 437 col: 40] SdfChecker:warning: undeclared sort --- WhereClause [file: SQL.def line: 437 col: 27] SdfChecker:warning: undeclared sort --- TableRef [file: SQL.def line: 437 col: 12] SdfChecker:warning: undeclared sort --- As [file: SQL.def line: 427 col: 13] SdfChecker:warning: undeclared sort --- SelectItem [file: SQL.def line: 424 col: 29] SdfChecker:warning: undeclared sort --- ByClause [file: SQL.def line: 414 col: 20] SdfChecker:warning: undeclared sort --- Corresponding [file: SQL.def line: 410 col: 31] SdfChecker:warning: undeclared sort --- All [file: SQL.def line: 410 col: 26] SdfChecker:warning: undeclared sort --- JoinTableExpr [file: SQL.def line: 407 col: 4] SdfChecker:warning: undeclared sort --- PartialOrFull [file: SQL.def line: 333 col: 35] SdfChecker:warning: undeclared sort --- Unique [file: SQL.def line: 333 col: 27] SdfChecker:warning: undeclared sort --- Quantifier [file: SQL.def line: 325 col: 26] SdfChecker:warning: undeclared sort --- EscapeClause [file: SQL.def line: 320 col: 40] SdfChecker:warning: undeclared sort --- InPredVal [file: SQL.def line: 315 col: 33] SdfChecker:warning: undeclared sort --- Not [file: SQL.def line: 314 col: 19] SdfChecker:warning: undeclared sort --- CompOp [file: SQL.def line: 313 col: 19] SdfChecker:warning: undeclared sort --- TrimSpec [file: SQL.def line: 275 col: 4] SdfChecker:warning: undeclared sort --- TrimOp [file: SQL.def line: 273 col: 15] SdfChecker:warning: undeclared sort --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:warning: undeclared sort --- ForClause [file: SQL.def line: 264 col: 50] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:warning: undeclared sort --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:warning: undeclared sort --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 184 col: 50] SdfChecker:warning: undeclared sort --- CastTarget [file: SQL.def line: 184 col: 32] SdfChecker:warning: undeclared sort --- CastOperand [file: SQL.def line: 184 col: 15] SdfChecker:warning: undeclared sort --- CondExpr [file: SQL.def line: 211 col: 11] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" ValExpr ")" -> E { bracket } [file: SQL.def line: 235 col: 4] SdfChecker:warning: undeclared sort --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:warning: undeclared sort --- QueryExpr [file: SQL.def line: 234 col: 8] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 232 col: 4] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 363 col: 4] SdfChecker:warning: undeclared sort --- BaseTable [file: SQL.def line: 384 col: 33] SdfChecker:warning: undeclared sort --- Schema [file: SQL.def line: 383 col: 33] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 383 col: 19] SdfChecker:warning: undeclared sort --- Id [file: SQL.def line: 140 col: 8] SdfChecker:warning: undeclared sort --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:warning: undeclared sort --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 124 col: 4] SdfChecker:warning: double declared sort --- second occurrence [file: SQL.def line: 120 col: 4] --- first occurrence [file: SQL.def line: 121 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 31 col: 14] SdfChecker:warning: undeclared sort --- SignedInteger [file: SQL.def line: 28 col: 9] SdfChecker:warning: undeclared sort --- Exponent [file: SQL.def line: 27 col: 14] SdfChecker:warning: undeclared sort --- NumDigits [file: SQL.def line: 21 col: 14] SdfChecker:warning: undeclared sort --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:warning: undeclared sort --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:warning: undeclared sort --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- GeneralLit [file: SQL.def line: 7 col: 4] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 6 col: 22] SdfChecker:warning: undeclared sort --- UnsignedNumLit [file: SQL.def line: 6 col: 4] building Quote1.javadiff Quote1.java+sql OK building Quote5.java building Quote5.class building Quote5.javadiff Quote5.java+sql OK building AntiQuote1.java building AntiQuote1.class building AntiQuote1.javadiff AntiQuote1.java+sql OK building AntiQuote2.java building AntiQuote2.class building AntiQuote2.javadiff AntiQuote2.java+sql OK building AntiQuote3.java building AntiQuote3.class building AntiQuote3.javadiff Exception in thread "main" java.lang.IllegalStateException: Invalid string has been constructed: at SQL.toString(SQL.java:27) at AntiQuote3.main(AntiQuote3.java:5) error: AntiQuote3 should fail and failed. building AntiQuote4.java building AntiQuote4.class building AntiQuote4.javadiff AntiQuote4.java+sql OK building AntiQuote5.java building AntiQuote5.class building AntiQuote5.javadiff AntiQuote5.java+sql OK building AntiQuote6.java building AntiQuote6.class building AntiQuote6.javadiff AntiQuote6.java+sql OK building AntiQuote7.java building AntiQuote7.class building AntiQuote7.javadiff Exception in thread "main" java.lang.IllegalArgumentException: Illegal lexical: 'bla at' at SQL.match_CharStringLit(SQL.java:8129) at SQL.new_10d254241eeab96a83f032d2ed75df94(SQL.java:485) at AntiQuote7.main(AntiQuote7.java:4) error: AntiQuote7 should fail and failed. building SQL-PHP.tbl ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t SQL-PHP.tbl -L` building SQL.php SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- Lit [file: SQL.def line: 4 col: 8] SdfChecker:error: symbol is not defined by any production --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:error: symbol is not defined by any production --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:error: symbol is not defined by any production --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:error: symbol is not defined by any production --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:error: symbol is not defined by any production --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:error: symbol is not defined by any production --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:error: symbol is not defined by any production --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:error: symbol is not defined by any production --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:error: symbol is not defined by any production --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:error: symbol is not defined by any production --- Id [file: SQL.def line: 140 col: 8] SdfChecker:error: symbol is not defined by any production --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:error: symbol is not defined by any production --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:error: symbol is not defined by any production --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:error: symbol is not defined by any production --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:error: symbol is not defined by any production --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:error: symbol is not defined by any production --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:error: symbol is not defined by any production --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 503 col: 4] SdfChecker:warning: undeclared sort --- OrderingSpec [file: SQL.def line: 500 col: 12] SdfChecker:warning: undeclared sort --- SortKey [file: SQL.def line: 500 col: 4] SdfChecker:warning: undeclared sort --- SortSpec [file: SQL.def line: 497 col: 18] SdfChecker:warning: undeclared sort --- OrderByClause [file: SQL.def line: 494 col: 14] SdfChecker:warning: undeclared sort --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:warning: undeclared sort --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:warning: undeclared sort --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:warning: undeclared sort --- SelectStm [file: SQL.def line: 489 col: 4] SdfChecker:warning: undeclared sort --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:warning: undeclared sort --- JoinSpec [file: SQL.def line: 462 col: 40] SdfChecker:warning: undeclared sort --- JoinType [file: SQL.def line: 460 col: 23] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 440 col: 14] SdfChecker:warning: undeclared sort --- GroupingColumnRef [file: SQL.def line: 439 col: 31] SdfChecker:warning: undeclared sort --- HavingClause [file: SQL.def line: 437 col: 55] SdfChecker:warning: undeclared sort --- GroupByClause [file: SQL.def line: 437 col: 40] SdfChecker:warning: undeclared sort --- WhereClause [file: SQL.def line: 437 col: 27] SdfChecker:warning: undeclared sort --- TableRef [file: SQL.def line: 437 col: 12] SdfChecker:warning: undeclared sort --- As [file: SQL.def line: 427 col: 13] SdfChecker:warning: undeclared sort --- SelectItem [file: SQL.def line: 424 col: 29] SdfChecker:warning: undeclared sort --- ByClause [file: SQL.def line: 414 col: 20] SdfChecker:warning: undeclared sort --- Corresponding [file: SQL.def line: 410 col: 31] SdfChecker:warning: undeclared sort --- All [file: SQL.def line: 410 col: 26] SdfChecker:warning: undeclared sort --- JoinTableExpr [file: SQL.def line: 407 col: 4] SdfChecker:warning: undeclared sort --- PartialOrFull [file: SQL.def line: 333 col: 35] SdfChecker:warning: undeclared sort --- Unique [file: SQL.def line: 333 col: 27] SdfChecker:warning: undeclared sort --- Quantifier [file: SQL.def line: 325 col: 26] SdfChecker:warning: undeclared sort --- EscapeClause [file: SQL.def line: 320 col: 40] SdfChecker:warning: undeclared sort --- InPredVal [file: SQL.def line: 315 col: 33] SdfChecker:warning: undeclared sort --- Not [file: SQL.def line: 314 col: 19] SdfChecker:warning: undeclared sort --- CompOp [file: SQL.def line: 313 col: 19] SdfChecker:warning: undeclared sort --- TrimSpec [file: SQL.def line: 275 col: 4] SdfChecker:warning: undeclared sort --- TrimOp [file: SQL.def line: 273 col: 15] SdfChecker:warning: undeclared sort --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:warning: undeclared sort --- ForClause [file: SQL.def line: 264 col: 50] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:warning: undeclared sort --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:warning: undeclared sort --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 184 col: 50] SdfChecker:warning: undeclared sort --- CastTarget [file: SQL.def line: 184 col: 32] SdfChecker:warning: undeclared sort --- CastOperand [file: SQL.def line: 184 col: 15] SdfChecker:warning: undeclared sort --- CondExpr [file: SQL.def line: 211 col: 11] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" ValExpr ")" -> E { bracket } [file: SQL.def line: 235 col: 4] SdfChecker:warning: undeclared sort --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:warning: undeclared sort --- QueryExpr [file: SQL.def line: 234 col: 8] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 232 col: 4] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 363 col: 4] SdfChecker:warning: undeclared sort --- BaseTable [file: SQL.def line: 384 col: 33] SdfChecker:warning: undeclared sort --- Schema [file: SQL.def line: 383 col: 33] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 383 col: 19] SdfChecker:warning: undeclared sort --- Id [file: SQL.def line: 140 col: 8] SdfChecker:warning: undeclared sort --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:warning: undeclared sort --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 124 col: 4] SdfChecker:warning: double declared sort --- second occurrence [file: SQL.def line: 120 col: 4] --- first occurrence [file: SQL.def line: 121 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 31 col: 14] SdfChecker:warning: undeclared sort --- SignedInteger [file: SQL.def line: 28 col: 9] SdfChecker:warning: undeclared sort --- Exponent [file: SQL.def line: 27 col: 14] SdfChecker:warning: undeclared sort --- NumDigits [file: SQL.def line: 21 col: 14] SdfChecker:warning: undeclared sort --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:warning: undeclared sort --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:warning: undeclared sort --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- GeneralLit [file: SQL.def line: 7 col: 4] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 6 col: 22] SdfChecker:warning: undeclared sort --- UnsignedNumLit [file: SQL.def line: 6 col: 4] building Quote1.php building Quote1.phpdiff Quote1.php+sql OK building Quote5.php building Quote5.phpdiff Quote5.php+sql OK building AntiQuote1.php building AntiQuote1.phpdiff AntiQuote1.php+sql OK building AntiQuote2.php building AntiQuote2.phpdiff AntiQuote2.php+sql OK building AntiQuote3.php building AntiQuote3.phpdiff Fatal error: Uncaught exception 'Exception' with message 'Invalid string has been constructed: ' in /tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql/SQL.php:22 Stack trace: #0 /tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql/AntiQuote3.php(5): SQL->toString() #1 {main} thrown in /tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql/SQL.php on line 22 error: AntiQuote3 should fail and failed. building AntiQuote4.php building AntiQuote4.phpdiff AntiQuote4.php+sql OK building AntiQuote5.php building AntiQuote5.phpdiff AntiQuote5.php+sql OK building AntiQuote6.php building AntiQuote6.phpdiff AntiQuote6.php+sql OK building AntiQuote7.php building AntiQuote7.phpdiff Fatal error: Uncaught exception 'Exception' with message 'Illegal lexical: 'bla at'' in /tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql/SQL.php:7373 Stack trace: #0 /tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql/SQL.php(447): SQL::match_CharStringLit(Object(SQL)) #1 /tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql/AntiQuote7.php(4): SQL::new_10d254241eeab96a83f032d2ed75df94(Object(SQL)) #2 {main} thrown in /tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql/SQL.php on line 7373 error: AntiQuote7 should fail and failed. rm SQL.tbl make[1]: Leaving directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql' Making check in sql-xml make[1]: Entering directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql-xml' building all-local Tools registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: Data registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: building SQL-XML-Java.tbl ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t SQL-XML-Java.tbl -L` building SQL.def ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t SQL.def -L` building XML.def ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t XML.def -L` building Quote1.java building SQL.java XTC_REPOSITORY=/nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC $(/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t stringborg-generator -L) --cfg ../sql/SQL.stringborg --java -i SQL.def -o SQL.java -m SQL SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- Lit [file: SQL.def line: 4 col: 8] SdfChecker:error: symbol is not defined by any production --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:error: symbol is not defined by any production --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:error: symbol is not defined by any production --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:error: symbol is not defined by any production --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:error: symbol is not defined by any production --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:error: symbol is not defined by any production --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:error: symbol is not defined by any production --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:error: symbol is not defined by any production --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:error: symbol is not defined by any production --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:error: symbol is not defined by any production --- Id [file: SQL.def line: 140 col: 8] SdfChecker:error: symbol is not defined by any production --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:error: symbol is not defined by any production --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:error: symbol is not defined by any production --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:error: symbol is not defined by any production --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:error: symbol is not defined by any production --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:error: symbol is not defined by any production --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:error: symbol is not defined by any production --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 503 col: 4] SdfChecker:warning: undeclared sort --- OrderingSpec [file: SQL.def line: 500 col: 12] SdfChecker:warning: undeclared sort --- SortKey [file: SQL.def line: 500 col: 4] SdfChecker:warning: undeclared sort --- SortSpec [file: SQL.def line: 497 col: 18] SdfChecker:warning: undeclared sort --- OrderByClause [file: SQL.def line: 494 col: 14] SdfChecker:warning: undeclared sort --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:warning: undeclared sort --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:warning: undeclared sort --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:warning: undeclared sort --- SelectStm [file: SQL.def line: 489 col: 4] SdfChecker:warning: undeclared sort --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:warning: undeclared sort --- JoinSpec [file: SQL.def line: 462 col: 40] SdfChecker:warning: undeclared sort --- JoinType [file: SQL.def line: 460 col: 23] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 440 col: 14] SdfChecker:warning: undeclared sort --- GroupingColumnRef [file: SQL.def line: 439 col: 31] SdfChecker:warning: undeclared sort --- HavingClause [file: SQL.def line: 437 col: 55] SdfChecker:warning: undeclared sort --- GroupByClause [file: SQL.def line: 437 col: 40] SdfChecker:warning: undeclared sort --- WhereClause [file: SQL.def line: 437 col: 27] SdfChecker:warning: undeclared sort --- TableRef [file: SQL.def line: 437 col: 12] SdfChecker:warning: undeclared sort --- As [file: SQL.def line: 427 col: 13] SdfChecker:warning: undeclared sort --- SelectItem [file: SQL.def line: 424 col: 29] SdfChecker:warning: undeclared sort --- ByClause [file: SQL.def line: 414 col: 20] SdfChecker:warning: undeclared sort --- Corresponding [file: SQL.def line: 410 col: 31] SdfChecker:warning: undeclared sort --- All [file: SQL.def line: 410 col: 26] SdfChecker:warning: undeclared sort --- JoinTableExpr [file: SQL.def line: 407 col: 4] SdfChecker:warning: undeclared sort --- PartialOrFull [file: SQL.def line: 333 col: 35] SdfChecker:warning: undeclared sort --- Unique [file: SQL.def line: 333 col: 27] SdfChecker:warning: undeclared sort --- Quantifier [file: SQL.def line: 325 col: 26] SdfChecker:warning: undeclared sort --- EscapeClause [file: SQL.def line: 320 col: 40] SdfChecker:warning: undeclared sort --- InPredVal [file: SQL.def line: 315 col: 33] SdfChecker:warning: undeclared sort --- Not [file: SQL.def line: 314 col: 19] SdfChecker:warning: undeclared sort --- CompOp [file: SQL.def line: 313 col: 19] SdfChecker:warning: undeclared sort --- TrimSpec [file: SQL.def line: 275 col: 4] SdfChecker:warning: undeclared sort --- TrimOp [file: SQL.def line: 273 col: 15] SdfChecker:warning: undeclared sort --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:warning: undeclared sort --- ForClause [file: SQL.def line: 264 col: 50] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:warning: undeclared sort --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:warning: undeclared sort --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 184 col: 50] SdfChecker:warning: undeclared sort --- CastTarget [file: SQL.def line: 184 col: 32] SdfChecker:warning: undeclared sort --- CastOperand [file: SQL.def line: 184 col: 15] SdfChecker:warning: undeclared sort --- CondExpr [file: SQL.def line: 211 col: 11] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" ValExpr ")" -> E { bracket } [file: SQL.def line: 235 col: 4] SdfChecker:warning: undeclared sort --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:warning: undeclared sort --- QueryExpr [file: SQL.def line: 234 col: 8] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 232 col: 4] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 363 col: 4] SdfChecker:warning: undeclared sort --- BaseTable [file: SQL.def line: 384 col: 33] SdfChecker:warning: undeclared sort --- Schema [file: SQL.def line: 383 col: 33] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 383 col: 19] SdfChecker:warning: undeclared sort --- Id [file: SQL.def line: 140 col: 8] SdfChecker:warning: undeclared sort --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:warning: undeclared sort --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 124 col: 4] SdfChecker:warning: double declared sort --- second occurrence [file: SQL.def line: 120 col: 4] --- first occurrence [file: SQL.def line: 121 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 31 col: 14] SdfChecker:warning: undeclared sort --- SignedInteger [file: SQL.def line: 28 col: 9] SdfChecker:warning: undeclared sort --- Exponent [file: SQL.def line: 27 col: 14] SdfChecker:warning: undeclared sort --- NumDigits [file: SQL.def line: 21 col: 14] SdfChecker:warning: undeclared sort --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:warning: undeclared sort --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:warning: undeclared sort --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- GeneralLit [file: SQL.def line: 7 col: 4] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 6 col: 22] SdfChecker:warning: undeclared sort --- UnsignedNumLit [file: SQL.def line: 6 col: 4] building XML.java XTC_REPOSITORY=/nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC $(/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t stringborg-generator -L) --cfg ../xml/XML.stringborg --java -i XML.def -o XML.java -m XML SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- DoubleQutedString [file: XML.def line: 176 col: 8] SdfChecker:error: symbol is not defined by any production --- CDataSection [file: XML.def line: 214 col: 4] SdfChecker:error: symbol is not defined by any production --- SingleQuotedContent [file: XML.def line: 171 col: 10] SdfChecker:error: symbol is not defined by any production --- DoubleQuotedContent [file: XML.def line: 170 col: 10] SdfChecker:error: symbol is not defined by any production --- AttValue [file: XML.def line: 167 col: 14] SdfChecker:error: symbol is not defined by any production --- CharDataToken [file: XML.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- CDataSection [file: XML.def line: 214 col: 4] SdfChecker:warning: undeclared sort --- CharData [file: XML.def line: 213 col: 4] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 210 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 209 col: 4] SdfChecker:warning: undeclared sort --- Attribute [file: XML.def line: 206 col: 14] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 206 col: 8] SdfChecker:warning: undeclared sort --- Epilogue [file: XML.def line: 204 col: 21] SdfChecker:warning: undeclared sort --- Prologue [file: XML.def line: 204 col: 4] SdfChecker:warning: undeclared sort --- Ref [file: XML.def line: 183 col: 4] SdfChecker:warning: undeclared sort --- DoubleQuotedString [file: XML.def line: 173 col: 5] SdfChecker:warning: undeclared sort --- SingleQuotedContent [file: XML.def line: 171 col: 10] SdfChecker:warning: undeclared sort --- DoubleQuotedContent [file: XML.def line: 170 col: 10] SdfChecker:warning: undeclared sort --- Attribute [file: XML.def line: 167 col: 26] SdfChecker:warning: undeclared sort --- AttValue [file: XML.def line: 167 col: 14] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 167 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 153 col: 36] SdfChecker:warning: undeclared sort --- Dash [file: XML.def line: 153 col: 20] SdfChecker:warning: undeclared sort --- ExternalID [file: XML.def line: 119 col: 22] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 119 col: 16] SdfChecker:warning: undeclared sort --- DocTypeDecl [file: XML.def line: 117 col: 4] SdfChecker:warning: undeclared sort --- VersionNum [file: XML.def line: 112 col: 9] SdfChecker:warning: undeclared sort --- EncodingName [file: XML.def line: 109 col: 9] SdfChecker:warning: undeclared sort --- YesNo [file: XML.def line: 106 col: 9] SdfChecker:warning: undeclared sort --- EncodingValue [file: XML.def line: 104 col: 21] SdfChecker:warning: undeclared sort --- VersionValue [file: XML.def line: 103 col: 21] SdfChecker:warning: undeclared sort --- StandaloneValue [file: XML.def line: 102 col: 21] SdfChecker:warning: undeclared sort --- StandaloneDecl [file: XML.def line: 100 col: 38] SdfChecker:warning: undeclared sort --- EncodingDecl [file: XML.def line: 100 col: 24] SdfChecker:warning: undeclared sort --- VersionInfo [file: XML.def line: 100 col: 12] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 96 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 95 col: 4] SdfChecker:warning: undeclared sort --- Epilogue [file: XML.def line: 94 col: 13] SdfChecker:warning: undeclared sort --- Prologue [file: XML.def line: 93 col: 39] SdfChecker:warning: undeclared sort --- DocTypePrologue [file: XML.def line: 93 col: 19] SdfChecker:warning: undeclared sort --- Misc [file: XML.def line: 93 col: 13] SdfChecker:warning: undeclared sort --- XMLDecl [file: XML.def line: 93 col: 4] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 134 col: 25] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 134 col: 15] SdfChecker:warning: undeclared sort --- Qualifier [file: XML.def line: 134 col: 4] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 75 col: 4] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 72 col: 34] SdfChecker:warning: undeclared sort --- PIChars [file: XML.def line: 72 col: 18] SdfChecker:warning: undeclared sort --- PITarget [file: XML.def line: 72 col: 9] SdfChecker:warning: undeclared sort --- PubIDChar [file: XML.def line: 59 col: 9] SdfChecker:warning: undeclared sort --- PublicID [file: XML.def line: 54 col: 36] SdfChecker:warning: undeclared sort --- PublicLit [file: XML.def line: 53 col: 13] SdfChecker:warning: undeclared sort --- ExternalID [file: XML.def line: 52 col: 36] SdfChecker:warning: undeclared sort --- SystemLit [file: XML.def line: 52 col: 13] SdfChecker:warning: undeclared sort --- CharDataToken [file: XML.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- TwoCloseBrackets [file: XML.def line: 38 col: 28] SdfChecker:warning: undeclared sort --- CloseBracket [file: XML.def line: 38 col: 13] SdfChecker:warning: undeclared sort --- CharRef [file: XML.def line: 28 col: 18] SdfChecker:warning: undeclared sort --- EntityRef [file: XML.def line: 26 col: 26] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 26 col: 10] SdfChecker:warning: undeclared sort --- HexCharRef [file: XML.def line: 25 col: 26] SdfChecker:warning: undeclared sort --- HexConst [file: XML.def line: 25 col: 10] SdfChecker:warning: undeclared sort --- DecCharRef [file: XML.def line: 24 col: 26] SdfChecker:warning: undeclared sort --- NatConst [file: XML.def line: 24 col: 10] SdfChecker:warning: undeclared sort --- Ref [file: XML.def line: 18 col: 5] SdfChecker:warning: undeclared sort --- CData [file: XML.def line: 15 col: 17] SdfChecker:warning: undeclared sort --- CharDataText [file: XML.def line: 14 col: 5] SdfChecker:warning: undeclared sort --- CharData [file: XML.def line: 13 col: 25] SdfChecker:warning: undeclared sort --- CharDataPart [file: XML.def line: 13 col: 4] building Quote1.class Note: ./XML.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. building SQL.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m SQL -i SQL.def -o SQL.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- Lit [file: SQL.def line: 4 col: 8] SdfChecker:error: symbol is not defined by any production --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:error: symbol is not defined by any production --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:error: symbol is not defined by any production --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:error: symbol is not defined by any production --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:error: symbol is not defined by any production --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:error: symbol is not defined by any production --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:error: symbol is not defined by any production --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:error: symbol is not defined by any production --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:error: symbol is not defined by any production --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:error: symbol is not defined by any production --- Id [file: SQL.def line: 140 col: 8] SdfChecker:error: symbol is not defined by any production --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:error: symbol is not defined by any production --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:error: symbol is not defined by any production --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:error: symbol is not defined by any production --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:error: symbol is not defined by any production --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:error: symbol is not defined by any production --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:error: symbol is not defined by any production --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 503 col: 4] SdfChecker:warning: undeclared sort --- OrderingSpec [file: SQL.def line: 500 col: 12] SdfChecker:warning: undeclared sort --- SortKey [file: SQL.def line: 500 col: 4] SdfChecker:warning: undeclared sort --- SortSpec [file: SQL.def line: 497 col: 18] SdfChecker:warning: undeclared sort --- OrderByClause [file: SQL.def line: 494 col: 14] SdfChecker:warning: undeclared sort --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:warning: undeclared sort --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:warning: undeclared sort --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:warning: undeclared sort --- SelectStm [file: SQL.def line: 489 col: 4] SdfChecker:warning: undeclared sort --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:warning: undeclared sort --- JoinSpec [file: SQL.def line: 462 col: 40] SdfChecker:warning: undeclared sort --- JoinType [file: SQL.def line: 460 col: 23] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 440 col: 14] SdfChecker:warning: undeclared sort --- GroupingColumnRef [file: SQL.def line: 439 col: 31] SdfChecker:warning: undeclared sort --- HavingClause [file: SQL.def line: 437 col: 55] SdfChecker:warning: undeclared sort --- GroupByClause [file: SQL.def line: 437 col: 40] SdfChecker:warning: undeclared sort --- WhereClause [file: SQL.def line: 437 col: 27] SdfChecker:warning: undeclared sort --- TableRef [file: SQL.def line: 437 col: 12] SdfChecker:warning: undeclared sort --- As [file: SQL.def line: 427 col: 13] SdfChecker:warning: undeclared sort --- SelectItem [file: SQL.def line: 424 col: 29] SdfChecker:warning: undeclared sort --- ByClause [file: SQL.def line: 414 col: 20] SdfChecker:warning: undeclared sort --- Corresponding [file: SQL.def line: 410 col: 31] SdfChecker:warning: undeclared sort --- All [file: SQL.def line: 410 col: 26] SdfChecker:warning: undeclared sort --- JoinTableExpr [file: SQL.def line: 407 col: 4] SdfChecker:warning: undeclared sort --- PartialOrFull [file: SQL.def line: 333 col: 35] SdfChecker:warning: undeclared sort --- Unique [file: SQL.def line: 333 col: 27] SdfChecker:warning: undeclared sort --- Quantifier [file: SQL.def line: 325 col: 26] SdfChecker:warning: undeclared sort --- EscapeClause [file: SQL.def line: 320 col: 40] SdfChecker:warning: undeclared sort --- InPredVal [file: SQL.def line: 315 col: 33] SdfChecker:warning: undeclared sort --- Not [file: SQL.def line: 314 col: 19] SdfChecker:warning: undeclared sort --- CompOp [file: SQL.def line: 313 col: 19] SdfChecker:warning: undeclared sort --- TrimSpec [file: SQL.def line: 275 col: 4] SdfChecker:warning: undeclared sort --- TrimOp [file: SQL.def line: 273 col: 15] SdfChecker:warning: undeclared sort --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:warning: undeclared sort --- ForClause [file: SQL.def line: 264 col: 50] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:warning: undeclared sort --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:warning: undeclared sort --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 184 col: 50] SdfChecker:warning: undeclared sort --- CastTarget [file: SQL.def line: 184 col: 32] SdfChecker:warning: undeclared sort --- CastOperand [file: SQL.def line: 184 col: 15] SdfChecker:warning: undeclared sort --- CondExpr [file: SQL.def line: 211 col: 11] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" ValExpr ")" -> E { bracket } [file: SQL.def line: 235 col: 4] SdfChecker:warning: undeclared sort --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:warning: undeclared sort --- QueryExpr [file: SQL.def line: 234 col: 8] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 232 col: 4] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 363 col: 4] SdfChecker:warning: undeclared sort --- BaseTable [file: SQL.def line: 384 col: 33] SdfChecker:warning: undeclared sort --- Schema [file: SQL.def line: 383 col: 33] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 383 col: 19] SdfChecker:warning: undeclared sort --- Id [file: SQL.def line: 140 col: 8] SdfChecker:warning: undeclared sort --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:warning: undeclared sort --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 124 col: 4] SdfChecker:warning: double declared sort --- second occurrence [file: SQL.def line: 120 col: 4] --- first occurrence [file: SQL.def line: 121 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 31 col: 14] SdfChecker:warning: undeclared sort --- SignedInteger [file: SQL.def line: 28 col: 9] SdfChecker:warning: undeclared sort --- Exponent [file: SQL.def line: 27 col: 14] SdfChecker:warning: undeclared sort --- NumDigits [file: SQL.def line: 21 col: 14] SdfChecker:warning: undeclared sort --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:warning: undeclared sort --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:warning: undeclared sort --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- GeneralLit [file: SQL.def line: 7 col: 4] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 6 col: 22] SdfChecker:warning: undeclared sort --- UnsignedNumLit [file: SQL.def line: 6 col: 4] building XML.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m XML -i XML.def -o XML.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- DoubleQutedString [file: XML.def line: 176 col: 8] SdfChecker:error: symbol is not defined by any production --- CDataSection [file: XML.def line: 214 col: 4] SdfChecker:error: symbol is not defined by any production --- SingleQuotedContent [file: XML.def line: 171 col: 10] SdfChecker:error: symbol is not defined by any production --- DoubleQuotedContent [file: XML.def line: 170 col: 10] SdfChecker:error: symbol is not defined by any production --- AttValue [file: XML.def line: 167 col: 14] SdfChecker:error: symbol is not defined by any production --- CharDataToken [file: XML.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- CDataSection [file: XML.def line: 214 col: 4] SdfChecker:warning: undeclared sort --- CharData [file: XML.def line: 213 col: 4] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 210 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 209 col: 4] SdfChecker:warning: undeclared sort --- Attribute [file: XML.def line: 206 col: 14] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 206 col: 8] SdfChecker:warning: undeclared sort --- Epilogue [file: XML.def line: 204 col: 21] SdfChecker:warning: undeclared sort --- Prologue [file: XML.def line: 204 col: 4] SdfChecker:warning: undeclared sort --- Ref [file: XML.def line: 183 col: 4] SdfChecker:warning: undeclared sort --- DoubleQuotedString [file: XML.def line: 173 col: 5] SdfChecker:warning: undeclared sort --- SingleQuotedContent [file: XML.def line: 171 col: 10] SdfChecker:warning: undeclared sort --- DoubleQuotedContent [file: XML.def line: 170 col: 10] SdfChecker:warning: undeclared sort --- Attribute [file: XML.def line: 167 col: 26] SdfChecker:warning: undeclared sort --- AttValue [file: XML.def line: 167 col: 14] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 167 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 153 col: 36] SdfChecker:warning: undeclared sort --- Dash [file: XML.def line: 153 col: 20] SdfChecker:warning: undeclared sort --- ExternalID [file: XML.def line: 119 col: 22] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 119 col: 16] SdfChecker:warning: undeclared sort --- DocTypeDecl [file: XML.def line: 117 col: 4] SdfChecker:warning: undeclared sort --- VersionNum [file: XML.def line: 112 col: 9] SdfChecker:warning: undeclared sort --- EncodingName [file: XML.def line: 109 col: 9] SdfChecker:warning: undeclared sort --- YesNo [file: XML.def line: 106 col: 9] SdfChecker:warning: undeclared sort --- EncodingValue [file: XML.def line: 104 col: 21] SdfChecker:warning: undeclared sort --- VersionValue [file: XML.def line: 103 col: 21] SdfChecker:warning: undeclared sort --- StandaloneValue [file: XML.def line: 102 col: 21] SdfChecker:warning: undeclared sort --- StandaloneDecl [file: XML.def line: 100 col: 38] SdfChecker:warning: undeclared sort --- EncodingDecl [file: XML.def line: 100 col: 24] SdfChecker:warning: undeclared sort --- VersionInfo [file: XML.def line: 100 col: 12] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 96 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 95 col: 4] SdfChecker:warning: undeclared sort --- Epilogue [file: XML.def line: 94 col: 13] SdfChecker:warning: undeclared sort --- Prologue [file: XML.def line: 93 col: 39] SdfChecker:warning: undeclared sort --- DocTypePrologue [file: XML.def line: 93 col: 19] SdfChecker:warning: undeclared sort --- Misc [file: XML.def line: 93 col: 13] SdfChecker:warning: undeclared sort --- XMLDecl [file: XML.def line: 93 col: 4] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 134 col: 25] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 134 col: 15] SdfChecker:warning: undeclared sort --- Qualifier [file: XML.def line: 134 col: 4] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 75 col: 4] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 72 col: 34] SdfChecker:warning: undeclared sort --- PIChars [file: XML.def line: 72 col: 18] SdfChecker:warning: undeclared sort --- PITarget [file: XML.def line: 72 col: 9] SdfChecker:warning: undeclared sort --- PubIDChar [file: XML.def line: 59 col: 9] SdfChecker:warning: undeclared sort --- PublicID [file: XML.def line: 54 col: 36] SdfChecker:warning: undeclared sort --- PublicLit [file: XML.def line: 53 col: 13] SdfChecker:warning: undeclared sort --- ExternalID [file: XML.def line: 52 col: 36] SdfChecker:warning: undeclared sort --- SystemLit [file: XML.def line: 52 col: 13] SdfChecker:warning: undeclared sort --- CharDataToken [file: XML.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- TwoCloseBrackets [file: XML.def line: 38 col: 28] SdfChecker:warning: undeclared sort --- CloseBracket [file: XML.def line: 38 col: 13] SdfChecker:warning: undeclared sort --- CharRef [file: XML.def line: 28 col: 18] SdfChecker:warning: undeclared sort --- EntityRef [file: XML.def line: 26 col: 26] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 26 col: 10] SdfChecker:warning: undeclared sort --- HexCharRef [file: XML.def line: 25 col: 26] SdfChecker:warning: undeclared sort --- HexConst [file: XML.def line: 25 col: 10] SdfChecker:warning: undeclared sort --- DecCharRef [file: XML.def line: 24 col: 26] SdfChecker:warning: undeclared sort --- NatConst [file: XML.def line: 24 col: 10] SdfChecker:warning: undeclared sort --- Ref [file: XML.def line: 18 col: 5] SdfChecker:warning: undeclared sort --- CData [file: XML.def line: 15 col: 17] SdfChecker:warning: undeclared sort --- CharDataText [file: XML.def line: 14 col: 5] SdfChecker:warning: undeclared sort --- CharData [file: XML.def line: 13 col: 25] SdfChecker:warning: undeclared sort --- CharDataPart [file: XML.def line: 13 col: 4] building Quote1.javadiff Quote1.java+sql+xml OK building AntiQuote1.java building AntiQuote1.class building AntiQuote1.javadiff AntiQuote1.java+sql+xml OK building AntiQuote2.java building AntiQuote2.class Note: ./SQL.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. building AntiQuote2.javadiff AntiQuote2.java+sql+xml OK make[1]: Leaving directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql-xml' Making check in sql-xpath make[1]: Entering directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql-xpath' building all-local Tools registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: Data registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: building SQL-XPath-Java.tbl ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t SQL-XPath-Java.tbl -L` building SQL.def ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t SQL.def -L` building XPath.def ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t XPath.def -L` building Quote1.java building SQL.java XTC_REPOSITORY=/nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC $(/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t stringborg-generator -L) --cfg ../sql/SQL.stringborg --java -i SQL.def -o SQL.java -m SQL SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- Lit [file: SQL.def line: 4 col: 8] SdfChecker:error: symbol is not defined by any production --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:error: symbol is not defined by any production --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:error: symbol is not defined by any production --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:error: symbol is not defined by any production --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:error: symbol is not defined by any production --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:error: symbol is not defined by any production --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:error: symbol is not defined by any production --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:error: symbol is not defined by any production --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:error: symbol is not defined by any production --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:error: symbol is not defined by any production --- Id [file: SQL.def line: 140 col: 8] SdfChecker:error: symbol is not defined by any production --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:error: symbol is not defined by any production --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:error: symbol is not defined by any production --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:error: symbol is not defined by any production --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:error: symbol is not defined by any production --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:error: symbol is not defined by any production --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:error: symbol is not defined by any production --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 503 col: 4] SdfChecker:warning: undeclared sort --- OrderingSpec [file: SQL.def line: 500 col: 12] SdfChecker:warning: undeclared sort --- SortKey [file: SQL.def line: 500 col: 4] SdfChecker:warning: undeclared sort --- SortSpec [file: SQL.def line: 497 col: 18] SdfChecker:warning: undeclared sort --- OrderByClause [file: SQL.def line: 494 col: 14] SdfChecker:warning: undeclared sort --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:warning: undeclared sort --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:warning: undeclared sort --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:warning: undeclared sort --- SelectStm [file: SQL.def line: 489 col: 4] SdfChecker:warning: undeclared sort --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:warning: undeclared sort --- JoinSpec [file: SQL.def line: 462 col: 40] SdfChecker:warning: undeclared sort --- JoinType [file: SQL.def line: 460 col: 23] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 440 col: 14] SdfChecker:warning: undeclared sort --- GroupingColumnRef [file: SQL.def line: 439 col: 31] SdfChecker:warning: undeclared sort --- HavingClause [file: SQL.def line: 437 col: 55] SdfChecker:warning: undeclared sort --- GroupByClause [file: SQL.def line: 437 col: 40] SdfChecker:warning: undeclared sort --- WhereClause [file: SQL.def line: 437 col: 27] SdfChecker:warning: undeclared sort --- TableRef [file: SQL.def line: 437 col: 12] SdfChecker:warning: undeclared sort --- As [file: SQL.def line: 427 col: 13] SdfChecker:warning: undeclared sort --- SelectItem [file: SQL.def line: 424 col: 29] SdfChecker:warning: undeclared sort --- ByClause [file: SQL.def line: 414 col: 20] SdfChecker:warning: undeclared sort --- Corresponding [file: SQL.def line: 410 col: 31] SdfChecker:warning: undeclared sort --- All [file: SQL.def line: 410 col: 26] SdfChecker:warning: undeclared sort --- JoinTableExpr [file: SQL.def line: 407 col: 4] SdfChecker:warning: undeclared sort --- PartialOrFull [file: SQL.def line: 333 col: 35] SdfChecker:warning: undeclared sort --- Unique [file: SQL.def line: 333 col: 27] SdfChecker:warning: undeclared sort --- Quantifier [file: SQL.def line: 325 col: 26] SdfChecker:warning: undeclared sort --- EscapeClause [file: SQL.def line: 320 col: 40] SdfChecker:warning: undeclared sort --- InPredVal [file: SQL.def line: 315 col: 33] SdfChecker:warning: undeclared sort --- Not [file: SQL.def line: 314 col: 19] SdfChecker:warning: undeclared sort --- CompOp [file: SQL.def line: 313 col: 19] SdfChecker:warning: undeclared sort --- TrimSpec [file: SQL.def line: 275 col: 4] SdfChecker:warning: undeclared sort --- TrimOp [file: SQL.def line: 273 col: 15] SdfChecker:warning: undeclared sort --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:warning: undeclared sort --- ForClause [file: SQL.def line: 264 col: 50] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:warning: undeclared sort --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:warning: undeclared sort --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 184 col: 50] SdfChecker:warning: undeclared sort --- CastTarget [file: SQL.def line: 184 col: 32] SdfChecker:warning: undeclared sort --- CastOperand [file: SQL.def line: 184 col: 15] SdfChecker:warning: undeclared sort --- CondExpr [file: SQL.def line: 211 col: 11] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" ValExpr ")" -> E { bracket } [file: SQL.def line: 235 col: 4] SdfChecker:warning: undeclared sort --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:warning: undeclared sort --- QueryExpr [file: SQL.def line: 234 col: 8] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 232 col: 4] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 363 col: 4] SdfChecker:warning: undeclared sort --- BaseTable [file: SQL.def line: 384 col: 33] SdfChecker:warning: undeclared sort --- Schema [file: SQL.def line: 383 col: 33] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 383 col: 19] SdfChecker:warning: undeclared sort --- Id [file: SQL.def line: 140 col: 8] SdfChecker:warning: undeclared sort --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:warning: undeclared sort --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 124 col: 4] SdfChecker:warning: double declared sort --- second occurrence [file: SQL.def line: 120 col: 4] --- first occurrence [file: SQL.def line: 121 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 31 col: 14] SdfChecker:warning: undeclared sort --- SignedInteger [file: SQL.def line: 28 col: 9] SdfChecker:warning: undeclared sort --- Exponent [file: SQL.def line: 27 col: 14] SdfChecker:warning: undeclared sort --- NumDigits [file: SQL.def line: 21 col: 14] SdfChecker:warning: undeclared sort --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:warning: undeclared sort --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:warning: undeclared sort --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- GeneralLit [file: SQL.def line: 7 col: 4] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 6 col: 22] SdfChecker:warning: undeclared sort --- UnsignedNumLit [file: SQL.def line: 6 col: 4] building XPath.java XTC_REPOSITORY=/nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC $(/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t stringborg-generator -L) --cfg ../xpath/XPath.stringborg --java -i XPath.def -o XPath.java -m XPath SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- VariabeReference [file: XPath.def line: 47 col: 8] SdfChecker:error: symbol is not defined by any production --- FunctionCall [file: XPath.def line: 142 col: 4] SdfChecker:error: symbol is not defined by any production --- Literal [file: XPath.def line: 22 col: 43] SdfChecker:warning: undeclared sort --- FunctionCall [file: XPath.def line: 142 col: 4] SdfChecker:warning: undeclared sort --- VariableReference [file: XPath.def line: 138 col: 4] SdfChecker:warning: undeclared sort --- NCName [file: XPath.def line: 54 col: 4] SdfChecker:warning: undeclared sort --- VariableReference [file: XPath.def line: 49 col: 16] SdfChecker:warning: undeclared sort --- QName [file: XPath.def line: 44 col: 4] SdfChecker:warning: undeclared sort --- QName [file: XPath.def line: 6 col: 25] SdfChecker:warning: undeclared sort --- NCName [file: XPath.def line: 6 col: 15] SdfChecker:warning: undeclared sort --- Qualifier [file: XPath.def line: 6 col: 4] building Quote1.class Note: Some input files use unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. building SQL.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m SQL -i SQL.def -o SQL.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- Lit [file: SQL.def line: 4 col: 8] SdfChecker:error: symbol is not defined by any production --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:error: symbol is not defined by any production --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:error: symbol is not defined by any production --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:error: symbol is not defined by any production --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:error: symbol is not defined by any production --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:error: symbol is not defined by any production --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:error: symbol is not defined by any production --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:error: symbol is not defined by any production --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:error: symbol is not defined by any production --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:error: symbol is not defined by any production --- Id [file: SQL.def line: 140 col: 8] SdfChecker:error: symbol is not defined by any production --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:error: symbol is not defined by any production --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:error: symbol is not defined by any production --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:error: symbol is not defined by any production --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:error: symbol is not defined by any production --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:error: symbol is not defined by any production --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:error: symbol is not defined by any production --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 503 col: 4] SdfChecker:warning: undeclared sort --- OrderingSpec [file: SQL.def line: 500 col: 12] SdfChecker:warning: undeclared sort --- SortKey [file: SQL.def line: 500 col: 4] SdfChecker:warning: undeclared sort --- SortSpec [file: SQL.def line: 497 col: 18] SdfChecker:warning: undeclared sort --- OrderByClause [file: SQL.def line: 494 col: 14] SdfChecker:warning: undeclared sort --- TempTableDec [file: SQL.def line: 492 col: 4] SdfChecker:warning: undeclared sort --- UpdateStm [file: SQL.def line: 491 col: 4] SdfChecker:warning: undeclared sort --- InsertStm [file: SQL.def line: 490 col: 4] SdfChecker:warning: undeclared sort --- SelectStm [file: SQL.def line: 489 col: 4] SdfChecker:warning: undeclared sort --- DeleteStm [file: SQL.def line: 488 col: 4] SdfChecker:warning: undeclared sort --- JoinSpec [file: SQL.def line: 462 col: 40] SdfChecker:warning: undeclared sort --- JoinType [file: SQL.def line: 460 col: 23] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 440 col: 14] SdfChecker:warning: undeclared sort --- GroupingColumnRef [file: SQL.def line: 439 col: 31] SdfChecker:warning: undeclared sort --- HavingClause [file: SQL.def line: 437 col: 55] SdfChecker:warning: undeclared sort --- GroupByClause [file: SQL.def line: 437 col: 40] SdfChecker:warning: undeclared sort --- WhereClause [file: SQL.def line: 437 col: 27] SdfChecker:warning: undeclared sort --- TableRef [file: SQL.def line: 437 col: 12] SdfChecker:warning: undeclared sort --- As [file: SQL.def line: 427 col: 13] SdfChecker:warning: undeclared sort --- SelectItem [file: SQL.def line: 424 col: 29] SdfChecker:warning: undeclared sort --- ByClause [file: SQL.def line: 414 col: 20] SdfChecker:warning: undeclared sort --- Corresponding [file: SQL.def line: 410 col: 31] SdfChecker:warning: undeclared sort --- All [file: SQL.def line: 410 col: 26] SdfChecker:warning: undeclared sort --- JoinTableExpr [file: SQL.def line: 407 col: 4] SdfChecker:warning: undeclared sort --- PartialOrFull [file: SQL.def line: 333 col: 35] SdfChecker:warning: undeclared sort --- Unique [file: SQL.def line: 333 col: 27] SdfChecker:warning: undeclared sort --- Quantifier [file: SQL.def line: 325 col: 26] SdfChecker:warning: undeclared sort --- EscapeClause [file: SQL.def line: 320 col: 40] SdfChecker:warning: undeclared sort --- InPredVal [file: SQL.def line: 315 col: 33] SdfChecker:warning: undeclared sort --- Not [file: SQL.def line: 314 col: 19] SdfChecker:warning: undeclared sort --- CompOp [file: SQL.def line: 313 col: 19] SdfChecker:warning: undeclared sort --- TrimSpec [file: SQL.def line: 275 col: 4] SdfChecker:warning: undeclared sort --- TrimOp [file: SQL.def line: 273 col: 15] SdfChecker:warning: undeclared sort --- QualifiedName [file: SQL.def line: 270 col: 40] SdfChecker:warning: undeclared sort --- ForClause [file: SQL.def line: 264 col: 50] SdfChecker:warning: undeclared sort --- CollateClause [file: SQL.def line: 257 col: 16] SdfChecker:warning: undeclared sort --- DataType [file: SQL.def line: 189 col: 4] SdfChecker:warning: undeclared sort --- DomainName [file: SQL.def line: 188 col: 4] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 184 col: 50] SdfChecker:warning: undeclared sort --- CastTarget [file: SQL.def line: 184 col: 32] SdfChecker:warning: undeclared sort --- CastOperand [file: SQL.def line: 184 col: 15] SdfChecker:warning: undeclared sort --- CondExpr [file: SQL.def line: 211 col: 11] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" ValExpr ")" -> E { bracket } [file: SQL.def line: 235 col: 4] SdfChecker:warning: undeclared sort --- DupElim [file: SQL.def line: 238 col: 16] SdfChecker:warning: undeclared sort --- QueryExpr [file: SQL.def line: 234 col: 8] SdfChecker:warning: undeclared sort --- CastSpec [file: SQL.def line: 232 col: 4] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 363 col: 4] SdfChecker:warning: undeclared sort --- BaseTable [file: SQL.def line: 384 col: 33] SdfChecker:warning: undeclared sort --- Schema [file: SQL.def line: 383 col: 33] SdfChecker:warning: undeclared sort --- Identifier [file: SQL.def line: 383 col: 19] SdfChecker:warning: undeclared sort --- Id [file: SQL.def line: 140 col: 8] SdfChecker:warning: undeclared sort --- HostId [file: SQL.def line: 139 col: 8] SdfChecker:warning: undeclared sort --- Indicator [file: SQL.def line: 137 col: 12] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 124 col: 4] SdfChecker:warning: double declared sort --- second occurrence [file: SQL.def line: 120 col: 4] --- first occurrence [file: SQL.def line: 121 col: 4] SdfChecker:warning: undeclared sort --- UnsignedInteger [file: SQL.def line: 31 col: 14] SdfChecker:warning: undeclared sort --- SignedInteger [file: SQL.def line: 28 col: 9] SdfChecker:warning: undeclared sort --- Exponent [file: SQL.def line: 27 col: 14] SdfChecker:warning: undeclared sort --- NumDigits [file: SQL.def line: 21 col: 14] SdfChecker:warning: undeclared sort --- IntervalLit [file: SQL.def line: 14 col: 4] SdfChecker:warning: undeclared sort --- DateTimeStringLit [file: SQL.def line: 13 col: 4] SdfChecker:warning: undeclared sort --- HexStringLit [file: SQL.def line: 12 col: 4] SdfChecker:warning: undeclared sort --- BitStringLit [file: SQL.def line: 11 col: 4] SdfChecker:warning: undeclared sort --- NatCharStringLit [file: SQL.def line: 10 col: 4] SdfChecker:warning: undeclared sort --- GeneralLit [file: SQL.def line: 7 col: 4] SdfChecker:warning: undeclared sort --- UnsignedLit [file: SQL.def line: 6 col: 22] SdfChecker:warning: undeclared sort --- UnsignedNumLit [file: SQL.def line: 6 col: 4] building XPath.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m XPath -i XPath.def -o XPath.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- VariabeReference [file: XPath.def line: 47 col: 8] SdfChecker:error: symbol is not defined by any production --- FunctionCall [file: XPath.def line: 142 col: 4] SdfChecker:error: symbol is not defined by any production --- Literal [file: XPath.def line: 22 col: 43] SdfChecker:warning: undeclared sort --- FunctionCall [file: XPath.def line: 142 col: 4] SdfChecker:warning: undeclared sort --- VariableReference [file: XPath.def line: 138 col: 4] SdfChecker:warning: undeclared sort --- NCName [file: XPath.def line: 54 col: 4] SdfChecker:warning: undeclared sort --- VariableReference [file: XPath.def line: 49 col: 16] SdfChecker:warning: undeclared sort --- QName [file: XPath.def line: 44 col: 4] SdfChecker:warning: undeclared sort --- QName [file: XPath.def line: 6 col: 25] SdfChecker:warning: undeclared sort --- NCName [file: XPath.def line: 6 col: 15] SdfChecker:warning: undeclared sort --- Qualifier [file: XPath.def line: 6 col: 4] building Quote1.javadiff No expected output specified for Quote1 make[1]: Leaving directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/sql-xpath' Making check in tiny-sql make[1]: Entering directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/tiny-sql' building all-local Tools registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: Data registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: building SQL-Java.def /nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/pack-sdf -Idef /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def -Idef /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def -i SQL-Java.sdf -o SQL-Java.def --dep SQL-Java.dep including ./SQL-Java.sdf including languages/java/JavaMix from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/JavaMix from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/UnicodeEscapes from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/LineTerminators from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/WhiteSpace from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Comments from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Identifiers from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Keywords from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/Modifiers from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/IntegerLiterals from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/FloatingPointLiterals from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/BooleanLiterals from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/CharacterLiterals from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/EscapeSequences from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/StringLiterals from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/lexical/literals/NullLiteral from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/types/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/types/PrimitiveTypes from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/types/ReferenceTypes from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/types/TypeVariables from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/types/ParameterizedTypes from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/names/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/packages/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/packages/CompilationUnits from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/packages/TypeDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ClassDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/FieldDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Annotations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/ArrayInitializers from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/MethodDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Blocks from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/statements/LocalVariableDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Statements from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/InstanceInitializers from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/StaticInitializers from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/ConstructorDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/EnumDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/InterfaceDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/ConstantDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AbstractMethodDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/AnnotationTypes from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/packages/ImportDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/packages/PackageDeclarations from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/classes/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/interfaces/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/arrays/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/statements/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Main from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Primary from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ClassInstanceCreation from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayCreation from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/FieldAccess from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/ArrayAccess from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/MethodInvocation from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Postfix from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/UnaryOperators from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/BinaryOperators from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/AssignmentOperators from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Restrictions from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including languages/java-15/expressions/Priorities from /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def including ./EmbeddedSQL.sdf including ./SQL.sdf building SQL-Java.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m SQL-Java -i SQL-Java.def -o SQL-Java.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- Java [file: SQL-Java.def line: 1909 col: 25] SdfChecker:warning: undeclared sort --- Java [file: SQL-Java.def line: 1909 col: 25] SdfChecker:error: start-symbol not defined by any production --- CompilationUnit [[ Java ]] [file: SQL-Java.def line: 1913 col: 29] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "?" Expr ":" -> CondMid { bracket } [file: SQL-Java.def line: 215 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "[" Expr "]" -> ArraySubscript { bracket } [file: SQL-Java.def line: 284 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" { Expr "," } * ")" -> EnumConstArgs { bracket } [file: SQL-Java.def line: 615 col: 4] SdfChecker:warning: undeclared sort --- String [file: SQL-Java.def line: 39 col: 18] SdfChecker:warning: undeclared sort --- Expr [file: SQL-Java.def line: 34 col: 9] SdfChecker:warning: undeclared sort --- Where [file: SQL-Java.def line: 32 col: 9] SdfChecker:warning: undeclared sort --- Query [file: SQL-Java.def line: 31 col: 9] SdfChecker:warning: undeclared sort --- String [file: SQL-Java.def line: 8 col: 30] SdfChecker:warning: undeclared sort --- Char [file: SQL-Java.def line: 7 col: 27] SdfChecker:warning: undeclared sort --- Id [file: SQL-Java.def line: 6 col: 17] SdfChecker:warning: undeclared sort --- Expr [file: SQL-Java.def line: 4 col: 41] SdfChecker:warning: undeclared sort --- Where [file: SQL-Java.def line: 4 col: 35] SdfChecker:warning: undeclared sort --- Query [file: SQL-Java.def line: 4 col: 29] building Quote1.java building SQL.def /nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/pack-sdf -Idef /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def -Idef /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def -i SQL.sdf -o SQL.def --dep SQL.dep including ./SQL.sdf building SQL.java SdfChecker:error: Main module not defined --- Main SdfChecker:warning: undeclared sort --- String [file: SQL.def line: 8 col: 30] SdfChecker:warning: undeclared sort --- Char [file: SQL.def line: 7 col: 27] SdfChecker:warning: undeclared sort --- Id [file: SQL.def line: 6 col: 17] SdfChecker:warning: undeclared sort --- Expr [file: SQL.def line: 4 col: 41] SdfChecker:warning: undeclared sort --- Where [file: SQL.def line: 4 col: 35] SdfChecker:warning: undeclared sort --- Query [file: SQL.def line: 4 col: 29] building Quote1.class Note: ./SQL.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. building SQL.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m SQL -i SQL.def -o SQL.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: undeclared sort --- String [file: SQL.def line: 8 col: 30] SdfChecker:warning: undeclared sort --- Char [file: SQL.def line: 7 col: 27] SdfChecker:warning: undeclared sort --- Id [file: SQL.def line: 6 col: 17] SdfChecker:warning: undeclared sort --- Expr [file: SQL.def line: 4 col: 41] SdfChecker:warning: undeclared sort --- Where [file: SQL.def line: 4 col: 35] SdfChecker:warning: undeclared sort --- Query [file: SQL.def line: 4 col: 29] building Quote1.javadiff Quote1.java+sql OK building Quote2.java building Quote2.class building Quote2.javadiff Quote2.java+sql OK building Quote3.java building Quote3.class building Quote3.javadiff Quote3.java+sql OK building Quote4.java building Quote4.class building Quote4.javadiff Quote4.java+sql OK building Quote5.java building Quote5.class building Quote5.javadiff Quote5.java+sql OK building AntiQuote1.java building AntiQuote1.class building AntiQuote1.javadiff AntiQuote1.java+sql OK building AntiQuote2.java building AntiQuote2.class building AntiQuote2.javadiff AntiQuote2.java+sql OK building AntiQuote3.java building AntiQuote3.class building AntiQuote3.javadiff Exception in thread "main" java.lang.IllegalStateException: Invalid string has been constructed: at SQL.toString(SQL.java:27) at AntiQuote3.main(AntiQuote3.java:5) error: AntiQuote3 should fail and failed. building AntiQuote4.java building AntiQuote4.class building AntiQuote4.javadiff AntiQuote4.java+sql OK building AntiQuote5.java building AntiQuote5.class building AntiQuote5.javadiff AntiQuote5.java+sql OK building AntiQuote6.java building AntiQuote6.class building AntiQuote6.javadiff AntiQuote6.java+sql OK building AntiQuote7.java building AntiQuote7.class building AntiQuote7.javadiff Exception in thread "main" java.lang.IllegalArgumentException: Illegal lexical: 'bla at' at SQL.match_String(SQL.java:725) at SQL.new_4d28da8b7872dcb193a21dcedad4d1ff(SQL.java:301) at AntiQuote7.main(AntiQuote7.java:4) error: AntiQuote7 should fail and failed. building SQL-PHP.def /nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/pack-sdf -Idef /nix/store/i3503ifm7qhrg3pp7jq5n4j234iink2m-java-front-0.9pre17503-xd9g98g7/share/java-front-syntax/JavaMix.def -Idef /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def -i SQL-PHP.sdf -o SQL-PHP.def --dep SQL-PHP.dep including ./SQL-PHP.sdf including languages/php/version5/Mix from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/version5/Main from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/version5/Statements from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/Statements from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/version5/Keywords from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/Keywords from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/version5/Expressions from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/Expressions from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/version5/literals/VariableLiterals from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/version5/Precedence from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/Main from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/Literals from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/literals/Main from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/literals/DoubleQuotedStringLiterals from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/literals/HeredocLiterals from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/literals/NumberLiterals from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/literals/SingleQuotedStringLiterals from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/literals/VariableLiterals from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/literals/StringLiteral from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/Layout from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/HiddenSemiColon from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/Tags from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including languages/php/common/Operators from /nix/store/knb7j66nb8jcxmadx4df0j1975b2ab2n-php-front-0.1pre423-zldcrbx8/share/sdf/php-front/PHP5Mix.def including ./EmbeddedSQL.sdf including ./SQL.sdf building SQL-PHP.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m SQL-PHP -i SQL-PHP.def -o SQL-PHP.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- ClassName [file: SQL-PHP.def line: 7316 col: 56] SdfChecker:warning: symbol is not used anywhere --- Exit [file: SQL-PHP.def line: 170 col: 31] SdfChecker:warning: symbol is not used anywhere --- Print [file: SQL-PHP.def line: 170 col: 8] SdfChecker:error: symbol is not defined by any production --- PHP [file: SQL-PHP.def line: 8101 col: 29] SdfChecker:warning: undeclared sort --- PHP [file: SQL-PHP.def line: 8101 col: 29] SdfChecker:error: start-symbol not defined by any production --- Document [[ PHP ]] [file: SQL-PHP.def line: 8105 col: 16] SdfChecker:warning: undeclared sort --- DoubleQuotedPartSpecial [file: SQL-PHP.def line: 8037 col: 12] SdfChecker:warning: undeclared sort --- EscapeSimpleVariable [file: SQL-PHP.def line: 8023 col: 12] SdfChecker:warning: undeclared sort --- ClassNameReference [file: SQL-PHP.def line: 7980 col: 12] SdfChecker:warning: undeclared sort --- DynamicClassNameReference [file: SQL-PHP.def line: 7979 col: 12] SdfChecker:warning: undeclared sort --- FunctionName [file: SQL-PHP.def line: 7944 col: 24] SdfChecker:warning: undeclared sort --- ClassNameReference [file: SQL-PHP.def line: 7499 col: 22] SdfChecker:warning: undeclared sort --- FullyQualifiedClassName [file: SQL-PHP.def line: 7322 col: 5] SdfChecker:warning: undeclared sort --- Variable [file: SQL-PHP.def line: 7283 col: 4] SdfChecker:warning: undeclared sort --- List [file: SQL-PHP.def line: 2059 col: 4] SdfChecker:warning: undeclared sort --- ObjectCVar [file: SQL-PHP.def line: 2011 col: 4] SdfChecker:warning: undeclared sort --- InternalFunction [file: SQL-PHP.def line: 1979 col: 27] SdfChecker:warning: undeclared sort --- ClassNameReference [file: SQL-PHP.def line: 687 col: 22] SdfChecker:warning: undeclared sort --- Expr [file: SQL-PHP.def line: 669 col: 12] SdfChecker:warning: undeclared sort --- Variable [file: SQL-PHP.def line: 632 col: 8] SdfChecker:warning: undeclared sort --- LNumber [file: SQL-PHP.def line: 623 col: 23] SdfChecker:warning: undeclared sort --- EscapeSimpleVariable [file: SQL-PHP.def line: 615 col: 4] SdfChecker:warning: undeclared sort --- DoubleQuotedPartSpecial [file: SQL-PHP.def line: 528 col: 4] SdfChecker:warning: undeclared sort --- DynamicClassNameReference [file: SQL-PHP.def line: 163 col: 4] SdfChecker:warning: undeclared sort --- ClassNameReference [file: SQL-PHP.def line: 150 col: 9] SdfChecker:warning: undeclared sort --- String [file: SQL-PHP.def line: 39 col: 18] SdfChecker:warning: undeclared sort --- Expr [file: SQL-PHP.def line: 34 col: 9] SdfChecker:warning: undeclared sort --- Where [file: SQL-PHP.def line: 32 col: 9] SdfChecker:warning: undeclared sort --- Query [file: SQL-PHP.def line: 31 col: 9] SdfChecker:warning: undeclared sort --- String [file: SQL-PHP.def line: 8 col: 30] SdfChecker:warning: undeclared sort --- Char [file: SQL-PHP.def line: 7 col: 27] SdfChecker:warning: undeclared sort --- Id [file: SQL-PHP.def line: 6 col: 17] SdfChecker:warning: undeclared sort --- Expr [file: SQL-PHP.def line: 4 col: 41] SdfChecker:warning: undeclared sort --- Where [file: SQL-PHP.def line: 4 col: 35] SdfChecker:warning: undeclared sort --- Query [file: SQL-PHP.def line: 4 col: 29] building SQL.php SdfChecker:error: Main module not defined --- Main SdfChecker:warning: undeclared sort --- String [file: SQL.def line: 8 col: 30] SdfChecker:warning: undeclared sort --- Char [file: SQL.def line: 7 col: 27] SdfChecker:warning: undeclared sort --- Id [file: SQL.def line: 6 col: 17] SdfChecker:warning: undeclared sort --- Expr [file: SQL.def line: 4 col: 41] SdfChecker:warning: undeclared sort --- Where [file: SQL.def line: 4 col: 35] SdfChecker:warning: undeclared sort --- Query [file: SQL.def line: 4 col: 29] building Quote1.php building Quote1.phpdiff Quote1.php+sql OK building Quote2.php building Quote2.phpdiff Quote2.php+sql OK building Quote3.php building Quote3.phpdiff Quote3.php+sql OK building Quote4.php building Quote4.phpdiff Quote4.php+sql OK building Quote5.php building Quote5.phpdiff Quote5.php+sql OK building AntiQuote1.php building AntiQuote1.phpdiff AntiQuote1.php+sql OK building AntiQuote2.php building AntiQuote2.phpdiff AntiQuote2.php+sql OK building AntiQuote3.php building AntiQuote3.phpdiff Fatal error: Uncaught exception 'Exception' with message 'Invalid string has been constructed: ' in /tmp/nix-19154-0/stringborg-samples-0.1pre17489/tiny-sql/SQL.php:22 Stack trace: #0 /tmp/nix-19154-0/stringborg-samples-0.1pre17489/tiny-sql/AntiQuote3.php(5): SQL->toString() #1 {main} thrown in /tmp/nix-19154-0/stringborg-samples-0.1pre17489/tiny-sql/SQL.php on line 22 error: AntiQuote3 should fail and failed. building AntiQuote4.php building AntiQuote4.phpdiff AntiQuote4.php+sql OK building AntiQuote5.php building AntiQuote5.phpdiff AntiQuote5.php+sql OK building AntiQuote6.php building AntiQuote6.phpdiff AntiQuote6.php+sql OK building AntiQuote7.php building AntiQuote7.phpdiff Fatal error: Uncaught exception 'Exception' with message 'Illegal lexical: 'bla at'' in /tmp/nix-19154-0/stringborg-samples-0.1pre17489/tiny-sql/SQL.php:612 Stack trace: #0 /tmp/nix-19154-0/stringborg-samples-0.1pre17489/tiny-sql/SQL.php(279): SQL::match_String(Object(SQL)) #1 /tmp/nix-19154-0/stringborg-samples-0.1pre17489/tiny-sql/AntiQuote7.php(4): SQL::new_4d28da8b7872dcb193a21dcedad4d1ff(Object(SQL)) #2 {main} thrown in /tmp/nix-19154-0/stringborg-samples-0.1pre17489/tiny-sql/SQL.php on line 612 error: AntiQuote7 should fail and failed. rm SQL.def SQL.tbl SQL-PHP.def SQL-PHP.tbl SQL-Java.def SQL-Java.tbl make[1]: Leaving directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/tiny-sql' Making check in xml make[1]: Entering directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/xml' building all-local Tools registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: Data registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: building XML-Java.tbl ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t XML-Java.tbl -L` building XML.def ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t XML.def -L` building Constant1.java building XML.java SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- DoubleQutedString [file: XML.def line: 176 col: 8] SdfChecker:error: symbol is not defined by any production --- CDataSection [file: XML.def line: 214 col: 4] SdfChecker:error: symbol is not defined by any production --- SingleQuotedContent [file: XML.def line: 171 col: 10] SdfChecker:error: symbol is not defined by any production --- DoubleQuotedContent [file: XML.def line: 170 col: 10] SdfChecker:error: symbol is not defined by any production --- AttValue [file: XML.def line: 167 col: 14] SdfChecker:error: symbol is not defined by any production --- CharDataToken [file: XML.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- CDataSection [file: XML.def line: 214 col: 4] SdfChecker:warning: undeclared sort --- CharData [file: XML.def line: 213 col: 4] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 210 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 209 col: 4] SdfChecker:warning: undeclared sort --- Attribute [file: XML.def line: 206 col: 14] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 206 col: 8] SdfChecker:warning: undeclared sort --- Epilogue [file: XML.def line: 204 col: 21] SdfChecker:warning: undeclared sort --- Prologue [file: XML.def line: 204 col: 4] SdfChecker:warning: undeclared sort --- Ref [file: XML.def line: 183 col: 4] SdfChecker:warning: undeclared sort --- DoubleQuotedString [file: XML.def line: 173 col: 5] SdfChecker:warning: undeclared sort --- SingleQuotedContent [file: XML.def line: 171 col: 10] SdfChecker:warning: undeclared sort --- DoubleQuotedContent [file: XML.def line: 170 col: 10] SdfChecker:warning: undeclared sort --- Attribute [file: XML.def line: 167 col: 26] SdfChecker:warning: undeclared sort --- AttValue [file: XML.def line: 167 col: 14] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 167 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 153 col: 36] SdfChecker:warning: undeclared sort --- Dash [file: XML.def line: 153 col: 20] SdfChecker:warning: undeclared sort --- ExternalID [file: XML.def line: 119 col: 22] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 119 col: 16] SdfChecker:warning: undeclared sort --- DocTypeDecl [file: XML.def line: 117 col: 4] SdfChecker:warning: undeclared sort --- VersionNum [file: XML.def line: 112 col: 9] SdfChecker:warning: undeclared sort --- EncodingName [file: XML.def line: 109 col: 9] SdfChecker:warning: undeclared sort --- YesNo [file: XML.def line: 106 col: 9] SdfChecker:warning: undeclared sort --- EncodingValue [file: XML.def line: 104 col: 21] SdfChecker:warning: undeclared sort --- VersionValue [file: XML.def line: 103 col: 21] SdfChecker:warning: undeclared sort --- StandaloneValue [file: XML.def line: 102 col: 21] SdfChecker:warning: undeclared sort --- StandaloneDecl [file: XML.def line: 100 col: 38] SdfChecker:warning: undeclared sort --- EncodingDecl [file: XML.def line: 100 col: 24] SdfChecker:warning: undeclared sort --- VersionInfo [file: XML.def line: 100 col: 12] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 96 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 95 col: 4] SdfChecker:warning: undeclared sort --- Epilogue [file: XML.def line: 94 col: 13] SdfChecker:warning: undeclared sort --- Prologue [file: XML.def line: 93 col: 39] SdfChecker:warning: undeclared sort --- DocTypePrologue [file: XML.def line: 93 col: 19] SdfChecker:warning: undeclared sort --- Misc [file: XML.def line: 93 col: 13] SdfChecker:warning: undeclared sort --- XMLDecl [file: XML.def line: 93 col: 4] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 134 col: 25] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 134 col: 15] SdfChecker:warning: undeclared sort --- Qualifier [file: XML.def line: 134 col: 4] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 75 col: 4] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 72 col: 34] SdfChecker:warning: undeclared sort --- PIChars [file: XML.def line: 72 col: 18] SdfChecker:warning: undeclared sort --- PITarget [file: XML.def line: 72 col: 9] SdfChecker:warning: undeclared sort --- PubIDChar [file: XML.def line: 59 col: 9] SdfChecker:warning: undeclared sort --- PublicID [file: XML.def line: 54 col: 36] SdfChecker:warning: undeclared sort --- PublicLit [file: XML.def line: 53 col: 13] SdfChecker:warning: undeclared sort --- ExternalID [file: XML.def line: 52 col: 36] SdfChecker:warning: undeclared sort --- SystemLit [file: XML.def line: 52 col: 13] SdfChecker:warning: undeclared sort --- CharDataToken [file: XML.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- TwoCloseBrackets [file: XML.def line: 38 col: 28] SdfChecker:warning: undeclared sort --- CloseBracket [file: XML.def line: 38 col: 13] SdfChecker:warning: undeclared sort --- CharRef [file: XML.def line: 28 col: 18] SdfChecker:warning: undeclared sort --- EntityRef [file: XML.def line: 26 col: 26] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 26 col: 10] SdfChecker:warning: undeclared sort --- HexCharRef [file: XML.def line: 25 col: 26] SdfChecker:warning: undeclared sort --- HexConst [file: XML.def line: 25 col: 10] SdfChecker:warning: undeclared sort --- DecCharRef [file: XML.def line: 24 col: 26] SdfChecker:warning: undeclared sort --- NatConst [file: XML.def line: 24 col: 10] SdfChecker:warning: undeclared sort --- Ref [file: XML.def line: 18 col: 5] SdfChecker:warning: undeclared sort --- CData [file: XML.def line: 15 col: 17] SdfChecker:warning: undeclared sort --- CharDataText [file: XML.def line: 14 col: 5] SdfChecker:warning: undeclared sort --- CharData [file: XML.def line: 13 col: 25] SdfChecker:warning: undeclared sort --- CharDataPart [file: XML.def line: 13 col: 4] building Constant1.class Note: ./XML.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. building XML.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m XML -i XML.def -o XML.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- DoubleQutedString [file: XML.def line: 176 col: 8] SdfChecker:error: symbol is not defined by any production --- CDataSection [file: XML.def line: 214 col: 4] SdfChecker:error: symbol is not defined by any production --- SingleQuotedContent [file: XML.def line: 171 col: 10] SdfChecker:error: symbol is not defined by any production --- DoubleQuotedContent [file: XML.def line: 170 col: 10] SdfChecker:error: symbol is not defined by any production --- AttValue [file: XML.def line: 167 col: 14] SdfChecker:error: symbol is not defined by any production --- CharDataToken [file: XML.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- CDataSection [file: XML.def line: 214 col: 4] SdfChecker:warning: undeclared sort --- CharData [file: XML.def line: 213 col: 4] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 210 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 209 col: 4] SdfChecker:warning: undeclared sort --- Attribute [file: XML.def line: 206 col: 14] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 206 col: 8] SdfChecker:warning: undeclared sort --- Epilogue [file: XML.def line: 204 col: 21] SdfChecker:warning: undeclared sort --- Prologue [file: XML.def line: 204 col: 4] SdfChecker:warning: undeclared sort --- Ref [file: XML.def line: 183 col: 4] SdfChecker:warning: undeclared sort --- DoubleQuotedString [file: XML.def line: 173 col: 5] SdfChecker:warning: undeclared sort --- SingleQuotedContent [file: XML.def line: 171 col: 10] SdfChecker:warning: undeclared sort --- DoubleQuotedContent [file: XML.def line: 170 col: 10] SdfChecker:warning: undeclared sort --- Attribute [file: XML.def line: 167 col: 26] SdfChecker:warning: undeclared sort --- AttValue [file: XML.def line: 167 col: 14] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 167 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 153 col: 36] SdfChecker:warning: undeclared sort --- Dash [file: XML.def line: 153 col: 20] SdfChecker:warning: undeclared sort --- ExternalID [file: XML.def line: 119 col: 22] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 119 col: 16] SdfChecker:warning: undeclared sort --- DocTypeDecl [file: XML.def line: 117 col: 4] SdfChecker:warning: undeclared sort --- VersionNum [file: XML.def line: 112 col: 9] SdfChecker:warning: undeclared sort --- EncodingName [file: XML.def line: 109 col: 9] SdfChecker:warning: undeclared sort --- YesNo [file: XML.def line: 106 col: 9] SdfChecker:warning: undeclared sort --- EncodingValue [file: XML.def line: 104 col: 21] SdfChecker:warning: undeclared sort --- VersionValue [file: XML.def line: 103 col: 21] SdfChecker:warning: undeclared sort --- StandaloneValue [file: XML.def line: 102 col: 21] SdfChecker:warning: undeclared sort --- StandaloneDecl [file: XML.def line: 100 col: 38] SdfChecker:warning: undeclared sort --- EncodingDecl [file: XML.def line: 100 col: 24] SdfChecker:warning: undeclared sort --- VersionInfo [file: XML.def line: 100 col: 12] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 96 col: 4] SdfChecker:warning: undeclared sort --- Comment [file: XML.def line: 95 col: 4] SdfChecker:warning: undeclared sort --- Epilogue [file: XML.def line: 94 col: 13] SdfChecker:warning: undeclared sort --- Prologue [file: XML.def line: 93 col: 39] SdfChecker:warning: undeclared sort --- DocTypePrologue [file: XML.def line: 93 col: 19] SdfChecker:warning: undeclared sort --- Misc [file: XML.def line: 93 col: 13] SdfChecker:warning: undeclared sort --- XMLDecl [file: XML.def line: 93 col: 4] SdfChecker:warning: undeclared sort --- QName [file: XML.def line: 134 col: 25] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 134 col: 15] SdfChecker:warning: undeclared sort --- Qualifier [file: XML.def line: 134 col: 4] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 75 col: 4] SdfChecker:warning: undeclared sort --- PI [file: XML.def line: 72 col: 34] SdfChecker:warning: undeclared sort --- PIChars [file: XML.def line: 72 col: 18] SdfChecker:warning: undeclared sort --- PITarget [file: XML.def line: 72 col: 9] SdfChecker:warning: undeclared sort --- PubIDChar [file: XML.def line: 59 col: 9] SdfChecker:warning: undeclared sort --- PublicID [file: XML.def line: 54 col: 36] SdfChecker:warning: undeclared sort --- PublicLit [file: XML.def line: 53 col: 13] SdfChecker:warning: undeclared sort --- ExternalID [file: XML.def line: 52 col: 36] SdfChecker:warning: undeclared sort --- SystemLit [file: XML.def line: 52 col: 13] SdfChecker:warning: undeclared sort --- CharDataToken [file: XML.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- TwoCloseBrackets [file: XML.def line: 38 col: 28] SdfChecker:warning: undeclared sort --- CloseBracket [file: XML.def line: 38 col: 13] SdfChecker:warning: undeclared sort --- CharRef [file: XML.def line: 28 col: 18] SdfChecker:warning: undeclared sort --- EntityRef [file: XML.def line: 26 col: 26] SdfChecker:warning: undeclared sort --- NCName [file: XML.def line: 26 col: 10] SdfChecker:warning: undeclared sort --- HexCharRef [file: XML.def line: 25 col: 26] SdfChecker:warning: undeclared sort --- HexConst [file: XML.def line: 25 col: 10] SdfChecker:warning: undeclared sort --- DecCharRef [file: XML.def line: 24 col: 26] SdfChecker:warning: undeclared sort --- NatConst [file: XML.def line: 24 col: 10] SdfChecker:warning: undeclared sort --- Ref [file: XML.def line: 18 col: 5] SdfChecker:warning: undeclared sort --- CData [file: XML.def line: 15 col: 17] SdfChecker:warning: undeclared sort --- CharDataText [file: XML.def line: 14 col: 5] SdfChecker:warning: undeclared sort --- CharData [file: XML.def line: 13 col: 25] SdfChecker:warning: undeclared sort --- CharDataPart [file: XML.def line: 13 col: 4] building Constant1.javadiff Constant1.java+xml OK building AntiQuote1.java building AntiQuote1.class building AntiQuote1.javadiff AntiQuote1.java+xml OK building AntiQuote2.java building AntiQuote2.class building AntiQuote2.javadiff AntiQuote2.java+xml OK building AntiQuote3.java building AntiQuote3.class building AntiQuote3.javadiff AntiQuote3.java+xml OK building AntiQuote4.java building AntiQuote4.class building AntiQuote4.javadiff AntiQuote4.java+xml OK building AntiQuote5.java building AntiQuote5.class building AntiQuote5.javadiff AntiQuote5.java+xml OK rm XML.tbl make[1]: Leaving directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/xml' Making check in xpath make[1]: Entering directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/xpath' building all-local Tools registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: Data registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: building XPath-Java.tbl ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t XPath-Java.tbl -L` building XPath.def ln -s `/nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC query -t XPath.def -L` building Constant1.java building XPath.java SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- VariabeReference [file: XPath.def line: 47 col: 8] SdfChecker:error: symbol is not defined by any production --- FunctionCall [file: XPath.def line: 142 col: 4] SdfChecker:error: symbol is not defined by any production --- Literal [file: XPath.def line: 22 col: 43] SdfChecker:warning: undeclared sort --- FunctionCall [file: XPath.def line: 142 col: 4] SdfChecker:warning: undeclared sort --- VariableReference [file: XPath.def line: 138 col: 4] SdfChecker:warning: undeclared sort --- NCName [file: XPath.def line: 54 col: 4] SdfChecker:warning: undeclared sort --- VariableReference [file: XPath.def line: 49 col: 16] SdfChecker:warning: undeclared sort --- QName [file: XPath.def line: 44 col: 4] SdfChecker:warning: undeclared sort --- QName [file: XPath.def line: 6 col: 25] SdfChecker:warning: undeclared sort --- NCName [file: XPath.def line: 6 col: 15] SdfChecker:warning: undeclared sort --- Qualifier [file: XPath.def line: 6 col: 4] building Constant1.class Note: ./XPath.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. building XPath.tbl /nix/store/d47ibf9ch4fmszb0jh3raykrx74ca759-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m XPath -i XPath.def -o XPath.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:warning: symbol is not used anywhere --- VariabeReference [file: XPath.def line: 47 col: 8] SdfChecker:error: symbol is not defined by any production --- FunctionCall [file: XPath.def line: 142 col: 4] SdfChecker:error: symbol is not defined by any production --- Literal [file: XPath.def line: 22 col: 43] SdfChecker:warning: undeclared sort --- FunctionCall [file: XPath.def line: 142 col: 4] SdfChecker:warning: undeclared sort --- VariableReference [file: XPath.def line: 138 col: 4] SdfChecker:warning: undeclared sort --- NCName [file: XPath.def line: 54 col: 4] SdfChecker:warning: undeclared sort --- VariableReference [file: XPath.def line: 49 col: 16] SdfChecker:warning: undeclared sort --- QName [file: XPath.def line: 44 col: 4] SdfChecker:warning: undeclared sort --- QName [file: XPath.def line: 6 col: 25] SdfChecker:warning: undeclared sort --- NCName [file: XPath.def line: 6 col: 15] SdfChecker:warning: undeclared sort --- Qualifier [file: XPath.def line: 6 col: 4] building Constant1.javadiff Constant1.java+xpath OK building AntiQuote1.java building AntiQuote1.class building AntiQuote1.javadiff AntiQuote1.java+xpath OK building AntiQuote2.java building AntiQuote2.class building AntiQuote2.javadiff AntiQuote2.java+xpath OK building AntiQuote3.java building AntiQuote3.class building AntiQuote3.javadiff AntiQuote3.java+xpath OK building AntiQuote4.java building AntiQuote4.class building AntiQuote4.javadiff AntiQuote4.java+xpath OK rm XPath.tbl make[1]: Leaving directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489/xpath' make[1]: Entering directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489' building all-local /nix/store/01sfyz0nnkyvlwr12wcb3bkv9pm91yv6-strategoxt-0.17M3pre17483/bin/xtc -r /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC import /nix/store/yd823ix0hiahgnyq47sm42jr0kcycxyi-stringborg-0.2pre17489-zaa8a3d1/share/stringborg/XTC Tools registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: Data registered in repository /tmp/nix-19154-0/stringborg-samples-0.1pre17489/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-19154-0/stringborg-samples-0.1pre17489'