| U2.T2.examples |
|
| Java Source File Name | Type | Comment |
| BinarySearchTree.java | Class | A class implementing unbalanced binary search tree. |
| ClubMember.java | Class | A simple class representing clubmembers. |
| CocktailSort.java | Class | Performs a bi-directional bubble sort on "list", also known as a
cocktail sort. |
| Dummy.java | Class | Just a dummy class containing nothing. |
| MyList.java | Class | This class provides a linked list. |
| RG.java | Class | A template for T2 regression tool, wrapped as an application. |
| RT2.java | Class | A template for T2 random tester wrapped as an application. |
| SimpleVotesManager.java | Class | An example of a class with a temporal property. |
| SortedList.java | Class | A class implementing a sorted list. |
| TestArray1.java | Class | This class maintains an internal array of size 10. |
| TestArray2.java | Class | This class shows that T2 can handle multi dimensional arrays. |
| TSortedList.java | Class | A variant of SortedList, so a class implementing a sorted list. |