Сценарий должен быть разработан для обработки стандартных выходных данных предварительной обработки и получения их результатов в соответствии с этими стандартными выходными данными.

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

Добавление или удаление строки может привести к непредсказуемому поведению расположения чеков и макросов в интерфейсе пользователя 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.

При указании этого параметра помощник по компиляции автоматически отключается.