public class NearUncoverChooser extends EfsmTransitionChooser
Efsm
and
EfsmTransitionCoverage
.Constructor and Description |
---|
NearUncoverChooser(Efsm efsm,
EfsmTransitionCoverage coverage)
Creates a new NearUncoverChooser for the specified EFSM and its coverage.
|
Modifier and Type | Method and Description |
---|---|
EfsmTransition |
chooseNext()
Chooses and returns a transition for traversing.
|
boolean |
hasNext()
Checks if there is at least one non-chosen transition now.
|
public NearUncoverChooser(Efsm efsm, EfsmTransitionCoverage coverage)
efsm
- the EFSMcoverage
- the test coverage of the EFSMpublic EfsmTransition chooseNext()
chooseNext
in class EfsmTransitionChooser
null
is returned if all choosable
transitions were chosen or there are no choosable transitions at allpublic boolean hasNext()
EfsmTransitionChooser
hasNext
in class EfsmTransitionChooser
true
if there is at least one non-chosen transition,
otherwise returns false