View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info | Stereotypes | Operations | Template Parameters | Constraints

---

Parent Package: assumed_types
Class List{Abstract}

Aggregate
   |
   +--List
Ordered container that may contain duplicates.

Stereotypes

<<Interface>>

Template Parameters
Name	Type	Default Value
T

Operations
Signature	Constraints	Documentation
first() : T		Return first element.
last() : T		Return last element.

Constraints
Name	Expression
Last_validity	inv: not is_empty implies last <> Void
First_validity	inv: not is_empty implies first <> Void