Contracts for SM

Contracts for Structured Matcher operations

**Contract**
Name:	addQuestion()
Responsibilities:	Specify a question that a simple matcher can ask, and associating it to the matcher.
Type:	Build sub-operation
Cross References:	2.5.1
Notes:	Use Swing
Exceptions:	If invalid question or duplicate specified, re-input.
Output:
Pre-conditions:
Post-conditions:

An instance of question was created. ( instance creation )
The question was stored in Questions collection. ( association formed )
A column was created with the number of cells equal to the number of rows in the simple matcher. ( instance creation )
Question was associated with just created column. ( association formed )
The cells of the column were filled with the Don't Care conditions . ( attribute modification )

**Contract**
Name:	addRow()
Responsibilities:	adds a row to the simple matcher.
Type:	Build sub-operation
Cross References:	2.5.1
Notes:	Use Swing
Exceptions:
Output:
Pre-conditions:
Post-conditions:

The row was created with the number of cells equal to the number of columns in the simple matcher. ( instance creation )
The cells of the row were filled the Don't Care condition and a NEUTRAL result for the Result column. ( attribute modification )

**Contract**
Name:	addSimpleMatcher( name : string )
Responsibilities:	Add a simple matcher node to the structure matcher tree, and giving it the name
Type:	Build sub-operation
Cross References:	1.1
Notes:	Use Swing
Exceptions:
Output:
Pre-conditions:	A structure matcher must be selected to add the simple matcher to
Post-conditions:

A simple matcher ( the child ) was created ( instance creation )
The simple matcher was given the name ( attribute modification )
A column was added to the parent simple matcher ( instance creation )
The column was associated with child simple matcher ( association formed )
The new column's cell values in the parent were set to DON'T CARE ( attribute modification )
A results column was added to the child simple matcher ( instance creation )
A row was added to the child simple matcher ( instance creation )
The cell in the child simple matcher was set to NEUTRAL ( attribute modification )

**Contract**
Name:	editCell()
Responsibilities:	Change the value of a cell in a simple matcher.
Type:	Build sub-operation
Cross References:	2.5.4
Notes:	Pops up a dialog to retrieve infromation from the expert. Use Swing
Exceptions:
Output:
Pre-conditions:
Post-conditions:

Matching condition in the cell was modified to the values retrieved. ( attribute modification )