<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<title>Z3 widgets</title>
</head>

<style>
.tableodd {
        color: #000000;
        background-color: #FFFFCC;
        text-align: left;
}
.tableeven {
        color: #000000;
        background-color: #CCCCCC;
        text-align: left;
}

</style>

<body>
<table border="1" cellpadding="0" cellspacing="0">
  <col width="76" />
  <col width="16" />
  <col width="151" />
  <col width="152" />
  <col width="192" />
  <col width="117" />
  <col width="162" />
  <col width="194" />
  <col width="148" />
  <tr>
    <td>&nbsp;</td>
    <td>&nbsp;</td>
    <td colspan="7"><div align="center">C*</div></td>
  </tr>
  <tr>
    <td>A*</td>
    <td>B*</td>
    <td>none</td>
    <td>IField</td>
    <td>IChoice</td>
    <td>IBaseVocabulary</td>
    <td>IVocabularyTokenized</td>
    <td>ISource</td>
    <td>IIterableSource</td>
  </tr>
  <tr>
    <td rowspan="2">IField</td>
    <td class="tableodd">D</td>
    <td class="tableodd">DisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IBool</td>
    <td class="tableodd">D</td>
    <td class="tableodd">BooleanDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">CheckBoxWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IBytes</td>
    <td class="tableodd">D</td>
    <td class="tableodd">BytesDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">FileWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IBytesLine</td>
    <td class="tableodd">D</td>
    <td class="tableodd">DisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">BytesWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IASCII</td>
    <td class="tableodd">D</td>
    <td class="tableodd">ASCIIDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">ASCIIAreaWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IASCIILine</td>
    <td class="tableodd">D</td>
    <td class="tableodd">DisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">ASCIIWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IURI</td>
    <td class="tableodd">D</td>
    <td class="tableodd">URIDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IDate</td>
    <td class="tableodd">D</td>
    <td class="tableodd">DateDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">DateWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IDatetime</td>
    <td class="tableodd">D</td>
    <td class="tableodd">DatetimeDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">DatetimeWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">ITextLine</td>
    <td class="tableodd">D</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">TextWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IText</td>
    <td class="tableodd">D</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">TextAreaWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">ISourceText</td>
    <td class="tableodd">D</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">TextAreaWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IInt</td>
    <td class="tableodd">D</td>
    <td class="tableodd">UnicodeDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">IntWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IFloat</td>
    <td class="tableodd">D</td>
    <td class="tableodd">UnicodeDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">FloatWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IPassword</td>
    <td class="tableodd">D</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">PasswordWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IChoice</td>
    <td class="tableodd">D</td>
    <td class="tableodd">ChoiceDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">ItemDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">SourceDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">ChoiceInputWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">DropdownWidget</td>
    <td class="tableeven">SourceInputWidget</td>
    <td class="tableeven">SourceDropdownWidget</td>
  </tr>
  <tr>
    <td rowspan="2">ICollection</td>
    <td class="tableodd">D</td>
    <td class="tableodd">CollectionDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">CollectionInputWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">ISequence</td>
    <td class="tableodd">D</td>
    <td class="tableodd">CollectionDisplayWidget</td>
    <td class="tableodd">SequenceDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">SourceSequenceDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">CollectionInputWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">ITuple</td>
    <td class="tableodd">D</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">ChoiceCollectionDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">TupleSequenceWidget</td>
    <td class="tableeven">ChoiceCollectionInputWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">IList</td>
    <td class="tableodd">D</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">ChoiceCollectionDisplayWidget</td>
    <td class="tableodd">ListDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">ListSequenceWidget</td>
    <td class="tableeven">ChoiceCollectionInputWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">OrderedMultiSelectWidget</td>
    <td class="tableeven">SourceListInputWidget</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
  <tr>
    <td rowspan="2">ISet</td>
    <td class="tableodd">D</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">ChoiceCollectionDisplayWidget</td>
    <td class="tableodd">SetDisplayWidget</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
    <td class="tableodd">&nbsp;</td>
  </tr>
  <tr>
    <td class="tableeven">I</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">ChoiceCollectionInputWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">MultiSelectSetWidget</td>
    <td class="tableeven">&nbsp;</td>
    <td class="tableeven">&nbsp;</td>
  </tr>
</table>

<p>A=for_ first interface,<br />
  B=I for IInputWidget; D for
IDisplayWidget, <br />
C=the for_ second interface</p>
<p><img src="interfaces.GIF" width="750" height="619" /></p>
<p><img src="interfaces2.GIF" width="537" height="619" /></p>
<p><img src="interfacesmm.GIF" width="727" height="420" /></p>
</body>
</html>