I added fn:true() inside dfdl:checkConstraints:
<xs:simpleType name="validString">
<xs:annotation>
<xs:appinfo source="http://www.ogf.org/dfdl/">
<dfdl:assert>{ dfdl:checkConstraints(fn:true()) }</dfdl:assert>
</xs:appinfo>
</xs:annotation>
<xs:restriction base="xs:string"/>
</xs:simpleType>
And Daffodil bombed:
org.apache.daffodil.exceptions.Abort: Invariant broken. Runtime.scala - Leaked
exception: java.lang.NullPointerException
: Cannot invoke "org.apache.daffodil.infoset.DIElement.valid()" because the
return value of "org.apache.daffodil.dpath.D
State.currentElement()" is null
java.lang.NullPointerException: Cannot invoke
"org.apache.daffodil.infoset.DIElement.valid()" because the return value o
f "org.apache.daffodil.dpath.DState.currentElement()" is null
at
org.apache.daffodil.dpath.DFDLCheckConstraints.run(DFDLFunctions.scala:32)
at org.apache.daffodil.dpath.CompiledDPath.run(DPathRuntime.scala:141)
at
org.apache.daffodil.dpath.CompiledDPath.runExpression(DPathRuntime.scala:72)
at
org.apache.daffodil.dpath.RuntimeExpressionDPath.evaluateExpression(DPath.scala:251)
at
org.apache.daffodil.dpath.RuntimeExpressionDPath.evaluateMaybe(DPath.scala:262)
at
org.apache.daffodil.dpath.RuntimeExpressionDPath.evaluate(DPath.scala:275)
at
org.apache.daffodil.processors.parsers.ExpressionEvaluationParser.eval(ExpressionEvaluatingParsers.scala:55)
at
org.apache.daffodil.processors.parsers.AssertExpressionEvaluationParser.parse(ExpressionEvaluatingParsers.sca
la:220)
at org.apache.daffodil.processors.parsers.Parser.parse1(Parser.scala:82)
at
org.apache.daffodil.processors.parsers.Parser.parse1$(Parser.scala:76)
at
org.apache.daffodil.processors.parsers.ExpressionEvaluationParser.parse1(ExpressionEvaluatingParsers.scala:42
)
at
org.apache.daffodil.processors.parsers.ElementParserBase.parse(ElementCombinator1.scala:185)
at org.apache.daffodil.processors.parsers.Parser.parse1(Parser.scala:82)
at
org.apache.daffodil.processors.parsers.Parser.parse1$(Parser.scala:76)
at
org.apache.daffodil.processors.parsers.CombinatorParser.parse1(Parser.scala:161)
at
org.apache.daffodil.processors.parsers.Unseparated.parseOne(UnseparatedSequenceParsers.scala:29)
at
org.apache.daffodil.processors.parsers.Unseparated.parseOne$(UnseparatedSequenceParsers.scala:27)
at
org.apache.daffodil.processors.parsers.ScalarOrderedUnseparatedSequenceChildParser.parseOne(UnseparatedSequen
ceParsers.scala:37)
at
org.apache.daffodil.processors.parsers.SequenceParserBase.parseOneInstanceWithMaybePoU(SequenceParserBases.sc
ala:437)
at
org.apache.daffodil.processors.parsers.SequenceParserBase.parseOneInstance(SequenceParserBases.scala:422)
at
org.apache.daffodil.processors.parsers.SequenceParserBase.parse(SequenceParserBases.scala:265)
at org.apache.daffodil.processors.parsers.Parser.parse1(Parser.scala:82)
at
org.apache.daffodil.processors.parsers.Parser.parse1$(Parser.scala:76)
at
org.apache.daffodil.processors.parsers.CombinatorParser.parse1(Parser.scala:161)
at
org.apache.daffodil.processors.parsers.ElementParserBase.parse(ElementCombinator1.scala:135)
at org.apache.daffodil.processors.parsers.Parser.parse1(Parser.scala:82)
at
org.apache.daffodil.processors.parsers.Parser.parse1$(Parser.scala:76)
at
org.apache.daffodil.processors.parsers.CombinatorParser.parse1(Parser.scala:161)
at
org.apache.daffodil.processors.parsers.InfixPrefixSeparatorHelperMixin.parseOneWithInfixOrPrefixSeparator(Sep
aratedParseHelper.scala:134)
at
org.apache.daffodil.processors.parsers.InfixPrefixSeparatorHelperMixin.parseOneWithInfixOrPrefixSeparator$(Se
paratedParseHelper.scala:92)
at
org.apache.daffodil.processors.parsers.InfixSeparatorHelper.parseOneWithInfixOrPrefixSeparator(SeparatedParse
Helper.scala:73)
at
org.apache.daffodil.processors.parsers.InfixSeparatorHelper.parseOneWithSeparator(SeparatedParseHelper.scala:
84)
at
org.apache.daffodil.processors.parsers.Separated.parseOne(SeparatedSequenceParsers.scala:44)
at
org.apache.daffodil.processors.parsers.Separated.parseOne$(SeparatedSequenceParsers.scala:43)
at
org.apache.daffodil.processors.parsers.RepOrderedWithMinMaxSeparatedSequenceChildParser.parseOne(SeparatedSeq
uenceParsers.scala:102)
at
org.apache.daffodil.processors.parsers.SequenceParserBase.parseOneInstanceWithMaybePoU(SequenceParserBases.sc
ala:437)
at
org.apache.daffodil.processors.parsers.SequenceParserBase.parseOneInstance(SequenceParserBases.scala:417)
at
org.apache.daffodil.processors.parsers.SequenceParserBase.parse(SequenceParserBases.scala:157)
at org.apache.daffodil.processors.parsers.Parser.parse1(Parser.scala:82)
at
org.apache.daffodil.processors.parsers.Parser.parse1$(Parser.scala:76)
at
org.apache.daffodil.processors.parsers.CombinatorParser.parse1(Parser.scala:161)
at
org.apache.daffodil.processors.parsers.DelimiterStackParser.parse(ElementKindParsers.scala:77)
at org.apache.daffodil.processors.parsers.Parser.parse1(Parser.scala:82)
at
org.apache.daffodil.processors.parsers.Parser.parse1$(Parser.scala:76)
at
org.apache.daffodil.processors.parsers.CombinatorParser.parse1(Parser.scala:161)
at
org.apache.daffodil.processors.parsers.HiddenGroupCombinatorParser.parse(HiddenGroupCombinatorParser.scala:40
)
at org.apache.daffodil.processors.parsers.Parser.parse1(Parser.scala:82)
at
org.apache.daffodil.processors.parsers.Parser.parse1$(Parser.scala:76)
at
org.apache.daffodil.processors.parsers.CombinatorParser.parse1(Parser.scala:161)
at
org.apache.daffodil.processors.parsers.Unseparated.parseOne(UnseparatedSequenceParsers.scala:29)
at
org.apache.daffodil.processors.parsers.Unseparated.parseOne$(UnseparatedSequenceParsers.scala:27)
at
org.apache.daffodil.processors.parsers.ScalarOrderedUnseparatedSequenceChildParser.parseOne(UnseparatedSequen
ceParsers.scala:37)
at
org.apache.daffodil.processors.parsers.SequenceParserBase.parseOneInstanceWithMaybePoU(SequenceParserBases.sc
ala:437)
at
org.apache.daffodil.processors.parsers.SequenceParserBase.parseOneInstance(SequenceParserBases.scala:422)
at
org.apache.daffodil.processors.parsers.SequenceParserBase.parse(SequenceParserBases.scala:265)
at org.apache.daffodil.processors.parsers.Parser.parse1(Parser.scala:82)
at
org.apache.daffodil.processors.parsers.Parser.parse1$(Parser.scala:76)
at
org.apache.daffodil.processors.parsers.CombinatorParser.parse1(Parser.scala:161)
at
org.apache.daffodil.processors.parsers.ElementParserBase.parse(ElementCombinator1.scala:135)
at org.apache.daffodil.processors.parsers.Parser.parse1(Parser.scala:82)
at
org.apache.daffodil.processors.parsers.Parser.parse1$(Parser.scala:76)
at
org.apache.daffodil.processors.parsers.CombinatorParser.parse1(Parser.scala:161)
at
org.apache.daffodil.processors.DataProcessor.doParse(DataProcessor.scala:503)
at
org.apache.daffodil.processors.DataProcessor.parse(DataProcessor.scala:447)
at org.apache.daffodil.Main$.$anonfun$run$3(Main.scala:933)
at org.apache.daffodil.util.Timer$.getTimeResult(Timer.scala:78)
at org.apache.daffodil.util.Timer$.getResult(Timer.scala:37)
at org.apache.daffodil.Main$.run(Main.scala:933)
at org.apache.daffodil.Main$.main(Main.scala:1577)
at org.apache.daffodil.Main.main(Main.scala)
org.apache.daffodil.exceptions.Assert$.abort(Assert.scala:137)
org.apache.daffodil.exceptions.Assert$.invariantFailed(Assert.scala:183)
org.apache.daffodil.processors.DataProcessor.doParse(DataProcessor.scala:562)
org.apache.daffodil.processors.DataProcessor.parse(DataProcessor.scala:447)
at org.apache.daffodil.exceptions.Assert$.abort(Assert.scala:137)
at
org.apache.daffodil.exceptions.Assert$.invariantFailed(Assert.scala:183)
at
org.apache.daffodil.processors.DataProcessor.doParse(DataProcessor.scala:562)
at
org.apache.daffodil.processors.DataProcessor.parse(DataProcessor.scala:447)
at org.apache.daffodil.Main$.$anonfun$run$3(Main.scala:933)
at org.apache.daffodil.util.Timer$.getTimeResult(Timer.scala:78)
at org.apache.daffodil.util.Timer$.getResult(Timer.scala:37)
at org.apache.daffodil.Main$.run(Main.scala:933)
at org.apache.daffodil.Main$.main(Main.scala:1577)
at org.apache.daffodil.Main.main(Main.scala)