unix シェルから specman のプログラム空間に文字列をインポートしようとしています。インポートしたい文字列に引用符 ("") が含まれています (例: "hi")。このような場合、文字列は適切に解析されません。たとえば、引用符で囲まれた文字列を「エコー」したい場合、次のようにします。
%> echo echo \"\"hi\"\"
出力します
""hi""
しかし、eで書かれた次のプログラムを使用すると:
<'
extend sys {
run() is also{
print output_from("echo \"\"hi\"\"");
stop_run();
};
};
'>
次の出力が得られます。
output_from("echo \"\"hi\"\"") =
0. "hi"
ご覧のとおり、引用符がなくなりました。ここに表示されているものは、リスト値のデフォルトの印刷からのものです。