日本語

VDM を表示 オンラインで無料表示

.VDM ファイルをオンラインで表示・整形します。プリティプリント、検索、テーブルまたはツリー形式でのデータ探索が無料で可能です。

ここに .VDM ファイルをドロップ

ここで .VDM ファイルを開きます。

ファイルを選択
最大 50 MB · JSON, XML, YAML, TOML, INI
即座に表示。 数秒で開きます
登録不要。 開くだけ
100% 無料。 利用制限なし

JSONファイルをオンラインで開く方法

3ステップ、数秒、ソフトウェア不要。

01

.VDM ファイルを開く

ボックスにドロップするか、デバイスから選択するか、データを直接貼り付けてください。

02

構造を表示

.VDMファイルは、整理された折りたたみ可能なツリーとして開かれ、エラーがある場合はその正確な行が指摘されます。

03

検索、コピー、またはダウンロード

キーや値を検索し、パスや値をコピーしたり、テーブル表示に切り替えたり、クリーンなコピーをダウンロードしたりできます。

.VDM ファイルとは?

ウェブで最も一般的なデータ形式。

.vdmファイルは、安全性が重視されるエンジニアリングで使用されるソフトウェアシステムの数学的記述である、VDM-SLまたはVDM++形式仕様ソースファイルである可能性が高いです。Overture Tool(無料、overturetool.org)で開いてください。この拡張子は、VEDITテキストエディタのマクロスクリプトや、歴史的にはWindows Defenderのウイルス定義モジュールでも使用されています。

.VDM ファイルを開くプログラム

Windows
VDMTools, VEDIT, Overture Tool, VS Code (with Overture extension)
macOS
VDMTools, Overture Tool
Linux
VDMTools, Overture Tool
.VDM フォーマットの詳細
正式名称VDM Specification File
開発元Originated at IBM Vienna Lab; maintained by IFAD/Terma/community; tooling by VDM Tools / Overture Project
初回リリース1970s (VDM-SL); ISO/IEC 13817-1 published 1996
カテゴリテキスト & コード
MIMEタイプtext/plain

関連ビューア

すべてのビューアは無料で使用できます。

よくある質問

.VDM ファイルはどこかにアップロードされますか?

いいえ。ファイルは選択したコピーから直接開かれます。

.VDM ファイルが無効です。修正できますか?

最初のエラーの正確な行と列を表示します。コメント、末尾のカンマ、シングルクォート、Python形式のTrue/False/Noneなどの一般的な問題については、以下をクリックしてください: 修復を試みる 修正されたファイルをダウンロードします。

ファイルサイズの上限は?

最大50 MBまでです。ツリーは開いたブランチのみを構築するため、数メガバイトのファイルでもレスポンスが維持されます。

JSONPathとは何ですか?

次のようなパスです: $.orders[3].customer.email データ内の1つの値を指します。任意のノードをクリックしてパスを表示し、コード、jq、またはAPIドキュメント用にコピーできます。

データをテーブルとして表示できますか?

はい。オブジェクトの配列は テーブル ビューで表示し、CSVとしてダウンロードできます。

このツールは役に立ちましたか?

あなたの評価は、次にどのツールを改善するかの判断材料になります。

最初の評価を投稿しましょう。
問題が見つかりましたか?