Fifth Annual Tcl/Tk Workshop, 1997 ## Assertions for the Tcl Language Jonathan E. Cook Department of Computer Science New Mexico State University Las Cruces, NM ### Abstract Assertions, even as simple as the C `assert` macro, offer important self-checking properties to programs, and improve the robustness of software when they are used. This paper describes ASSERTCL, an assertion package for the Tcl programming language. Our assertions take the form of commands in the program text, and cover point assertions about the computation state, assertions about procedure input values and the return value, and assertions about the values that variables may take on over their whole lifetime. In addition, universal and existential quantifiers are provided for both lists and arrays, not only for individual elements, but for sequences of elements as well. View the full text of this paper in HTML form, PDF (187183 Bytes) form, and POSTSCRIPT (156517 Bytes) form. To Become a USENIX Member, please see our Membership Information.

Need help? Use our Contacts page. |
Technical Program Conference Index USENIX home