이는 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공자에서 실행할 수 있는 atdcat 명령입니다.
프로그램:
이름
atdcat - ATD 파일의 구문 검사 및 변환
개요
atdcat [옵션...] 파일
기술
atdcat ATD 파일에 대한 구문 검사 및 예쁜 인쇄를 수행합니다. 또한 다음을 수행할 수도 있습니다.
상속 계층의 단일 형태화나 평면화와 같은 변환.
옵션
-x 유형 표현식을 단형으로 만들기
-xk 매개변수화된 유형 정의를 유지하고 암시합니다. -x. 기본값은 반환만 합니다.
단형 유형 정의
-xd 디버그 모드 의미 -x
-i 모든 `상속` 문장 확장
-만약 레코드에서 `상속` 문 확장
-iv 합계 유형에서 `inherit` 문 확장
-ml
ATD 추상 구문 트리의 ocaml 코드를 출력합니다.
-html-doc
직접 교체하다 <doc html="..."> by (*html ... *) 또는 교체 <doc 텍스트="..."> by
(*html ... *) 내용이 HTML로 포맷되는 경우 , 그리고 .
이것은 적합한 입력입니다 caml2html -내선 html:고양이ATD 파일을 변환하는 ,
HTML.
-조각 이름1[, 이름2,...]
양식의 모든 주석을 제거합니다 <NAME1 ...>, <NAME2 ...>등
-스트립올
모든 주석을 제거하다
-번역
버전을 출력하고 종료합니다
-도움 | --도움
인쇄 옵션 및 종료
onworks.net 서비스를 사용하여 atdcat을 온라인으로 사용하세요
