copyTo

クラス: polyspace.Options
名前空間: polyspace

Polyspace オプション オブジェクト間での共通設定のコピー

このページをすべて展開する

構文

optsFrom.copyTo(optsTo)

説明

optsFrom.copyTo(optsTo) では、optsFrom から optsTo に共通オプションがコピーされます。このオプション オブジェクトは、同じ型のオプション オブジェクトである必要はありません。このメソッドでは、2 つのオブジェクト間で共通するプロパティのみがコピーされます。

入力引数

すべて展開する

プロパティのコピー元オプション オブジェクト。polyspace.Options オブジェクトまたは polyspace.ModelLinkOptions オブジェクトとして指定します。

例: opts = polyspace.Options;

プロパティのコピー先オプション オブジェクト。polyspace.Options オブジェクトまたは polyspace.ModelLinkOptions オブジェクトとして指定します。

例: opts = polyspace.Options;

例

すべて展開する

この例では、1 つのオプション オブジェクトのプロパティを設定する方法を示し、そのオブジェクトを別のオブジェクトにコピーします。

Polyspace オプション オブジェクトを作成し、プロパティを設定します。

opts1 = polyspace.Options();
opts1.Prog = 'DataRaceProject';
opts1.Sources = {'datarace.c'};
opts1.TargetCompiler.Compiler = 'gnu4.9';

別のオブジェクトを作成し、copyTo を使用して前のオブジェクトからオプションをコピーします。

opts2 = polyspace.Options();
opts1.copyTo(opts2);

バージョン履歴

R2016b で導入

参考

| |