ontology_parser.rb revision 2715ba04b8716707c2d24d9ce495425eb9a5c189
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # Parses the given string and executes the callback for each symbol
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # Create a new parser
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek parser = Nokogiri::XML::SAX::Parser.new(Listener.new(callbacks))
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # Feed the parser some XML
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # Listener for the SAX Parser
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # the callback function is called for each Symbol tag
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek callback(:root, Hash[*[attributes]])
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek when ONTOLOGY
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek callback(:ontology, Hash[*[attributes]])
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek callback(:import, Hash[*[attributes]])
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_symbol = Hash[*[attributes]]
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_symbol['text'] = ''
5a4239490c7fb7d732180a9d40f27f0247c56631Jakub Hrozek if @current_link && @current_link['map']
5a4239490c7fb7d732180a9d40f27f0247c56631Jakub Hrozek @current_link['map'] << @current_symbol
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_axiom['symbol_hashes'] << @current_symbol if @current_axiom
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek when IMPAXIOMS
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @in_imp_axioms = true
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @in_axioms = true
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_axiom = Hash[*[attributes]]
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_axiom['symbols'] = []
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_axiom['symbol_hashes'] = []
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_axiom['text'] = ''
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_link = Hash[*[attributes]]
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek when MORPHISM
a3c8390d19593b1e5277d95bfb4ab206d4785150Nikolai Kondrashov @current_link['morphism'] = Hash[*[attributes]]['name'] if @current_link
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_link['map'] = []
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # a text node
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek def characters(text)
a3c8390d19593b1e5277d95bfb4ab206d4785150Nikolai Kondrashov case @path.last
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_symbol['text'] << text if @current_symbol
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_axiom['text'] << text if @current_axiom
a3c8390d19593b1e5277d95bfb4ab206d4785150Nikolai Kondrashov when TYPE # there is no other use of TYPE in this code
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_link['type'] = text if @current_link
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek def end_element(name)
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek when ONTOLOGY
04868f1573f4b26ef34610b6d7069172f93bd8abJakub Hrozek callback(:ontology_end, @current_ontology)
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_ontology = nil
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek return if @path.last == 'Hidden'
4cae8609b513c267af11c0409bfe1d17d3a5da2fMichal Zidek if @current_axiom
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # add to current axiom
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_axiom['symbols'] << @current_symbol['text']
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # return the current symcol
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek callback(:symbol, @current_symbol)
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_symbol = nil
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek when IMPAXIOMS
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @in_imp_axioms = false
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @in_axioms = false
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # do not execute callbacks
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # unless the axiom was inside a
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # <Axioms> element or a <ImpAxioms>
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek if @in_imp_axioms
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek callback(:imported_axiom, @current_axiom)
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek elsif @in_axioms
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek callback(:axiom, @current_axiom)
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # return the current axiom
828cc04cd1ed9076faa6e1545055ae69a04f0f0fLukas Slebodnik @current_axiom = nil
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # return the current link
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek callback(:link, @current_link)
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek @current_link = nil
4cae8609b513c267af11c0409bfe1d17d3a5da2fMichal Zidek # error handler for parsing problems
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek # this exception is not being used so far
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek def error(string)
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek raise ParseException, 'cannot parse: ' + string
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek def callback(name, args)
9cb46bc62f22e0104f1b41a423b014c281ef5fc2Jakub Hrozek block = @callbacks[name]
4cae8609b513c267af11c0409bfe1d17d3a5da2fMichal Zidek block.call(args) if block