Exponenta Banner
exponenta event banner

generateProject

Класс: polyspace. Варианты
Пакет: полиспейс

Создать проект 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, созданный из объекта options.

Создайте объект 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);

Для выполнения анализа программы проверки кода используйте polyspaceCodeProver вместо polyspaceBugFinder.

Совет

Если требуется включить объект опций в pslinkoptions объект:

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

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

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

См. также

| |

Представлен в R2016b

Документация для поиска ошибок Polyspace

Поддержка