問題タブ [vdm++]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
41 問題
0
投票する
1
に答える
81
参照
casting - VDM++ に型キャストはありますか?
たとえば、VDM++でnatをchar の seqにキャストしたいとします。
"X is {value of q}"以下のコードでは、q が nat 型で q < 3 の場合、操作 setValueOfX が を返すようにします。
使用してみまし^たが、次のエラーが発生しました。
エラー [207] : '^' の Rhs はシーケンス タイプの
行為ではありません: nat
exp : ( # | [] の seq1 )