Sunday, November 4, 2007

Test Classes Added To JUndo Sourceforge Project

Added several test classes from previous demos to the TestClasses package of the JUndo project on sourceforge. In particular, TestClass.JUndo demonstrates performing simple computations and a select expression that quantifies over multiple iterator factories. Tests C, D, E, and F .java are Java test drivers that execute JUndo code. TestClassF.java executes the same computation in both Java and JUndo and then prints the answers.

TestClass.JUndo illustrates the need to quantify over iterator factories as opposed to iterators. Iterators are expended after the first use, so some mechanism is needed to refresh the iterator if one wants a second entity to quantify over it. The iterator factory provides the mechanism in JUndo for refreshing the iterators.

No comments: