Exponenta Banner

generateProject

Класс: полипространство. Опции
Пакет: полипространство

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

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

Синтаксис

opts.generateProject(projectName)

Описание

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

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

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

Объект опция преобразует в 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);

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

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

Чтобы запустить анализ Code Prover, используйте polyspaceCodeProver вместо polyspaceBugFinder.

Совет

Если вы хотите включить объект опции в pslinkoptions объект:

  1. Используйте этот метод для преобразования объекта в проект.

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

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

См. также

| |

Введенный в R2016b

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

Поддержка