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

Packages that use Notice

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 Notice in uk.ac.sheffield.vtts.model

Subclasses of Notice in uk.ac.sheffield.vtts.model

Modifier and Type	Class and Description
class	Analysis Analysis is a kind of Notice analysing a property of the associated model.
class	Warning Warning is a kind of Notice indicating a fault in the associated model.

Fields in uk.ac.sheffield.vtts.model declared as Notice

Modifier and Type	Field and Description
protected Notice	Annotated.notice The Notice attached to this Annotated object, typically a Warning or Analysis node.

Fields in uk.ac.sheffield.vtts.model with type parameters of type Notice

Modifier and Type	Field and Description
protected java.util.List<Notice>	Notice.notices The Annotations attached to this Notice.

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

Modifier and Type	Method and Description
Notice	Notice.addElement(Element element) Adds a model Element to the list described by this Notice.
Notice	Notice.addNotice(Notice note) Adds a subsidiary Notice to this Notice node.
Notice	State.checkCompleteness(Notice topInfo, Alphabet alphabet) Checks the completeness of this State with respect to an Alphabet.
Notice	Annotated.getNotice() Returns the Notice attached to this Annotated element.
Notice	Notice.setText(java.lang.String text) Sets the text of this Notice.

Methods in uk.ac.sheffield.vtts.model that return types with arguments of type Notice

Modifier and Type	Method and Description
java.util.List<Notice>	Notice.getNotices() Returns the list of subsidiary Notices under this Notice, if any.

Methods in uk.ac.sheffield.vtts.model with parameters of type Notice

Modifier and Type	Method and Description
Notice	Notice.addNotice(Notice note) Adds a subsidiary Notice to this Notice node.
Annotated	Annotated.addNotice(Notice notice) Attaches the Notice to this Annotated element.
protected void	Service.analyseCoverage(Notice topInfo) Checks whether all the States and Transitions were covered by the generated TestSuite and adds suitable Warning nodes if any States, or Transitions, were not covered by the TestSuite.
protected void	Operation.checkBindings(Notice topInfo, Notice opInfo) Checks that the Input values of this Operation are bound to some suggested values in the Binding clause.
Operation	Operation.checkCompleteness(Notice topInfo) Checks this Operation for completeness under all memory and input conditions.
Memory	Memory.checkCompleteness(Notice topInfo) Checks the completeness of this Memory.
Notice	State.checkCompleteness(Notice topInfo, Alphabet alphabet) Checks the completeness of this State with respect to an Alphabet.
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.
protected java.util.Set<Predicate>	Operation.getPartitions(Notice opInfo) Returns the possible symbolic input partitions for this Operation.