class Boleite::StateStack

Included Modules

Defined in:

boleite/state_stack.cr

Constructors

Instance Method Summary

Macro Summary

Constructor Detail

def self.new #

[View source]

Instance Method Detail

def clear #

[View source]
def contract_ensures_pop(return_value) #

[View source]
def contract_ensures_push(return_value, state : State) #

[View source]
def contract_ensures_replace(return_value, state : State) #

[View source]
def contract_ensures_top(return_value) #

[View source]
def contract_post_pop(check_depth, return_value) #

[View source]
def contract_post_push(check_depth, return_value, state : State) #

[View source]
def contract_post_replace(check_depth, return_value, state : State) #

[View source]
def contract_post_top(check_depth, return_value) #

[View source]
def contract_pre_pop(check_depth) #

[View source]
def contract_pre_push(check_depth, state : State) #

[View source]
def contract_pre_replace(check_depth, state : State) #

[View source]
def contract_pre_top(check_depth) #

[View source]
def contract_requires_pop #

[View source]
def contract_requires_push(state : State) #

[View source]
def contract_requires_replace(state : State) #

[View source]
def contract_requires_top #

[View source]
def empty? #

[View source]
def pop #

[View source]
def push(state : State) #

[View source]
def replace(state : State) #

[View source]
def test_invariant_contracts(method = "") #

[View source]
def top #

[View source]

Macro Detail

macro assert(test) #

[View source]
macro ensures(test) #

[View source]
macro invariant(test) #

[View source]
macro requires(test) #

[View source]