| /ontohub/config/ |
| H A D | environment.rb | 5 Ontohub::Application.initialize!
|
| /ontohub/app/viewhelpers/ |
| H A D | viewhelper_base.rb | 4 def initialize(view) method in class:ViewhelperBase
|
| H A D | logic_viewhelper.rb | 5 def initialize(resource) method in class:LogicViewhelper
|
| /ontohub/app/models/ |
| H A D | commit_reference.rb | 8 def initialize(id) method in class:CommitReference
|
| H A D | axiom_selection.rb | 14 def initialize(*args) method in class:AxiomSelection
|
| /ontohub/lib/uri_fetcher/ |
| H A D | base_error_handler.rb | 5 def initialize(http_caller) method in class:UriFetcher.BaseErrorHandler
|
| H A D | errors.rb | 13 def initialize(msg=DEFAULT_MSG, last_response: nil) method in class:UriFetcher.Errors.UnfollowableResponseError
24 def initialize(msg=DEFAULT_MSG, last_response: nil) method in class:UriFetcher.Errors.TooManyRedirectionsError
37 def initialize(msg=nil, response: nil, status_code: nil) method in class:UriFetcher.Errors.UnexpectedStatusCodeError
|
| /ontohub/lib/ |
| H A D | file_retriever.rb | 9 def initialize(store_as: :tempfile) method in class:FileRetriever
|
| H A D | ontology_version_options.rb | 4 def initialize(filepath, pusher, fast_parse: false, previous_filepath: nil) method in class:OntologyVersionOptions
|
| H A D | autocomplete.rb | 15 def initialize method in class:Autocomplete
|
| H A D | language_population.rb | 12 def initialize(store) method in class:LanguagePopulation
|
| H A D | logic_population.rb | 9 def initialize(store) method in class:LogicPopulation
|
| H A D | subprocess.rb | 7 def initialize(args, status, output) method in class:Subprocess.Error
|
| H A D | iri_url_builder.rb | 11 def initialize(resource) method in class:IRIUrlBuilder.Builder
|
| H A D | proof_evaluation_state_updater.rb | 6 def initialize(proof_attempt, state, message = nil) method in class:ProofEvaluationStateUpdater
|
| H A D | proof_execution.rb | 7 def initialize(proof_attempt) method in class:ProofExecution
|
| /ontohub/lib/hets/ |
| H A D | action_caller.rb | 5 def initialize(hets_instance, hets_options) method in class:Hets.ActionCaller
|
| H A D | hets_options.rb | 9 def initialize(opts = {}) method in class:Hets.HetsOptions
|
| H A D | hets_error_process.rb | 10 def initialize(error) method in class:Hets.HetsErrorProcess
|
| /ontohub/lib/parsing_callback/ |
| H A D | generic_callback.rb | 7 def initialize(ontology) method in class:ParsingCallback.GenericCallback
|
| /ontohub/lib/hets/dg/ |
| H A D | parser.rb | 6 def initialize(resource) method in class:Hets.DG.Parser
|
| /ontohub/lib/hets/provers/ |
| H A D | importer.rb | 8 def initialize(ontology_version, io) method in class:Hets.Provers.Importer
|
| /ontohub/config/initializers/ |
| H A D | redis_pool.rb | 10 def initialize(options = {}) method in class:Ontohub.RedisConnection.Pool
33 def initialize(pool) method in class:Ontohub.RedisConnection.Pool.Wrapper
|
| /ontohub/spec/support/ |
| H A D | documentation_progress_formatter.rb | 6 def initialize(output) method in class:DocumentationProgressFormatter
|
| /ontohub/lib/hets/prove/ |
| H A D | szs_parser.rb | 6 def initialize(prover, output) method in class:Hets.Prove.SZSParser
|