So öffnen Sie eine JSON-Datei online
Drei Schritte, wenige Sekunden, keine Software.
Öffnen Sie Ihre .VDM-Datei
Ziehen Sie die Datei in das Feld, wählen Sie sie von Ihrem Gerät aus oder fügen Sie die Daten direkt ein.
Struktur anzeigen
Ihre .VDM-Datei wird als übersichtlicher, ausklappbarer Baum geöffnet, wobei die genaue Zeile eines Fehlers markiert wird.
Suchen, kopieren oder herunterladen
Suchen Sie nach Schlüsseln und Werten, kopieren Sie Pfade oder Werte, wechseln Sie zur Tabellenansicht oder laden Sie eine bereinigte Kopie herunter.
Was ist eine .VDM-Datei?
Das gängigste Datenformat im Web.
Eine .vdm-Datei ist höchstwahrscheinlich eine VDM-SL oder VDM++ Formal Specification Quelldatei, eine mathematische Beschreibung eines Softwaresystems, das in der sicherheitskritischen Technik verwendet wird. Sie kann mit dem Overture Tool (kostenlos, overturetool.org) geöffnet werden. Die Erweiterung wird auch vom Texteditor VEDIT für Makroskripte und historisch von Windows Defender für Virendefinitionsmodule verwendet.
Programme, die .VDM-Dateien öffnen
| Vollständiger Name | VDM Specification File |
|---|---|
| Entwickler | Originated at IBM Vienna Lab; maintained by IFAD/Terma/community; tooling by VDM Tools / Overture Project |
| Erstveröffentlichung | 1970s (VDM-SL); ISO/IEC 13817-1 published 1996 |
| Kategorie | Text & Code |
| MIME-Typ | text/plain |
Ähnliche Viewer
Jeder Viewer ist kostenlos nutzbar.
Häufig gestellte Fragen
Wird meine .VDM-Datei irgendwohin hochgeladen?
Nein. Die Datei wird direkt von der von Ihnen ausgewählten Kopie geöffnet.
Meine .VDM-Datei ist ungültig. Können Sie sie reparieren?
Wir zeigen die genaue Zeile und Spalte des ersten Fehlers an. Für häufige Probleme wie Kommentare, abschließende Kommas, einfache Anführungszeichen oder True/False/None im Python-Stil klicken Sie auf Reparieren versuchen und laden Sie die korrigierte Datei herunter.
Wie groß darf die Datei sein?
Bis zu 50 MB. Der Baum baut nur die Zweige auf, die Sie öffnen, sodass selbst Dateien mit mehreren Megabyte reaktionsschnell bleiben.
Was ist JSONPath?
Ein Pfad wie $.orders[3].customer.email der auf einen Wert innerhalb der Daten zeigt. Klicken Sie auf einen Knoten, um dessen Pfad zu sehen und ihn für Code, jq oder Ihre API-Dokumentation zu kopieren.
Kann ich meine Daten als Tabelle sehen?
Ja. Jedes Array von Objekten kann in der Tabelle Ansicht angezeigt und als CSV heruntergeladen werden.
War dieses Tool hilfreich?
Ihre Bewertung hilft uns zu entscheiden, welche Tools wir als Nächstes verbessern.