Ticket #18 (closed enhancement: fixed)
Connect classes for OMS and symbol
| Reported by: | clange | Owned by: | dmisev |
|---|---|---|---|
| Priority: | major | Milestone: | zzz Future zzz |
| Component: | Structure | Version: | unknown |
| Keywords: | Cc: | ||
| Blocked By: | Blocking: | ||
| Due to close: | YYYY/MM/DD | Include in GanttChart: | no |
| Dependencies: | Due to assign: | YYYY/MM/DD |
Description
A look into org.jomdoc.lang.math.om.OMS tells that JOMDoc does not yet relate symbol occurrences inside formulae to the OMDoc symbol elements that define them. I.e. that if I have a <symbol name="foo"/> in a theory "bar", that some method of an <OMS cd="bar" name="foo"/> object is able to return a Symbol object, if the <symbol/> can be located within the current set of documents (actually a similar problem as running the collector).
Change History
Note: See
TracTickets for help on using
tickets.
