Exponenta Banner

Number of Goto Statements

Количество goto операторы

развернуть все на странице

Описание

Эта метрика измеряет количество goto операторы в функции.

break и continue операторы не считаются.

Рекомендуемый верхний предел для этой метрики равен 0. Для лучшей читаемости вашего кода избегайте goto операторы в коде. Чтобы обнаружить использование goto операторы, проверка на нарушения MISRA C:2012 Rule 15.1.

Для обеспечения пределов на метрики:

Примеры

расширить все

#define SIZE 10
int initialize(int **arr, int loc);
void printString(int *);
void printErrorMessage(void);
void printExecutionMessage(void);


int main()
{
    int *arrayOfStrings[SIZE],len[SIZE],i;
    for ( i = 0; i < SIZE; i++ )
    {
        len[i] = initialize(arrayOfStrings,i);
    }

    for ( i = 0; i < SIZE; i++ )
    {
        if(len[i] == 0)
            goto emptyString;
        else
            goto nonEmptyString;
        loop: printExecutionMessage();
    }

emptyString:
    printErrorMessage();
    goto loop;
nonEmptyString:
    printString(arrayOfStrings[i]);
    goto loop;
}

В этом примере функция main имеет 4 goto операторы.

Метрическая информация

Группа: Функция
Акроним: GOTO
ЕГО Метрика: Да

См. также

Документация Polyspace Code Prover

Поддержка