Exponenta Banner

generateProject

Класс: polyspace.Options
Пакет: полипробел

Сгенерируйте psprj проект от объекта опций

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

Синтаксис

opts.generateProject(projectName)

Описание

opts.generateProject(projectName) создает .psprj проект под названием projectName из опций, заданных в polyspace.Options объект opts. Можно открыть .psprj проект в пользовательском интерфейсе десктопных решений Polyspace®.

Входные параметры

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

Объект Option преобразует в psprj файл в виде polyspace.Options или polyspace.ModelLinkOptions объект.

Пример: opts = polyspace.Options;

Имя файла проекта, заданное как вектор символов. Этот аргумент используется в качестве имени psprj файл.

Пример: 'myProject'

Примеры

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

В этом примере показано, как создать и использовать проект Polyspace, который был сгенерирован от объекта опций.

Создайте объект Bug Finder и установите свойства.

sources = fullfile(polyspaceroot,'polyspace','examples','cxx','Bug_Finder_Example',...
   'sources','numerical.c');
opts = polyspace.Options();
opts.Prog = 'MyProject';
opts.Sources = {sources};
opts.TargetCompiler.Compiler = 'gnu4.7';

Сгенерируйте проект Polyspace. Назовите проект с помощью Prog свойство. 

psprj = opts.generateProject(opts.Prog);

Запустите анализ Средства поиска Ошибки с помощью одной из этих команд. Обе команды производят идентичные результаты анализа. Единственная разница то, что psprj проект может быть повторно выполнен в интерфейсе Polyspace.

polyspaceBugFinder(psprj, '-nodesktop');
polyspaceBugFinder(opts);

Чтобы запустить анализ Программы автоматического доказательства Кода, использовать polyspaceCodeProver вместо polyspaceBugFinder.

Советы

Если вы хотите включать, опции возражают в a pslinkoptions объект:

  1. Используйте этот метод, чтобы преобразовать ваш объект в проект.

  2. Добавьте проект в pslinkoptions свойство PrjConfig.

  3. Включите свойство EnablePrjConfig.

Смотрите также

| |

Введенный в R2017b

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

Поддержка