class Boleite::StateStack
- Boleite::StateStack
- Reference
- Object
Included Modules
- CrystalClear
Defined in:
boleite/state_stack.crConstructors
Instance Method Summary
- #clear
- #contract_ensures_pop(return_value)
- #contract_ensures_push(return_value, state : State)
- #contract_ensures_replace(return_value, state : State)
- #contract_ensures_top(return_value)
- #contract_post_pop(check_depth, return_value)
- #contract_post_push(check_depth, return_value, state : State)
- #contract_post_replace(check_depth, return_value, state : State)
- #contract_post_top(check_depth, return_value)
- #contract_pre_pop(check_depth)
- #contract_pre_push(check_depth, state : State)
- #contract_pre_replace(check_depth, state : State)
- #contract_pre_top(check_depth)
- #contract_requires_pop
- #contract_requires_push(state : State)
- #contract_requires_replace(state : State)
- #contract_requires_top
- #empty?
- #pop
- #push(state : State)
- #replace(state : State)
- #test_invariant_contracts(method = "")
- #top