Come aprire un file JSON online
Tre passaggi, pochi secondi, nessun software.
Apri il tuo file .VDM
Trascinalo nel riquadro, sceglilo dal tuo dispositivo o incolla i dati direttamente.
Visualizza la struttura
Il tuo file .VDM si apre come un albero ordinato e comprimibile, con l'indicazione esatta della riga di ogni errore.
Cerca, copia o scarica
Cerca chiavi e valori, copia percorsi o valori, passa alla visualizzazione tabella o scarica una copia pulita.
Cos'è un file .VDM?
Il formato dati più comune sul web.
Un file .vdm è molto probabilmente un file sorgente di specifica formale VDM-SL o VDM++, una descrizione matematica di un sistema software utilizzata nell'ingegneria dei sistemi critici per la sicurezza. Può essere aperto con Overture Tool (gratuito, overturetool.org). L'estensione è utilizzata anche dall'editor di testo VEDIT per gli script macro e, storicamente, da Windows Defender per i moduli di definizione dei virus.
Programmi che aprono file .VDM
| Nome completo | VDM Specification File |
|---|---|
| Sviluppatore | Originated at IBM Vienna Lab; maintained by IFAD/Terma/community; tooling by VDM Tools / Overture Project |
| Rilasciato per la prima volta | 1970s (VDM-SL); ISO/IEC 13817-1 published 1996 |
| Categoria | Testo & Codice |
| Tipo MIME | text/plain |
Visualizzatori correlati
Ogni visualizzatore è gratuito.
Domande frequenti
Il mio file .VDM viene caricato altrove?
No. Il file viene aperto direttamente dalla copia selezionata.
Il mio file .VDM non è valido. Potete ripararlo?
Mostriamo l'esatta riga e colonna del primo errore. Per problemi comuni come commenti, virgole finali, apici singoli o True/False/None in stile Python, clicca su Prova a riparare e scarica il file corretto.
Quanto può essere grande il file?
Fino a 50 MB. L'albero crea solo i rami che apri, quindi anche i file di diversi megabyte rimangono reattivi.
Cos'è JSONPath?
Un percorso come $.orders[3].customer.email che punta a un valore all'interno dei dati. Clicca su qualsiasi nodo per vederne il percorso e copiarlo per il codice, jq o la documentazione della tua API.
Posso visualizzare i miei dati come tabella?
Sì. Qualsiasi array di oggetti può essere visualizzato nella Tabella vista e scaricato come CSV.
Questo strumento è stato utile?
La tua valutazione ci aiuta a decidere quali strumenti migliorare in futuro.