Searched refs:hets_options (Results 1 - 8 of 8) sorted by relevance

/ontohub/lib/hets/
H A Daction_caller.rb3 attr_accessor :hets_options
5 def initialize(hets_instance, hets_options)
6 self.hets_options = hets_options
13 hets_options.options
H A Dhets_options.rb20 def merge!(hets_options)
21 add(hets_options.options)
H A Dprove_caller.rb13 perform(api_uri, PROVE_OPTIONS.merge(hets_options.options), METHOD)
/ontohub/spec/lib/hets/
H A Dhets_options_spec.rb31 let(:hets_options) { Hets::HetsOptions.new(options) }
35 hets_options.add(additional_options)
36 expect(hets_options.options).to eq(options.merge(additional_options))
41 hets_options.add(additional_options_new)
42 expect(hets_options.options).to eq(options.merge(additional_options))
49 let(:hets_options) { Hets::HetsOptions.new(access_token_options) }
52 expect(hets_options.options.has_key?(:'access-token')).to be(false)
59 let(:hets_options) { Hets::HetsOptions.new(access_token_options) }
62 expect(hets_options.options[:'access-token']).to eq(access_token.to_s)
70 let(:hets_options) { Het
[all...]
/ontohub/app/models/ontology/
H A Dhets_options.rb8 def hets_options method in class:Ontology
/ontohub/app/models/ontology_version/
H A Dparsing.rb36 input_io = Hets.parse_via_api(ontology, ontology.hets_options,
60 hets_options = Hets::ProversOptions.new(**ontology.hets_options.options,
62 provers_io = Hets.provers_via_api(ontology, hets_options)
/ontohub/app/models/
H A Dtheorem.rb38 hets_options = ontology.hets_options
39 Hets::ProveOptions.new(**hets_options.options,
/ontohub/lib/
H A Dhets.rb23 def self.parse_via_api(resource, hets_options, structure_only: false)
26 parse_caller = Hets::ParseCaller.new(hets_instance, hets_options)

Completed in 51 milliseconds