Ticket #18 (closed enhancement: fixed)

Opened 4 years ago

Last modified 3 years ago

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

Changed 4 years ago by anonymous

  • milestone M* - JOMDoc core deleted

Milestone M* - JOMDoc core deleted

Changed 4 years ago by dmisev

  • version set to unknown
  • milestone set to Future

This can only be done after #16

Changed 3 years ago by dmisev

  • status changed from new to closed
  • resolution set to fixed

Ok, now it's possible to get the symbol with Symbol OMS.getSymbol(). I've added these convenience methods for resolving the references to most of the classes, like Ref, Imports, OMR, etc.

Note: See TracTickets for help on using tickets.