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

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

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

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