Uses of Class
uk.ac.sheffield.vtts.model.Warning

Packages that use Warning

Package	Description
uk.ac.sheffield.vtts.model	This package contains Broker@Cloud components for modelling service specifications and test suites, and for modelling expressions in the formal expression language.

Uses of Warning in uk.ac.sheffield.vtts.model

Methods in uk.ac.sheffield.vtts.model that return Warning

Modifier and Type	Method and Description
protected Warning	Machine.checkDifference(Notice topInfo, Alphabet difference) Checks the difference between the Protocol alphabet and the Machine alphabet.
protected Warning	Protocol.checkDifference(Notice topInfo, Alphabet difference) Checks the difference between the Machine alphabet and the Protocol alphabet.
protected Warning	Machine.checkInitialState(Notice topInfo) Checks that this Machine has an initial State.
Warning	Machine.checkStateCoverage(Notice topInfo) Checks the coverage of States after simulating this Machine to find the state cover.
protected Warning	Machine.checkTargetStates(Notice topInfo) Checks that the Transitions of this Machine refer to properly-named target States.
Warning	Machine.checkTransitionCoverage(Notice topInfo) Checks the coverage of Transitions after simulating this Machine with a Language of a given maximum size.