| << Chapter < Page | Chapter >> Page > |
Write a JUnit test program for the Queen and Worker classes.
In the above Queen example, the locations of a
Queen object and its
Worker objects are subject to change. Every time a
Worker ant moves its
Queen , it has the side effect of changing the
Queen 's origin. The
Queen object remains the "same". This seems like a reasonable thing to have. In the functional programming paradigm, to move the
Queen , the
Worker ant would have to instantiate a new
Queen object with a new location and find a way to associate itself to this new
Queen , which does not seem to model the "real" ant world very well. By allowing our objects to change their internal states in appropriate situations, our programming model becomes more "realistic", more efficient, and in many cases "simpler".
To further illustrate the relevance of state changes, consider the problem of moving the minimum element of a list of integers to the front of the list. Since the current
IList model is immutable, we can only solve the problem by returning a copy of the original list with its minimum at the front. Below is an algorithm to solve the problem that makes use of an accumulator to accumulate the current minimum and internally updates it as the list is being traversed. (Note: the list is assumed to hold no duplicate values).
Min2front.java
public class Min2Front implements IListAlgo {
private Integer _accMin; // accumulated min.private IListFactory _fact;
public Min2Front(IListFactory f) {_fact = f;
}public Object emptyCase(IMTList mtHost, Object... nu) {
return mtHost;}
public Object nonEmptyCase(INEList neHost, Object... nu) {// We assign _accMin the first of L as a candidate for minimum:
_accMin = (Integer)neHost.getFirst();/**
* Let us consider the set S of all elements in L that precede L.* S is clearly empty. At this point we have established the following:
* _accMin is an element of L and is smaller than all elements of S.* We now call on an anonymous helper to operate on L in order to find
* the minimum and remove it from L. This helper will recursively* travese L to the end in order to obtain the minimum, save it in
* _accMin and reconstruct the host list L without the minimum on its way* back from the recursive list traversal.
*/IList withoutMin = (IList)neHost.execute(new IListAlgo() {
/*** Note: when L executes this helper, this case is called since L is
* not empty. Thus for the first call to this method, h is L.* We update _accMin to ensure that it is an element of L and is the
* minimum of all elements in L that precedes the rest of the host* parameter h. Then we recursively call this helper on h.getRest()
* to save the minimum in _accMin and create a copy of h.getRest()* that does not contain _accMin.
*/public Object nonEmptyCase(INEList h, Object... nu) {
if ((Integer)h.getFirst()<accMin) {
_accMin = first;}
/*** At this point, we have established the following invariant:
* _accMin is an element of L and is the minimum of all elements* in L that precedes h.getRest().
*/IList accList = (IList)h.getRest().execute(this, null);
/*** By induction, _accMin is now the minimum of the whole outer
* host list L, and accList is a copy of h.getRest() that does* not contain _accMin.
*/if (!first.equals(_accMin)) {
accList = _fact.makeNEList(first, accList);}
// accList is now a copy of the host h without _accMin.return accList;
/*** As noted earlier, L.execute(...) calls nonEmptyCase() since
* L is not empty. Thus the first call to nonEmptyCase() is the* call with L as the value for the host parameter h. So, when
* we return from this first call, accList is a copy of L without* the minimum stored in _accMin.
*/}
/*** This method is only called from inside of the nonEmptyCase()
* method. The empty host parameter h marks the end of the outer* host list L.
* _accmin is thus the minimum. The empty list is thus a copy of* the outer host list L from the current list (empty) to the end
* that does not contain _accMin.*/
public Object emptyCase(IMTList h, Object... nu) {return h;
}}, null); // NOTE that the input argument is null since the helper does
// not need it./**
* "Cons" the minimum to the front of the copy of the host that does not* contain this minimum.
*/return _fact.makeNEList(_accMin, withoutMin);
}}
In the above, the comments are longer than the code. The above code and comments can be greatly simplified if the list is mutable. What does it mean for a list to be mutable?
Notification Switch
Would you like to follow the 'Principles of object-oriented programming' conversation and receive update notifications?
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|