Mining Finite-State Automata with Annotations - Mining Software Specifications: Methodologies and Applications - page 35

Trace 1
bookFlight
persons=7
from=MXP
to=NYC
depDate= 03/18/10
retDate= 04/02/10

!getCompaniesIterator
return=Iterator

!hasNext
return=true

!hasNext
return=true

!next
return.name
=\KLM"

!getAvailableFlights
persons=7

!iterator
return=Iterator

!hasNext
return=true

!next
return.availSeats=8
return.flightNo=KL1017

!add
object.availSeats=8
object.flightNo=KL1017

!getAvailableSeats
return=8

!hasNext
return=false

!hasNext
return=false

!size
return=1

!ndBestSolution
allInOne=List
return.seats=7

!book
solution.seats=7

Trace 2
bookFlight
persons=4
from=BGY
to=JFK
depDate= 03/22/10
retDate= 03/31/10

!getCompaniesIterator
return=Iterator

!hasNext
return=true

!hasNext
return=true

!next
return.name
=\Ryanair"

!next
return.availSeats=9
return.flightNo=KL1027

!getAvailableFlights
persons=4

!iterator
return=Iterator

!hasNext
return=true

!add
object.availSeats=9
object.flightNo=KL1027

!getAvailableSeats
return=9

!hasNext
return=false

!hasNext
return=false

!size
return=1

!ndBestSolution
allInOne=List
return.seats=4

!book
solution.seats=4

Trace 3
bookFlight
persons=10
from=BGY
to=JFK
depDate= 03/22/10
retDate= 03/31/10

!getCompaniesIterator
return=Iterator

!hasNext
return=true

!hasNext
return=true

!next
return.name
=\KLM"

!next
return.availSeats=4
return.flightNo=KL1022

!getAvailableFlights
persons=10

!iterator
return=Iterator

!hasNext
return=true

!add
object.availSeats=4
object.flightNo=KL1022

!next
return.availSeats=7
return.flightNo=KL1028

!getAvailableSeats
return=4

!hasNext
return=true

!add
object.availSeats=7
object.flightNo=KL1028

!next
return.availSeats=5
return.flightNo=KL1058

!getAvailableSeats
return=7

!hasNext
return=true

!add
object.availSeats=5
object.flightNo=KL1058

!getAvailableSeats
return=5

!hasNext
return=false

!hasNext
return=false

!size
return=0

!ndCompositeSolution
allInOne=List
return.seats=10

!book
solution.seats=10

Trace 4
bookFlight
persons=6
from=BDS
to=CIA
depDate= 03/16/10
retDate= 03/20/10

!getCompaniesIterator
return=Iterator

!hasNext
return=true

!congurationError

FIGURE 2.2: Traces of the execution of method bookFlight .