Uses of Class nz.ac.waikato.modeljunit.Action (ModelJUnit 2.0-SNAPSHOT API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Uses of Class
nz.ac.waikato.modeljunit.Action

Packages that use Action
nz.ac.waikato.modeljunit.examples	Examples of Using ModelJUnit
nz.ac.waikato.modeljunit.examples.ecinema
nz.ac.waikato.modeljunit.examples.gsm

Uses of Action in nz.ac.waikato.modeljunit.examples

Methods in nz.ac.waikato.modeljunit.examples with annotations of type Action
`void`	`FSM.action0()`
`void`	`SpecialFSMNoLoops.action0()`
`void`	`SpecialFSM.action0()`
`void`	`FSM.action1()`
`void`	`SpecialFSMNoLoops.action1()`
`void`	`SpecialFSM.action1()`
`void`	`SpecialFSMNoLoops.action10()`
`void`	`SpecialFSM.action10()`
`void`	`SpecialFSMNoLoops.action11()`
`void`	`SpecialFSM.action11()`
`void`	`SpecialFSMNoLoops.action12()`
`void`	`SpecialFSM.action12()`
`void`	`SpecialFSMNoLoops.action13()`
`void`	`SpecialFSM.action13()`
`void`	`SpecialFSMNoLoops.action14()`
`void`	`SpecialFSM.action14()`
`void`	`SpecialFSMNoLoops.action15()`
`void`	`SpecialFSM.action15()`
`void`	`SpecialFSMNoLoops.action16()`
`void`	`SpecialFSM.action16()`
`void`	`SpecialFSMNoLoops.action17()`
`void`	`SpecialFSM.action17()`
`void`	`SpecialFSMNoLoops.action18()`
`void`	`SpecialFSM.action18()`
`void`	`SpecialFSMNoLoops.action19()`
`void`	`SpecialFSM.action19()`
`void`	`FSM.action2()`
`void`	`SpecialFSMNoLoops.action2()`
`void`	`SpecialFSM.action2()`
`void`	`SpecialFSMNoLoops.action20()`
`void`	`SpecialFSM.action20()`
`void`	`SpecialFSMNoLoops.action3()`
`void`	`SpecialFSM.action3()`
`void`	`SpecialFSMNoLoops.action4()`
`void`	`SpecialFSM.action4()`
`void`	`SpecialFSMNoLoops.action5()`
`void`	`SpecialFSM.action5()`
`void`	`SpecialFSMNoLoops.action6()`
`void`	`SpecialFSM.action6()`
`void`	`SpecialFSMNoLoops.action7()`
`void`	`SpecialFSM.action7()`
`void`	`SpecialFSMNoLoops.action8()`
`void`	`SpecialFSM.action8()`
`void`	`SpecialFSMNoLoops.action9()`
`void`	`SpecialFSM.action9()`
`void`	`FSM.actionNone()`
`void`	`LargeSet.add0()`
`void`	`LargeSet.add1()`
`void`	`LargeSet.add10()`
`void`	`LargeSet.add11()`
`void`	`LargeSet.add12()`
`void`	`LargeSet.add2()`
`void`	`LargeSet.add3()`
`void`	`LargeSet.add4()`
`void`	`LargeSet.add5()`
`void`	`LargeSet.add6()`
`void`	`LargeSet.add7()`
`void`	`LargeSet.add8()`
`void`	`LargeSet.add9()`
`void`	`SmartSetAdaptor.addS1()`
`void`	`SimpleSetWithAdaptor.addS1()`
`void`	`SimpleSet.addS1()`
`void`	`SmartSetAdaptor.addS2()`
`void`	`SimpleSetWithAdaptor.addS2()`
`void`	`SimpleSet.addS2()`
`void`	`AlarmClock.alarmOff()`
`void`	`AlarmClock.alarmOn()`
`void`	`TrafficLight.allowCars()`
`void`	`TrafficLight.allowPedestrians()`
`void`	`QuiDonc.bad()`
`void`	`AlarmClock.cancelAlarm()`
`void`	`LargeSet.del0()`
`void`	`LargeSet.del1()`
`void`	`LargeSet.del10()`
`void`	`LargeSet.del11()`
`void`	`LargeSet.del12()`
`void`	`LargeSet.del2()`
`void`	`LargeSet.del3()`
`void`	`LargeSet.del4()`
`void`	`LargeSet.del5()`
`void`	`LargeSet.del6()`
`void`	`LargeSet.del7()`
`void`	`LargeSet.del8()`
`void`	`LargeSet.del9()`
`void`	`QuiDonc.dial()`
`void`	`TrafficLight.finishPedestrianPeriod()`
`void`	`QuiDonc.key1()`
`void`	`QuiDonc.key2()`
`void`	`TrafficLight.minimumWaitElapsed()`
`void`	`QuiDonc.num1()`
`void`	`QuiDonc.num18()`
`void`	`QuiDonc.num2()`
`void`	`TrafficLight.pedestrianArrive()` Action for pedestrians arriving at the crossing.
`void`	`SmartSetAdaptor.removeS1()`
`void`	`SimpleSetWithAdaptor.removeS1()`
`void`	`SimpleSet.removeS1()`
`void`	`SmartSetAdaptor.removeS2()`
`void`	`SimpleSetWithAdaptor.removeS2()`
`void`	`SimpleSet.removeS2()`
`void`	`AlarmClock.setAlarm()`
`void`	`QuiDonc.star()`
`void`	`QuiDonc.wait_()` We call this wait_, to avoid a clash with Java's Object.wait().

Uses of Action in nz.ac.waikato.modeljunit.examples.ecinema

Methods in nz.ac.waikato.modeljunit.examples.ecinema with annotations of type Action
`void`	`ECinema.back()`
`void`	`ECinema.buyTicketShow1()`
`void`	`ECinema.buyTicketShow2()`
`void`	`ECinema.close()`
`void`	`ECinema.deleteAllTicketsShow1()`
`void`	`ECinema.deleteAllTicketsShow2()`
`void`	`ECinema.deleteTicketShow1()`
`void`	`ECinema.deleteTicketShow2()`
`void`	`ECinema.displayTickets()`
`void`	`ECinema.gotoRegister()`
`void`	`ECinema.loginAmandineEmpty()`
`void`	`ECinema.loginAmandineOk()`
`void`	`ECinema.loginEmpty()`
`void`	`ECinema.loginEricBad()`
`void`	`ECinema.loginEricOk()`
`void`	`ECinema.logout()`
`void`	`ECinema.registerAmandine()`
`void`	`ECinema.registerEmpty()`
`void`	`ECinema.registerEric()`

Uses of Action in nz.ac.waikato.modeljunit.examples.gsm

Methods in nz.ac.waikato.modeljunit.examples.gsm with annotations of type Action
`void`	`SimCard.changePinNew()`
`void`	`SimCard.changePinSame()`
`void`	`SimCard.disablePINGood()`
`void`	`SimCard.enablePIN11()`
`void`	`SimCard.Read_Binary()`
`void`	`SimCard.selectDF_Gsm()`
`void`	`SimCard.selectDF_Roaming()`
`void`	`SimCard.selectEF_FR()`
`void`	`SimCard.selectEF_IMSI()`
`void`	`SimCard.selectEF_LP()`
`void`	`SimCard.selectMF()`
`void`	`SimCard.unblockPINBad()`
`void`	`SimCard.unblockPINGood12()`
`void`	`SimCard.verifyPIN11()`
`void`	`SimCard.verifyPIN12()`

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Uses of Classnz.ac.waikato.modeljunit.Action

Uses of Class
nz.ac.waikato.modeljunit.Action