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

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

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

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