Uses of Class
be.kuleuven.cs.som.taglet.OOPTaglet

Packages that use OOPTaglet

be.kuleuven.cs.som.taglet

Uses of OOPTaglet in be.kuleuven.cs.som.taglet

Subclasses of OOPTaglet in be.kuleuven.cs.som.taglet

class	EffectTaglet The EffectTaglet is an OOPTaglet, used to declare the effect of a method.
class	InvarTaglet The invarTaglet is an OOPTaglet, used to declare the invariants of a class or field.
class	NoteTaglet The NoteTaglet is an OOPTaglet, used for notes, which can be used anywhere.
class	PostTaglet The PostTaglet is an OOPTaglet, used to declare the postconditions of a method.
class	PreTaglet The PreTaglet is an OOPTaglet, used to declare preconditions for a method.
class	ReturnTaglet The ReturnTaglet is an OOPTaglet, used to declare the result of a method.