Exception: PgVerify::NuSMV::RawNuSMVError

Inherits:
Core::Error
  • Object
show all
Defined in:
lib/pg-verify/nusmv/nusmv.rb

Instance Method Summary collapse

Methods inherited from Core::Error

#to_formatted

Constructor Details

#initialize(cmd, out, err, status, file) ⇒ RawNuSMVError

Returns a new instance of RawNuSMVError.



8
9
10
 
# File 'lib/pg-verify/nusmv/nusmv.rb', line 8

def initialize(cmd, out, err, status, file)
    @cmd, @out, @err, @status, @file = cmd, out, err, status, file
end

Instance Method Details

#formatted ⇒ Object 



12
13
14
15
16
17
18
19
 
# File 'lib/pg-verify/nusmv/nusmv.rb', line 12

def formatted()
    title = "Execution of NuSMV exited with #{@status}"

    body  = "The exact command was\n#{@cmd.c_string}\n\n"
    body += "#{@out}\n#{@err}"
    
    return title, body
end