camlp5r.opt - 클라우드의 온라인

프로그램:

이름

camlp5 - ocaml용 Pre-Precessor-Pretty-Printer
mkcamlp5 - 사용자 지정 camlp5 만들기
mkcamlp5.opt - 사용자 정의 camlp5 생성(네이티브 코드)
ocpp5 - 범용 전처리기

개요

캠프5 [ 로드 옵션 ] [--] [ 기타 옵션 ]
캠프포오 [ 로드 옵션 ] [--] [ 기타 옵션 ]
캠프5r [ 로드 옵션 ] [--] [ 기타 옵션 ]
캠프5sch [ 로드 옵션 ] [--] [ 기타 옵션 ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 [ 로드 옵션 ] 파일

캠프5o.opt [--] [ 다른 옵션 ]
camp5r.opt [--] [ 다른 옵션 ]

기술

캠프5 OCaml용 Pre-Processor-Pretty-Printer로 소스 파일을 파싱하고 인쇄합니다.
일부 결과는 표준 출력입니다.

캠프5o, 캠프5r 과 캠프5sch 의 버전입니다 캠프5 일부 파일이 이미 로드된 상태에서(참조
더 나아가).

camlp5o.cma, camlp5r.cma 과 camlp5sch.cma 사용하기 위해 ocaml toplevel에 로드할 파일입니다.
camlp5 기계

mkcamlp5 과 mkcamlp5.opt 와 거의 동일한 옵션으로 camlp5 실행 파일을 생성합니다.
ocamlmktop. 더 참조하십시오.

ocpp5 모든 종류의 소스 파일을 처리하고 동일한 파일을 생성하는 범용 전처리기입니다.
가능한 인용문이 확장된 텍스트.

캠프5o.opt 과 camp5r.opt 네이티브에 의해 컴파일된 camlp5o 및 camlp5r의 버전입니다.
코드 컴파일러 ocamlopt. 그것들은 더 빠르지만 확장할 수 없습니다. 그리고 그들은 사용할 수 없습니다
camlp5의 모든 설치.

ILOAD 옵션

로드 옵션은 OCaml 개체 파일에 기록된 구문 분석 및 인쇄 작업을 선택합니다.
(.cmo 또는 .cma로 끝남). 이러한 옵션의 여러 사용이 승인되었습니다. 그들은 반드시
다른 옵션보다 우선합니다.

선택 사항 -- 로드 옵션을 종료할 수 있습니다.

-I 예배 규칙서
추가 예배 규칙서 로드된 파일의 검색 경로에서 -nolib 옵션이 없으면
사용하면 camlp5 라이브러리 디렉토리가 경로에 추가됩니다. 경고: 없습니다
현재 디렉토리에서 자동 검색: "-I"를 추가합니다. 이것을 위해.

-어디 camlp5 라이브러리 디렉토리 이름을 출력하고 종료합니다.

-놀립 camlp5 라이브러리 디렉토리에서 개체 파일을 자동으로 검색하지 않습니다.

개체 파일
파일은 camlp5 코어에 로드됩니다.

기타 옵션

다른 옵션은 다음과 같습니다.

파일 치료 파일 .mli로 끝나는 경우 인터페이스 파일로, 구현 파일로
.ml로 끝나는 경우.

-intf 파일
치료 파일 확장자에 관계없이 인터페이스 파일로.

-impl 파일
치료 파일 확장자에 관계없이 구현 파일로.

-위험한
배열 및 문자열에 대한 안전하지 않은 액세스를 생성합니다.

-노어설트
어설션 검사를 컴파일하지 마십시오.

-말 수가 많은
구문 분석 오류가 더 장황합니다.

-QD 파일
덤핑 파일 인용 확장의 결과에 구문 오류가 있는 경우.

-o 아웃파일
표준 출력 대신 파일 외부에 결과를 인쇄합니다. 다음으로 파일이 열립니다.
open_out_bin(OCaml 라이브러리 Pervasives 참조).

-v 버전 번호를 인쇄하고 종료합니다.

-도움 사용 가능한 옵션을 인쇄하고 종료합니다. 이 인쇄물에는 가능한 옵션이 포함되어 있습니다.
로드된 개체 파일에 의해 추가됩니다.

다른 옵션은 로드된 개체 파일에 의해 확장될 수 있습니다. 제공된 파일은
다음과 같은 옵션 :

-l 선 길이
pr_o.cmo 및 pr_r.cmo에 의해 추가됨: 줄 길이를 설정합니다(기본값 78).

-XNUMX월 현
pr_o.cmo 및 pr_r.cmo에 의해 추가됨: 대신 이 문자열을 구 사이에 인쇄합니다.
댓글이 있습니다.

-no_ss pr_o.cmo에 의해 추가됨: 이중 세미콜론을 인쇄하지 마십시오.

-D ident
pa_macro.cmo에 의해 추가됨: ident를 정의합니다.

-U ident
pa_macro.cmo에 의해 추가됨: ident 정의를 해제합니다.

제공 파일

이 파일은 /usr/lib/ocaml/camlp5 디렉토리에 설치됩니다.

파싱 ​​파일:
pa_r.cmo: 수정된 구문
pa_rp.cmo: 스트림 및 파서
pa_lexer.cmo: 렉서
pa_o.cmo: 일반 구문
pa_op.cmo: 스트림 및 파서
pa_oop.cmo: 스트림 및 파서(코드 최적화 없음)
pa_scheme.cmo: 체계 구문
pa_extend.cmo: 문법에 대한 구문 확장
pa_extfold.cmo: FOLD0 및 FOLD1을 사용한 pa_extend 확장
pa_extfun.cmo: 확장 가능한 기능을 위한 구문 확장
pa_extprint.cmo: 확장 가능한 프린터용 구문 확장
pa_pprintf.cmo: pprintf 문의 구문 확장
pa_fstream.cmo: 기능 스트림에 대한 구문 확장
pa_macro.cmo: C에서와 같이 매크로 추가(ifdef, define)
pa_lefteval.cmo: 매개변수의 왼쪽에서 오른쪽 평가
pa_pragma.cmo: 지시문 #pragma

파일 인쇄:
pr_r.cmo: 개체 및 레이블이 없는 수정된 구문
pr_ro.cmo: 개체 및 레이블에 대한 수정된 구문
pr_rp.cmo: 스트림 및 구문 분석기 구문을 다시 작성해 보십시오.
pr_o.cmo: 일반 구문
pr_op.cmo: 스트림 및 구문 분석기 구문을 다시 작성해 보십시오.
pr_scheme.cmo: 스키마 구문
pr_schemep.cmo: 스트림 및 구문 분석기 구문 재구축 시도
pr_extend.cmo: EXTEND 문 재구축 시도
pr_extfun.cmo: extfun 문을 다시 작성하십시오.
pr_extprint.cmo: EXTEND_PRINTER 문 재구축 시도
pr_dump.cmo: ocaml 컴파일러용 덤프 구문 트리
pr_depend.cmo: 파일 종속성
pr_null.cmo: 출력 없음

인용 확장기:
q_MLast.cmo: 구문 트리 노드(수정된 구문에서)
q_ast.cmo: 사용자 전체 구문의 구문 트리 노드
q_phony.cmo: 예쁜 인쇄를 위한 인용문 유지

명령 캠프포오 는 다음의 바로 가기입니다.
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

명령 캠프5r 는 다음의 바로 가기입니다.
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

명령 캠프5sch 는 다음의 바로 가기입니다.
camlp5 pa_scheme.cmo pr_dump.cmo

파일 camlp5o.cma OCaml 구문으로 camlp5를 시작하기 위해 최상위 수준에서 로드할 수 있습니다.

파일 camlp5r.cma 수정된 구문으로 camlp5를 시작하기 위해 최상위 수준에서 로드할 수 있습니다.

파일 camlp5sch.cma Scheme 구문으로 camlp5를 시작하기 위해 최상위 수준에서 로드할 수 있습니다.

MKCAMLP5

mkcamlp5 과 mkcamlp5.opt 와 거의 동일한 옵션으로 camlp5 실행 파일을 생성합니다.
ocamlmktop. 버전 mkcamlp5.opt 네이티브 코드 실행 파일을 생성할 수 있지만 더 빠르지는 않습니다.
확장 가능.

mkcamlp5의 경우 표시할 인터페이스를 다음과 같이 명령줄에 명시적으로 추가해야 합니다.
".cmi" 파일. 예를 들어 OCaml 모듈 "str"을 추가하는 방법은 다음과 같습니다.
mkcamlp5 - 사용자 지정 str.cmi str.cma -cclib -lstr -o camlp5str

환경 변하기 쉬운

다음 환경 변수도 참조됩니다.

CAMLP5PARAM
문법 구문 분석 알고리즘 매개변수를 설정합니다. 이 변수는 다음의 시퀀스여야 합니다.
매개변수 사양. 매개변수 사양은 선택적으로 문자입니다.
= 및 값이 뒤따릅니다. 네 가지 가능한 매개변수가 있습니다.

b (역추적)
역추적 알고리즘을 기본값으로 설정합니다.

t (추적하다)
역추적을 사용하여 구문 분석하는 동안 기호(터미널 및 비터미널)를 추적합니다.

y (추적 지연)
역추적에서 입력 스트림의 진행을 추적합니다(고정되지 않은 토큰 수).
및 가능한 지연(토큰 테스트 수).

l (최대 정지)
최대 스톨 값을 설정합니다.

onworks.net 서비스를 사용하여 온라인으로 camlp5r.opt 사용