Water 5-User Interface-HTML Widgets

Contract
Parameter key	Default value	Type
aliases	<vector "html"/>	vector
id	opt
class	opt
lang	opt
lang	opt
dir	"ltr"	type.<one_of "ltr" "rtl"/>
onclick	opt
ondblclick	opt
onmousedown	opt
onmouseup	opt
onmouseover	opt
onmousemove	opt
onmouseout	opt
onkeypress	opt
onkeydown	opt
onkeyup	opt
accesskey	opt
tabindex	opt	integer
onfocus	opt
onblur	opt
type	"text"	type.<one_of "text" "password" "checkbox" "radio" "submit" "image" "reset" "button" "hidden" "file"/>
name	opt
value	opt
checked	false	boolean
disabled	false	boolean
readonly	false	boolean
size	opt
maxlength	opt
src	opt
alt	opt
usemap	opt
onselect	opt
onchange	opt
accept	opt

Water Contract

<class input
  type          ="text"=<type.one_of "text" "password" "checkbox" "radio" "submit" "image" "reset" "button" "hidden" "file"/>
  name          =opt
  value         =opt
  checked       =false
  disabled      =false
  readonly      =false
  size          =opt
  maxlength     =opt
  src           =opt
  alt           =opt
  usemap        =opt
  onselect      =opt
  onchange      =opt
  accept        =opt
/>