Table of Contents - pushdown-0.3.0 Documentation
Classes and Modules
- Pushdown
- Pushdown::Automaton
- Pushdown::Automaton::InstanceMethods
- Pushdown::SpecHelpers
- Pushdown::SpecHelpers::StateTransitionMatcher
- Pushdown::State
- Pushdown::Transition
- Pushdown::Transition::Pop
- Pushdown::Transition::Push
- Pushdown::Transition::Replace
- Pushdown::Transition::Switch
Methods
- ::extended — Pushdown::Automaton
- ::generate_event_method — Pushdown::Automaton
- ::generate_initial_state_method — Pushdown::Automaton
- ::generate_shadow_update_method — Pushdown::Automaton
- ::generate_state_method — Pushdown::Automaton
- ::generate_update_method — Pushdown::Automaton
- ::inherited — Pushdown::State
- ::inherited — Pushdown::Transition
- ::install_state_methods — Pushdown::Automaton
- ::new — Pushdown::SpecHelpers::StateTransitionMatcher
- ::new — Pushdown::State
- ::new — Pushdown::Transition
- ::new — Pushdown::Transition::Push
- ::new — Pushdown::Transition::Replace
- ::new — Pushdown::Transition::Switch
- ::new — Pushdown::Automaton::InstanceMethods
- ::register_transition — Pushdown::State
- ::type_name — Pushdown::State
- #apply — Pushdown::Transition
- #apply — Pushdown::Transition::Pop
- #apply — Pushdown::Transition::Push
- #apply — Pushdown::Transition::Replace
- #apply — Pushdown::Transition::Switch
- #correct_target_state? — Pushdown::SpecHelpers::StateTransitionMatcher
- #correct_transition_type? — Pushdown::SpecHelpers::StateTransitionMatcher
- #describe_additional_expectations — Pushdown::SpecHelpers::StateTransitionMatcher
- #describe_failure — Pushdown::SpecHelpers::StateTransitionMatcher
- #describe_negated_failure — Pushdown::SpecHelpers::StateTransitionMatcher
- #description — Pushdown::State
- #failure_message — Pushdown::SpecHelpers::StateTransitionMatcher
- #failure_message_when_negated — Pushdown::SpecHelpers::StateTransitionMatcher
- #handle_pushdown_result — Pushdown::Automaton::InstanceMethods
- #matches? — Pushdown::SpecHelpers::StateTransitionMatcher
- #matches_additional_expectations? — Pushdown::SpecHelpers::StateTransitionMatcher
- #on_an_event — Pushdown::SpecHelpers::StateTransitionMatcher
- #on_event — Pushdown::SpecHelpers::StateTransitionMatcher
- #on_event — Pushdown::State
- #on_pause — Pushdown::State
- #on_resume — Pushdown::State
- #on_start — Pushdown::State
- #on_stop — Pushdown::State
- #on_update — Pushdown::SpecHelpers::StateTransitionMatcher
- #pushdown_inferred_state_class — Pushdown::Automaton
- #pushdown_pluggable_state_class — Pushdown::Automaton
- #pushdown_state — Pushdown::Automaton
- #pushdown_state_class — Pushdown::Automaton
- #shadow_update — Pushdown::State
- #to — Pushdown::SpecHelpers::StateTransitionMatcher
- #to_state — Pushdown::SpecHelpers::StateTransitionMatcher
- #transition — Pushdown::State
- #transition — Pushdown::SpecHelpers
- #type_name — Pushdown::State
- #type_name — Pushdown::Transition
- #unknown — Pushdown::State
- #update — Pushdown::State
- #update_ran_without_error? — Pushdown::SpecHelpers::StateTransitionMatcher
- #update_returned_transition? — Pushdown::SpecHelpers::StateTransitionMatcher
- #via — Pushdown::SpecHelpers::StateTransitionMatcher
- #via_transition_type — Pushdown::SpecHelpers::StateTransitionMatcher