InglesPransesEspanyol

OnWorks favicon

atdcat - Online sa Cloud

Patakbuhin ang atdcat sa OnWorks na libreng hosting provider sa Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator

Ito ang command atdcat na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator

PROGRAMA:

NAME


atdcat - pagsusuri ng syntax at pagbabago ng mga file ng ATD

SINOPSIS


atdcat [mga pagpipilian...] file

DESCRIPTION


atdcat nagsasagawa ng syntax checking at magandang pag-print sa mga ATD file. Maaari rin itong gumanap
mga pagbabagong-anyo, tulad ng monomorphization o pag-flatte ng mga hierarchy ng mana.

Opsyon


-x gawing monomorphic ang mga uri ng expression

-xk panatilihin ang parametrized na mga kahulugan ng uri at ipahiwatig -x. Default ay bumalik lamang
mga kahulugan ng uri ng monomorphic

-xd ipinahihiwatig ng debug mode -x

-i palawakin ang lahat ng `inherit' na pahayag

-kung palawakin ang mga pahayag na `manahin' sa mga talaan

-iv palawakin ang mga pahayag na `manahin' sa mga uri ng kabuuan

-ml
output ang ocaml code ng ATD abstract syntax tree

-html-doc
direktang palitan <doc html="..."> by (*html ... *) o palitan <doc text="..."> by
(*html ... *) kung saan ang mga nilalaman ay naka-format bilang HTML gamit , at .
Ito ay angkop na input para sa caml2html -ext html: pusa, na nagko-convert ng mga ATD file sa
Html.

- strip NAME1[,NAME2,...]
alisin ang lahat ng anotasyon ng form <NAME1 ...>, <NAME2 ...>, Atbp

-strip-lahat
alisin ang lahat ng anotasyon

-version
i-print ang bersyon at lumabas

-tulong | - Tumulong
mga opsyon sa pag-print at paglabas

Gamitin ang atdcat online gamit ang mga serbisyo ng onworks.net


Mga Libreng Server at Workstation

Mag-download ng Windows at Linux apps

  • 1
    unitedrpms
    unitedrpms
    Samahan kami sa Gitter!
    https://gitter.im/unitedrpms-people/Lobby
    Paganahin ang URPMS repository sa iyong
    sistema -
    https://github.com/UnitedRPMs/unitedrpms.github.io/bl...
    I-download ang unitedrpms
  • 2
    Palakasin ang Mga Aklatan ng C++
    Palakasin ang Mga Aklatan ng C++
    Nagbibigay ang Boost ng libreng portable
    peer-reviewed na mga aklatan ng C++. Ang
    ang diin ay sa mga portable na aklatan na
    gumana nang maayos sa C++ Standard Library.
    Tingnan ang http://www.bo...
    I-download ang Boost C++ Libraries
  • 3
    VirtualGL
    VirtualGL
    Ang VirtualGL ay nagre-redirect ng mga 3D na utos mula sa a
    Unix/Linux OpenGL application papunta sa a
    server-side GPU at kino-convert ang
    nag-render ng mga 3D na larawan sa isang video stream
    kung saan ...
    I-download ang VirtualGL
  • 4
    libusb
    libusb
    Library upang paganahin ang espasyo ng gumagamit
    mga programa ng aplikasyon upang makipag-usap
    Mga USB device. Audience: Mga Developer, End
    Mga user/Desktop. Wika ng Programming: C.
    Mga kategorya...
    I-download ang libusb
  • 5
    SWIG
    SWIG
    Ang SWIG ay isang software development tool
    na nag-uugnay sa mga programang nakasulat sa C at
    C++ na may iba't ibang mataas na antas
    mga programming language. Ang SWIG ay ginagamit kasama ng
    iba...
    I-download ang SWIG
  • 6
    WooCommerce Nextjs React Theme
    WooCommerce Nextjs React Theme
    React WooCommerce theme, built with
    Susunod na JS, Webpack, Babel, Node, at
    Express, gamit ang GraphQL at Apollo
    Kliyente. Tindahan ng WooCommerce sa React(
    naglalaman ng: Mga produkto...
    I-download ang WooCommerce Nextjs React Theme
  • Marami pa »

Linux command

Ad