Classes and their Contracts
How Nex allows the specification of an abstract datatype to live in the code itself instead of a comment or document.
how-toobject-oriented-programmingsoftware-designcontractsHow Nex allows the specification of an abstract datatype to live in the code itself instead of a comment or document.
how-toobject-oriented-programmingsoftware-designcontractsA Nex program reads its arguments from the predeclared program object. Here is how to get at them, parse them into usable formats, and deal with invalid input gracefully.
how-toclicontracts