uk.ac.sheffield.vtts.model

Class Warning

java.lang.Object

uk.ac.sheffield.vtts.model.Element

uk.ac.sheffield.vtts.model.Notice

uk.ac.sheffield.vtts.model.Warning

public class Warning
extends Notice

Warning is a kind of Notice indicating a fault in the associated model. A Warning behaves exactly like a Notice, but is differently named to flag a more serious condition in the model. A Warning may be used to notify a lack of correspondence, a lack of completeness, or failure to cover all states and transitions. A Warning indicates some serious condition which the user should address in the model specification.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

Fields inherited from class uk.ac.sheffield.vtts.model.Notice

elements, notices, text

Constructor Summary

Constructors

Constructor and Description
Warning() Creates an empty Warning.
Warning(java.lang.String message) Creates a Warning with the given message.

Method Summary

Methods inherited from class uk.ac.sheffield.vtts.model.Notice

addElement, addNotice, getElements, getNotices, getText, setText

Methods inherited from class uk.ac.sheffield.vtts.model.Element

safeEquals, safeHashCode, semanticError

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Warning

public Warning()

Creates an empty Warning.

Warning

public Warning(java.lang.String message)

Creates a Warning with the given message.

Parameters:

message - the message.