Sign in
android
/
platform
/
tools
/
idea
/
9b5d02ac8c92b1e71523cc15cb3d168d57fbd898
/
.
/
plugins
/
xpath
/
xpath-lang
/
testData
/
xpath2
/
highlighting
/
types
/
durationIDivNumeric.xpath2
blob: 4846438418cdf5cde403a07326e5cf7538ddd893 [
file
] [
log
] [
blame
]
<error
descr
=
"Operator 'idiv' cannot be applied to expressions of type 'xs:dayTimeDuration'"
>
'P0DTOH' cast as xs:dayTimeDuration idiv 4
</error>