Exponenta Banner

generateProject

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

Сгенерируйте 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.

Советы

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

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

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

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

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

| |

Введенный в R2017b

Документация Polyspace Code Prover
Поддержка