IngleseFranceseSpagnolo

Ad


Favicon di OnWorks

Scarica dialixir per Linux

Scarica gratuitamente l'app Dialyxir Linux per eseguirla online su Ubuntu online, Fedora online o Debian online

Questa è l'app Linux denominata Dialyxir la cui ultima versione può essere scaricata come 1.4.1.zip. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.

Scarica ed esegui online questa app chiamata Dialyxir con OnWorks gratuitamente.

Segui queste istruzioni per eseguire questa app:

- 1. Scaricata questa applicazione sul tuo PC.

- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.

- 3. Carica questa applicazione in tale file manager.

- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.

- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.

- 6. Scarica l'applicazione, installala ed eseguila.

IMMAGINI

Ad


Dialisir


DESCRIZIONE

Combina le attività per semplificare l'uso di Dialyzer nei progetti Elixir. Elixir 1.6 è necessario per supportare la nuova funzionalità di stampa carina. Se il tuo progetto non è ancora su 1.6, continua a specificare 0.5 nel tuo mix deps. I messaggi di avviso sono stati notevolmente migliorati, ma vengono filtrati tramite il formattatore legacy per supportare i file ignorati esistenti. Puoi facoltativamente utilizzare il nuovo formato del termine Elixir per ignorare i file. Potresti voler utilizzare l'argomento breve --format nelle tue pipeline CI. Ci sono diversi formati, inoltre c'è una nuova funzione di spiegazione - per i dettagli vedi Opzioni CLI. Se hai intenzione di utilizzare Dialyzer con un'applicazione creata con Phoenix Framework, dai un'occhiata al wiki Quickstart. Usa dialyxir dalla directory del progetto mix che vuoi analizzare; un file PLT verrà creato o aggiornato se richiesto e il progetto verrà automaticamente compilato.



Caratteristiche

  • Dialyzer è uno strumento di analisi statica per Erlang e altri linguaggi che compilano in bytecode BEAM per Erlang VM
  • Può analizzare i file BEAM e fornire avvisi sui problemi nel codice, comprese le mancate corrispondenze di tipo
  • L'analisi può essere migliorata con l'inclusione di suggerimenti sul tipo (chiamati specifiche)
  • Le dipendenze dell'applicazione OTP vengono aggiunte (transitivamente) al tuo PLT per impostazione predefinita
  • Sono disponibili spiegazioni per le classi di avvisi
  • Dialyzer supporta una serie di flag di avviso utilizzati per abilitare o disabilitare determinati tipi di funzionalità di analisi


Linguaggio di programmazione

Elisir


Categorie

quadri

Questa è un'applicazione che può anche essere recuperata da https://sourceforge.net/projects/dialyxir.mirror/. È stato ospitato in OnWorks per poter essere eseguito online nel modo più semplice da uno dei nostri Sistemi Operativi gratuiti.


Server e workstation gratuiti

Scarica app per Windows e Linux

  • 1
    Phaser
    Phaser
    Phaser è un open veloce, gratuito e divertente
    framework di gioco HTML5 di origine che offre
    Rendering WebGL e Canvas attraverso
    browser Web desktop e mobili. Giochi
    può essere co...
    Scarica Phaser
  • 2
    Motore VASSAL
    Motore VASSAL
    VASSAL è un motore di gioco per creare
    versioni elettroniche della scheda tradizionale
    e giochi di carte. Fornisce supporto per
    rendering e interazione dei pezzi di gioco,
    e ...
    Scarica il motore VASSAL
  • 3
    OpenPDF - Fork di iText
    OpenPDF - Fork di iText
    OpenPDF è una libreria Java per la creazione
    e la modifica di file PDF con un LGPL e
    Licenza open source MPL. OpenPDF è il
    LGPL/MPL successore open source di iText,
    un ...
    Scarica OpenPDF - Fork di iText
  • 4
    SAGA GIS
    SAGA GIS
    SAGA - Sistema per Automatizzato
    Analisi Geoscientifiche - è un Geografico
    Software del sistema informativo (GIS) con
    immense capacità per i dati geografici
    elaborazione e ana...
    Scarica SAGA GIS
  • 5
    Toolbox per Java/JTOpen
    Toolbox per Java/JTOpen
    IBM Toolbox per Java / JTOpen è un
    libreria di classi Java che supportano il
    client/server e programmazione internet
    modelli su un sistema che esegue OS/400,
    i5/OS, o...
    Scarica Toolbox per Java/JTOpen
  • 6
    D3.js
    D3.js
    D3.js (o D3 per i documenti basati sui dati)
    è una libreria JavaScript che ti consente
    produrre dati dinamici e interattivi
    visualizzazioni nei browser web. Con D3
    tu...
    Scarica D3.js
  • Di Più "

Comandi Linux

Ad