メインコンテンツ

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

プラグインを使用しない IDE またはエディターでの Polyspace as You Code の実行

コマンド ラインでの実行のための Polyspace® as You Code プラグインの構成、サポートされていない IDE とエディターからのコマンド ライン実行のトリガー

ご使用のオペレーティング システムのターミナルで Polyspace as You Code を直接実行できます。コマンド ライン実行をトリガーして IDE またはエディター内でコンソール出力を表示できる場合には、プラグインまたは拡張機能で直接サポートされていない IDE またはエディターで Polyspace as You Code を使用できます。

システム コマンド

polyspace-bug-finder-access (Polyspace Access)(システム コマンド) WindowsLinux、またはその他のコマンド ラインから Polyspace as You Code を実行
polyspace-comments-import(システム コマンド) 以前の Polyspace 解析からレビュー情報をインポート
polyspace-configure(システム コマンド) DOS または UNIX コマンド ラインでビルド システムから Polyspace プロジェクトを作成
polyspace-results-export(システム コマンド) CSV や JSON などの外部形式への Polyspace 結果のエクスポート

トピック

使用法

インストールと構成