|
|
|
|
|
|
|
|
|
|
| public
class StudentList |
|||||||||
| A finite list of Students. |
|||||||||
| public
StudentList () |
|||||||||
| Create an empty StudentList. |
|||||||||
| public
int size () |
|||||||||
| Number of elements in List. |
|||||||||
| ensure: |
|||||||||
|
this.size() >= 0 |
|||||||||
| public
boolean isEmpty () |
|||||||||
| List contains no elements. |
|||||||||
| this.isEmpty()==(this.size()==0) |
|||||||||