Searched refs:call_back (Results 1 - 3 of 3) sorted by relevance
| /ontohub/lib/hets/dg/ |
| H A D | nokogiri_listener.rb | 41 def call_back(element_name, order, *args) method in class:Hets.DG.NokogiriListener
53 call_back(:root, order, Hash[*[attributes]])
55 call_back(:ontology, order, Hash[*[attributes]])
57 call_back(:import, order, Hash[*[attributes]])
112 call_back(:ontology, order, @current_ontology)
127 call_back(:symbol, order, @current_symbol) if perform_callback
142 call_back(:imported_axiom, order, @current_axiom)
144 call_back(:axiom, order, @current_axiom)
151 call_back(:theorem, order, @current_theorem) if @in_theorems
156 call_back(
[all...] |
| /ontohub/lib/hets/prove/ |
| H A D | parser.rb | 24 call_back(:set_object_value, :start, value, key)
26 call_back(:add_array_value, :start, value)
35 call_back(branch.downcase, order, *args)
|
| /ontohub/lib/hets/ |
| H A D | json_parser.rb | 36 def call_back(key_name, order, *args) method in class:Hets.JSONParser
58 call_back(:document, :start)
62 call_back(:document, :end)
|
Completed in 16 milliseconds