xref: /Universal-ctags/Units/parser-ttcn.r/ttcn-altstep.d/input.ttcn (revision bdbdf3431240d91d63f7c45185153d7f32ab1670)

module Altsteps
{

    altstep alt_guard () runs on CoffeeMachine
    {
        [] guard.timeout { setverdict( fail ) }
    }

    altstep alt_catchAnything ()
        runs on CoffeeMachine
    {
        [] CoffeePort.receive(?) {
        setverdict( fail )
        }
    }

    function activateAltsteps ()
        runs on CoffeeMachine
    {
      activate(alt_guard())
      activate(alt_catchAnything())
    }

}