Code covered by the BSD License  

Be the first to rate this file! 6 Downloads (last 30 days) File Size: 70.1 KB File ID: #16638

Post Preprocessing Templates

by

 

28 Sep 2007 (Updated )

post preprocessing scripts

| Watch this File

File Information
Description

Templates of a Perl script that could be used with -post-preprocessing-command option. Three scripts have been provided:
1. post-preprocessingtemplate.pl is a template script acting on the pre-processed file with the -post-preprocessing-command option
2 ignore-pragma.pl is an example of Perl script program constructed with post-preprocessingtemplate.pl allowing to remove code between two #pragma.
3 add-void.pl is a script which adds "void" in empty prototype of functions.

Required Products Polyspace Client for C/C++
Polyspace Model Link SL
Polyspace Model Link TL
Polyspace Code Prover
Polyspace UML Link RH
MATLAB release MATLAB 7.9 (R2009b)
Other requirements Note that this tool needs a PolySpace product until release r2008a.
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
Updates
08 Sep 2009

Added copyrights and a .bat file template to facilitate usage under a Windows OS.

Contact us