Ваш скрипт должен быть разработан, чтобы обработать стандартный вывод от предварительной обработки и получить его результаты в соответствии с этим стандартным выходом.

Ваш скрипт должен сохранить количество линий в предварительно обработанном файле. Другими словами, он не должен добавлять или удалять целые линии в или из файла.

Добавление или удаление линии может привести к некоторому непредсказуемому поведению в расположении проверок и макросов в пользовательском интерфейсе Polyspace.

Для скрипта Perl, в Windows^®, укажите полный путь к исполняемому файлу Perl и полный путь к скрипту.

Для примера:

Здесь, polyspaceroot - местоположение текущей установки Polyspace, например C:\Program Files\Polyspace\R2019a\ и absolute_path - расположение скрипта Perl. Если пути содержат пространства, используйте кавычки для ввода полных имен путей.

Используйте этот скрипт Perl в качестве шаблона. Скрипт удаляет все образцы far ключевое слово.

#!/usr/bin/perl

binmode STDOUT;

# Process every line from STDIN until EOF
while ($line = <STDIN>) 
{

  # Remove far keyword
  $line =~ s/far//g;
  
  # Print the current processed line to STDOUT
  print $line;
}

Для выполнения замен можно использовать регулярные выражения Perl. Например, можно использовать следующие выражения.

Полный список регулярных выражений см. в документации Perl.

Когда вы задаете эту опцию, ассистент компиляции автоматически отключается.