Ada Rule Set

Backward goto

Mnemonic: BWGOTO

Description: Backward gotos shall not be used.

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

No Abort

Mnemonic: R_NOABORT

Description: Use of 'abort'

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

No final else

Mnemonic: ELSEFINAL

Description: All if ... else if constructs shall be terminated with an else clause.

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

Use of goto

Mnemonic: NOGOTO

Description: The 'goto' statement shall not be used.

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

Exit Label

Mnemonic: R_EXTLABEL

Description: Each exit label shall be named.

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

Exit when

Mnemonic: R_EXTWHEN

Description: Use 'exit when' instead of if... exit syntax.

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

Loop name

Mnemonic: R_LOOPNAMED

Description: Each loop shall be named.

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

No Delay

Mnemonic: R_NODELAY

Description: Use of 'delay'

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

'when others' in exception handler

Mnemonic: R_NOWHEN_OTHERS

Description: There shall be no 'when others' in exception handler.

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

Parameter order

Mnemonic: R_PARAMORDER

Description: Parameters shall be ordered: 'IN', 'OUT', 'IN OUT'.

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

Multiple exits

Mnemonic: RETURN

Description: A function shall have a single point of exit at the end.

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

Multiple Exit in loop

Mnemonic: R_SGLEXT

Description: There shall be a single exit by loop.

Artefact Type: PACK;TASK;FUNCTION

Default Value: 0

Prev	Up	Next
Chapter 2. Coding Standards	Home \| ToC	C-Style Rule Set