Exception: Protocol::PostconditionCheckError

Inherits:

BaseCheckError

• Object
• StandardError
• ProtocolError
• BaseCheckError
• Protocol::PostconditionCheckError

Defined in:

lib/protocol/errors.rb

Overview

This exception is raised if a postcondition check failed (the yielded block returned a non-true value) in a protocol description.

Instance Attribute Summary

Attributes inherited from BaseCheckError

#protocol_message

Method Summary

Methods inherited from BaseCheckError

#initialize, #inspect, #to_s

Constructor Details

This class inherits a constructor from Protocol::BaseCheckError