B E G I M N O P R T V

P

PostTaglet - Class in be.kuleuven.cs.som.taglet

The PostTaglet is an OOPTaglet, used to declare the postconditions of a method.

PostTaglet() - Constructor for class be.kuleuven.cs.som.taglet.PostTaglet

Create a new EffectTaglet.

PreTaglet - Class in be.kuleuven.cs.som.taglet

The PreTaglet is an OOPTaglet, used to declare preconditions for a method.

PreTaglet() - Constructor for class be.kuleuven.cs.som.taglet.PreTaglet

Create a new PreTaglet.