Functions to call (-main-generator-calls)

Задайте функции, которые вы хотите сгенерировать main вызов после инициализации функций

Описание

Эта опция влияет только на анализ Code Prover.

Эта опция недоступна для кода, сгенерированного из MATLAB® код или Simulink® модели.

Задайте функции, которые вы хотите сгенерировать main позвонить. The main вызывает эти функции после тех, которые вы задаете через опцию Initialization functions (-functions-called-before-main).

Задать опцию

Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые вы также должны включить.

Командная строка и файл опций: Используйте опцию -main-generator-calls. См. «Информация о командной строке».

Зачем использовать эту опцию

Если вы проверяете модуль или библиотеку, Code Prover генерирует main функция, если она не существует. Если a main существует, в анализе используются существующие main.

Используйте эту опцию вместе с опцией Initialization functions (-functions-called-before-main) чтобы указать, какие функции сгенерированы main должен вызвать. Если функция не вызывается прямо или косвенно из mainпрограммное обеспечение не анализирует функцию.

Настройки

По умолчанию: unused

none

Сгенерированный main не вызывает никакой функции.

unused

Сгенерированный main вызывает только те функции, которые не вызываются в исходном коде. Это не вызывает встроенные функции.

all

Сгенерированный main Вызовы все функции, кроме встроенных таковых.

custom

Сгенерированный main вызывает функции, которые вы задаете.

Введите имена функции или выберите из списка.

  • Щелкните, чтобы добавить поле и ввести имя функции.

  • Щелкните, чтобы отобразить функции в коде. Выберите функции из списка.

Если вы используете оператор разрешения возможностей для задания функции из определенного пространства имен, введите полное имя, например myClass::myMethod(int). Если функция не имеет параметра, используйте пустую круглую скобку, например myClass::myMethod().

Зависимости

Эта опция доступна только при выборе Verify module or library (-main-generator).

Совет

  • Выберите unused при использовании Code Prover Verification > Verify files independently.

  • Если необходимо сгенерировать main чтобы вызвать встроенную функцию, выберите custom и укажите имя функции.

  • Чтобы проверить многозадачное приложение без основного, выберите none.

  • Сгенерированный main может вызвать функции в произвольном порядке. Если вы хотите вызвать свои функции в определенном порядке, вручную напишите main функцию, чтобы вызвать их.

  • Чтобы задать экземпляры шаблонов в качестве аргументов, запуск анализ один раз с опцией аргументом all. Поиск имени шаблона в журнале анализа и использование имени шаблона в том виде, в котором оно отображается в журнале анализа для аргумента опция.

    Например, чтобы задать этот экземпляр функции шаблона как аргумент опции:

    template <class T>
    T GetMax (T a, T b) {
      T result;
      result = (a>b)? a : b;
      return (result);
    } 
    template int GetMax<int>(int, int); // explicit instantiation
    
    Запустите анализ с опцией -main-generator-calls all. Поиск getMax в журнале анализа. Вы видите формат функции:
    T1 getMax<int>(T1, T1)
    Чтобы вызвать только этот экземпляр шаблона, удалите пространство между аргументами и используйте опцию:
    -main-generator-calls custom="T1 getMax<int>(T1,T1)"

Информация о командной строке

Параметр: -main-generator-calls
Значение: none | unused | all | custom = function1[, function2[,...]]
По умолчанию: unused
Пример (Code Prover): Polyspace Code Prover -sources file_name - главный генератор - главные вызовы генератора все
Пример (Код Prover Server): Полипространство -code-prover-server -sources file_name - главный генератор - главные вызовы генератора все