Настройки

Никакое значение по умолчанию

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

Если функция или метод не перегружаются, задайте имя функции. В противном случае задайте прототипа функции с аргументами. Например, в следующем коде, необходимо задать прототипы func(int) и func(double).

int func(int x) { 
 return(x * 2);
}
double func(double x) { 
 return(x * 2);
}

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

Зависимости

Эта опция включена, только если вы выбираете Verify module or library под Code Prover Verification, и ваш код не содержит main функция.

Советы

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

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