Cart
[Home] [By Thread] [By Date] [Recent Entries]
Perhaps is there some API in Saxon that would tell if XPath is likely to produce single-value or sequence? Yes, Saxon does extensive static type inferencing, and the types of every expression are available by navigating the expression tree at the end of compilation. (It doesn't give you all the information you would wish for, however: for example there is no data flow analysis, and no linkage from a variable binding to all uses of that variable.)
But I think FindBugs does some quite deep semantic analysis before making its suggestions. Michael Kay Saxonica
|
