Support search result highlighting

[physikerwelt]

Currently the XML result generated by the XQuery expression does not contain search result highlighting.
This can be added by using the functx:path-to-node function like demonstrated here https://github.com/TU-Berlin/mathosphere/blob/099e97d01a7c9fef7f8f4ab97165ab60143dc8f2/mathosphere-core/src/main/java/com/formulasearchengine/mathosphere/mml/CMMLInfo.java#L43
The result format should comply with
http://ntcir-math.nii.ac.jp/download/NTCIR11-Math2-format.pdf from @kohlhase.

Ping @jimmyli97

[jimmyli97]

Shouldn't need path-to-node: NTCIR format only specifies ID as necessary to identify the highlighted element.

So something like

data($x/@id)

should be enough

[physikerwelt]

@jimmyli97 clever. For the LaTeXML format that will work fine and be even faster than the MWS solution.

[jimmyli97]

This requires removing the header/footer getter/setter functionality from XMLQueryGenerator in order to properly insert the external variable declaration for query ID because the declaration has to go after the namespace but before the for loop

See #6

[physikerwelt]

I have investigated that but I do not see the connection.

[jimmyli97]

Closed by 16bcd7a

[physikerwelt]

@plato2000 can you test if that change fixes the problem you describe https://phabricator.wikimedia.org/T143554 for basex

[plusparth]

@physikerwelt I get this when I update that: UNEXPECTED SERVER ERROR: com.formulasearchengine.mathmlquerygenerator.XQueryGenerator.setHeader(Ljava/lang/String;)Lcom/formulasearchengine/mathmlquerygenerator/XQueryGenerator;