![]() Other extended tags belong in the specification for a method Thus, you use specfields to introduce new state variables and derivedįields to introduce functions on those state variables.ĭerived fields are not strictly needed in specifications, but they If a class had a specfield n : integer we could define aĭerived pos : boolean // pos = true iff n > 0ĭerived fields are not allowed to hold any information that could notīe already calculated from the already existing state in the object. Same as specfield, except that this also adds the propertyĭerived fields can be viewed as functions on preexisting state thus Type T for the class, adding text as a comment name : T // text Indicates that name is a abstract specification field of To formally define what a given Abstract Data Type name : T // text Some extended tags belong in the overview for a class they are used Note that these tags must appear afterĪll non-tag comments for classes and methods. ![]() Specification fields for classes and requires, modifies, and effectsĬlauses for methods. The comments may include "tags", which are introduced by an at-sign have extended the javadoc program to recognize additional CSE331Īccepted by the Sun Standard Doclet. Produces specifications from source code annotated with special comments. Sun's Java Development Kit includes javadoc, a tool that
0 Comments
Leave a Reply. |