B E G I M N O P R T V

I

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

An interface introducing the Immutable annotation.

inConstructor() - Method in class be.kuleuven.cs.som.taglet.EffectTaglet

This tag can be used with constructors.

inConstructor() - Method in class be.kuleuven.cs.som.taglet.InvarTaglet

This tag cannot be used with constructors.

inConstructor() - Method in class be.kuleuven.cs.som.taglet.NoteTaglet

This tag can be used with constructors.

inConstructor() - Method in class be.kuleuven.cs.som.taglet.PostTaglet

This tag can be used with constructors.

inConstructor() - Method in class be.kuleuven.cs.som.taglet.PreTaglet

This tag can be used with constructors.

inConstructor() - Method in class be.kuleuven.cs.som.taglet.ReturnTaglet

This tag can be used with constructors.

inField() - Method in class be.kuleuven.cs.som.taglet.EffectTaglet

This tag is not used with fields.

inField() - Method in class be.kuleuven.cs.som.taglet.InvarTaglet

This tag can be used with fields.

inField() - Method in class be.kuleuven.cs.som.taglet.NoteTaglet

This tag can be used with fields.

inField() - Method in class be.kuleuven.cs.som.taglet.PostTaglet

This tag is not used with fields.

inField() - Method in class be.kuleuven.cs.som.taglet.PreTaglet

This tag is not used with fields.

inField() - Method in class be.kuleuven.cs.som.taglet.ReturnTaglet

This tag is not used with fields.

inMethod() - Method in class be.kuleuven.cs.som.taglet.EffectTaglet

This tag can be used with methods.

inMethod() - Method in class be.kuleuven.cs.som.taglet.InvarTaglet

This tag cannot be used with methods.

inMethod() - Method in class be.kuleuven.cs.som.taglet.NoteTaglet

This tag can be used with methods.

inMethod() - Method in class be.kuleuven.cs.som.taglet.PostTaglet

This tag can be used with methods.

inMethod() - Method in class be.kuleuven.cs.som.taglet.PreTaglet

This tag can be used with methods.

inMethod() - Method in class be.kuleuven.cs.som.taglet.ReturnTaglet

This tag can be used with methods.

inOverview() - Method in class be.kuleuven.cs.som.taglet.EffectTaglet

This taag cannot be used in overview documentation.

inOverview() - Method in class be.kuleuven.cs.som.taglet.InvarTaglet

This taag cannot be used in overview documentation.

inOverview() - Method in class be.kuleuven.cs.som.taglet.NoteTaglet

This taag can be used in overview documentation.

inOverview() - Method in class be.kuleuven.cs.som.taglet.PostTaglet

This taag cannot be used in overview documentation.

inOverview() - Method in class be.kuleuven.cs.som.taglet.PreTaglet

This taag cannot be used in overview documentation.

inOverview() - Method in class be.kuleuven.cs.som.taglet.ReturnTaglet

This taag cannot be used in overview documentation.

inPackage() - Method in class be.kuleuven.cs.som.taglet.EffectTaglet

This tag cannot be used in package documentation.

inPackage() - Method in class be.kuleuven.cs.som.taglet.InvarTaglet

This tag cannot be used in package documentation.

inPackage() - Method in class be.kuleuven.cs.som.taglet.NoteTaglet

This tag can be used in package documentation.

inPackage() - Method in class be.kuleuven.cs.som.taglet.PostTaglet

This tag cannot be used in package documentation.

inPackage() - Method in class be.kuleuven.cs.som.taglet.PreTaglet

This tag cannot be used in package documentation.

inPackage() - Method in class be.kuleuven.cs.som.taglet.ReturnTaglet

This tag cannot be used in package documentation.

inType() - Method in class be.kuleuven.cs.som.taglet.EffectTaglet

This tag cannot be used in general class or interface documentation.

inType() - Method in class be.kuleuven.cs.som.taglet.InvarTaglet

This tag can be used in general class or interface documentation.

inType() - Method in class be.kuleuven.cs.som.taglet.NoteTaglet

This tag can be used in general class or interface documentation.

inType() - Method in class be.kuleuven.cs.som.taglet.PostTaglet

This tag cannot be used in general class or interface documentation.

inType() - Method in class be.kuleuven.cs.som.taglet.PreTaglet

This tag cannot be used in general class or interface documentation.

inType() - Method in class be.kuleuven.cs.som.taglet.ReturnTaglet

This tag cannot be used in general class or interface documentation.

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

The invarTaglet is an OOPTaglet, used to declare the invariants of a class or field.

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

Create a new EffectTaglet.

isInlineTag() - Method in class be.kuleuven.cs.som.taglet.EffectTaglet

This tag is not an inline tag.

isInlineTag() - Method in class be.kuleuven.cs.som.taglet.InvarTaglet

This tag is not an inline tag.

isInlineTag() - Method in class be.kuleuven.cs.som.taglet.NoteTaglet

This tag is not an inline tag.

isInlineTag() - Method in class be.kuleuven.cs.som.taglet.PostTaglet

This tag is not an inline tag.

isInlineTag() - Method in class be.kuleuven.cs.som.taglet.PreTaglet

This tag is not an inline tag.

isInlineTag() - Method in class be.kuleuven.cs.som.taglet.ReturnTaglet

This tag is not an inline tag.