Module: PgVerify

Defined in:
lib/pg-verify.rb,
lib/pg-verify/cli/cli.rb,
lib/pg-verify/version.rb,
lib/pg-verify/core/core.rb,
lib/pg-verify/core/util.rb,
lib/pg-verify/puml/puml.rb,
lib/pg-verify/model/dcca.rb,
lib/pg-verify/model/graph.rb,
lib/pg-verify/model/model.rb,
lib/pg-verify/nusmv/nusmv.rb,
lib/pg-verify/shell/shell.rb,
lib/pg-verify/nusmv/runner.rb,
lib/pg-verify/cli/cli_utils.rb,
lib/pg-verify/doctor/doctor.rb,
lib/pg-verify/model/variable.rb,
lib/pg-verify/core/cmd_runner.rb,
lib/pg-verify/ebnf_parser/ast.rb,
lib/pg-verify/model/component.rb,
lib/pg-verify/model/assignment.rb,
lib/pg-verify/model/expression.rb,
lib/pg-verify/model/specs/spec.rb,
lib/pg-verify/model/transition.rb,
lib/pg-verify/simulation/state.rb,
lib/pg-verify/model/dcca/hazard.rb,
lib/pg-verify/model/variable_set.rb,
lib/pg-verify/interpret/interpret.rb,
lib/pg-verify/interpret/pg_script.rb,
lib/pg-verify/transform/transform.rb,
lib/pg-verify/core/shell/colorizer.rb,
lib/pg-verify/model/allocation_set.rb,
lib/pg-verify/model/specs/spec_set.rb,
lib/pg-verify/simulation/simulator.rb,
lib/pg-verify/model/source_location.rb,
lib/pg-verify/simulation/simulation.rb,
lib/pg-verify/model/simulation/trace.rb,
lib/pg-verify/ebnf_parser/ebnf_parser.rb,
lib/pg-verify/interpret/graph_context.rb,
lib/pg-verify/model/parsed_expression.rb,
lib/pg-verify/model/specs/spec_result.rb,
lib/pg-verify/model/validation/errors.rb,
lib/pg-verify/ebnf_parser/parser_result.rb,
lib/pg-verify/model/specs/specification.rb,
lib/pg-verify/interpret/spec/ltl_builder.rb,
lib/pg-verify/shell/loading/no_animation.rb,
lib/pg-verify/interpret/component_context.rb,
lib/pg-verify/interpret/spec/spec_context.rb,
lib/pg-verify/model/validation/validation.rb,
lib/pg-verify/interpret/transition_context.rb,
lib/pg-verify/shell/loading/line_animation.rb,
lib/pg-verify/shell/loading/loading_prompt.rb,
lib/pg-verify/ebnf_parser/expression_parser.rb,
lib/pg-verify/transform/hash_transformation.rb,
lib/pg-verify/transform/puml_transformation.rb,
lib/pg-verify/ebnf_parser/expression_parser2.rb,
lib/pg-verify/transform/nusmv_transformation.rb,
lib/pg-verify/interpret/spec/spec_set_context.rb,
lib/pg-verify/model/simulation/variable_state.rb,
lib/pg-verify/shell/loading/loading_animation.rb,
lib/pg-verify/model/validation/unknown_token_validation.rb,
lib/pg-verify/model/validation/empty_state_set_validation.rb,
lib/pg-verify/model/validation/foreign_assignment_validation.rb,
lib/pg-verify/model/validation/assignment_to_state_variable_validation.rb

Defined Under Namespace

Modules: Cli, Colorizer, Core, Doctor, EbnfParser, Interpret, Model, NuSMV, Puml, Shell, Simulation, TimeUtil, Transform Classes: CliUtils, NoDefaultFileError, NoSuchFileError, StringUtil

Constant Summary collapse

VERSION = 
"0.1.2"

Class Method Summary collapse

Class Method Details

.addon_dir ⇒ Object 



35
36
37
 
# File 'lib/pg-verify.rb', line 35

def self.addon_dir()
    File.expand_path("addon", Dir.pwd)
end

.init ⇒ Object 



20
21
22
23
24
25
26
27
28
29
 
# File 'lib/pg-verify.rb', line 20

def self.init()
    config_paths = []
    config_paths << File.expand_path('data/config/pg-verify.yml', self.root)
    config_paths << File.expand_path('.pg-verify.yml', Dir.home)
    config_paths << File.expand_path('.pg-verify.yml', Dir.pwd)
    config_paths.select! { |path| File.file?(path) }
    Config.load_and_set_settings(*config_paths)

    Colorizer.attach(Settings.theme.to_h)
end

.root ⇒ Object 



31
32
33
 
# File 'lib/pg-verify.rb', line 31

def self.root()
    File.expand_path(File.join(__dir__, ".."))
end

.tmp_file(relative_path) ⇒ Object 



39
40
41
42
43
 
# File 'lib/pg-verify.rb', line 39

def self.tmp_file(relative_path)
    path = File.expand_path(relative_path, Settings.workdir)
    FileUtils.mkdir_p(File.dirname(path))
    return path
end