B E G I M N O P R T V

R

Raw - Annotation Type in be.kuleuven.cs.som.annotate

An interface introducing the Raw annotation.

register(Map) - Static method in class be.kuleuven.cs.som.taglet.EffectTaglet

Register this tag.

register(Map) - Static method in class be.kuleuven.cs.som.taglet.InvarTaglet

Register this tag.

register(Map) - Static method in class be.kuleuven.cs.som.taglet.NoteTaglet

Register this tag.

register(Map) - Static method in class be.kuleuven.cs.som.taglet.PostTaglet

Register this tag.

register(Map) - Static method in class be.kuleuven.cs.som.taglet.PreTaglet

Register this tag.

register(Map) - Static method in class be.kuleuven.cs.som.taglet.ReturnTaglet

Register this tag.

register(Map) - Static method in class be.kuleuven.cs.som.taglet.ThrowsTaglet

Register this tag.

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

The ReturnTaglet is an OOPTaglet, used to declare the result of a method.

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

Create a new EffectTaglet.