camlp5r - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

camlp5 - Pre-Precessor-Pretty-Printer ສໍາລັບ ocaml
mkcamlp5 - ສ້າງ camlp5
mkcamlp5.opt - ສ້າງ camlp5 ແບບກຳນົດເອງ (ລະຫັດເດີມ)
ocpp5 - ໂປເຊດເຊີທົ່ວໄປ

ສະຫຼຸບສັງລວມ

camp5 [ຕົວເລືອກການໂຫຼດ] [--] [ຕົວເລືອກອື່ນໆ]
camp5o [ຕົວເລືອກການໂຫຼດ] [--] [ຕົວເລືອກອື່ນໆ]
camlp5r [ຕົວເລືອກການໂຫຼດ] [--] [ຕົວເລືອກອື່ນໆ]
camlp5sch [ຕົວເລືອກການໂຫຼດ] [--] [ຕົວເລືອກອື່ນໆ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 [ຕົວ​ເລືອກ​ການ​ໂຫຼດ​] ໄຟລ​໌​

camlp5o.opt [--] [ທາງ​ເລືອກ​ອື່ນ​]
camlp5r.opt [--] [ທາງ​ເລືອກ​ອື່ນ​]

ລາຍລະອຽດ

camp5 ເປັນ Pre-Processor-Pretty-Printer ສໍາລັບ OCaml, parsing a source file ແລະການພິມ.
ຜົນໄດ້ຮັບບາງຢ່າງກ່ຽວກັບຜົນຜະລິດມາດຕະຖານ.

camp5o, camlp5r ແລະ camlp5sch ແມ່ນ​ສະ​ບັບ​ຂອງ​ camp5 ກັບບາງໄຟລ໌ທີ່ໂຫລດແລ້ວ (ເບິ່ງ
ຕື່ມອີກ).

camlp5o.cma, camlp5r.cma ແລະ camlp5sch.cma ແມ່ນໄຟລ໌ທີ່ຈະໂຫລດຢູ່ໃນ ocaml toplevel ເພື່ອໃຊ້
ເຄື່ອງຈັກ camlp5

mkcamlp5 ແລະ mkcamlp5.opt ສ້າງ camlp5 executables ກັບເກືອບທາງເລືອກດຽວກັນກ່ວາ
ocamlmktop. ເບິ່ງຕື່ມອີກ.

ocpp5 ເປັນ preprocessor ທົ່ວ​ໂລກ​, ການ​ປິ່ນ​ປົວ​ປະ​ເພດ​ຂອງ​ໄຟລ​໌​ແຫຼ່ງ​ໃດ​ຫນຶ່ງ​, ການ​ຜະ​ລິດ​ດຽວ​ກັນ​
ຂໍ້ຄວາມທີ່ມີວົງຢືມທີ່ເປັນໄປໄດ້ຂະຫຍາຍ.

camlp5o.opt ແລະ camlp5r.opt ແມ່ນສະບັບຂອງ camlp5o ແລະ camlp5r ລວບລວມໂດຍ native-
code compiler ocamlopt. ພວກມັນໄວກວ່າແຕ່ບໍ່ສາມາດຂະຫຍາຍໄດ້. ແລະພວກເຂົາບໍ່ມີຢູ່ໃນ
ການຕິດຕັ້ງທັງໝົດຂອງ camlp5.

ນ້ໍາຫນັກ OPTIONS

ຕົວເລືອກການໂຫຼດເລືອກການປະມວນຜົນແລະການພິມທີ່ບັນທຶກໄວ້ໃນໄຟລ໌ວັດຖຸ OCaml
(ລົງທ້າຍດ້ວຍ .cmo ຫຼື .cma). ການນຳໃຊ້ຫຼາຍທາງເລືອກເຫຼົ່ານີ້ໄດ້ຮັບອະນຸຍາດ. ພວກເຂົາຕ້ອງ
ນຳໜ້າທາງເລືອກອື່ນ.

ເປັນທາງເລືອກ -- ອາດຈະສິ້ນສຸດທາງເລືອກການໂຫຼດ.

-I ລະບົບ
ຕື່ມ ລະບົບ ໃນ​ເສັ້ນ​ທາງ​ການ​ຊອກ​ຫາ​ສໍາ​ລັບ​ໄຟລ​໌​ທີ່​ໄດ້​ໂຫຼດ​. ເວັ້ນເສຍແຕ່ວ່າທາງເລືອກ -nolib ແມ່ນ
ຖືກນໍາໃຊ້, ໄດເລກະທໍລີຫ້ອງສະຫມຸດ camlp5 ຖືກຕໍ່ທ້າຍກັບເສັ້ນທາງ. ຄໍາເຕືອນ: ບໍ່ມີ
ຄົ້ນຫາອັດຕະໂນມັດໃນໄດເລກະທໍລີປະຈຸບັນ: ເພີ່ມ "-I ." ສໍາລັບການນີ້.

- ບ່ອນໃດ ພິມຊື່ຫ້ອງສະໝຸດ camlp5 ແລະອອກ.

-nolib ບໍ່ມີການຄົ້ນຫາອັດຕະໂນມັດສໍາລັບໄຟລ໌ວັດຖຸໃນໄດເລກະທໍລີ camlp5.

object-file
ໄຟລ໌ຖືກໂຫລດຢູ່ໃນ camlp5 core.

ອື່ນໆ OPTIONS

ທາງເລືອກອື່ນແມ່ນ:

ເອກະສານ ໃຫ້ການປິ່ນປົວ ເອກະສານ ເປັນໄຟລ໌ການໂຕ້ຕອບຖ້າມັນລົງທ້າຍດ້ວຍ .mli ແລະເປັນໄຟລ໌ການປະຕິບັດ
ຖ້າມັນຈົບລົງດ້ວຍ .ml.

-intf ເອກະສານ
ໃຫ້ການປິ່ນປົວ ເອກະສານ ເປັນໄຟລ໌ການໂຕ້ຕອບ, ໃດກໍ່ຕາມການຂະຫຍາຍຂອງມັນ.

- impl ເອກະສານ
ໃຫ້ການປິ່ນປົວ ເອກະສານ ເປັນໄຟລ໌ການປະຕິບັດ, ໃດກໍ່ຕາມການຂະຫຍາຍຂອງມັນ.

- ບໍ່​ປອດ​ໄພ​
ສ້າງການເຂົ້າເຖິງທີ່ບໍ່ປອດໄພຕໍ່ກັບອາເຣ ແລະສະຕຣິງ.

-noassert
ຢ່າລວບລວມການກວດສອບການຢືນຢັນ.

- ກະດູກ
verbose ເພີ່ມເຕີມໃນຄວາມຜິດພາດການວິເຄາະ.

-QD ເອກະສານ
ຖິ້ມໃສ່ ເອກະສານ ໃນກໍລະນີຂອງ syntax ຜິດພາດໃນຜົນຂອງການຂະຫຍາຍວົງຢືມ.

-o ອອກໄຟລ໌
ພິມ​ຜົນ​ໄດ້​ຮັບ​ໃນ​ໄຟລ​໌​ອອກ​ແທນ​ທີ່​ຈະ​ເປັນ​ຜົນ​ຜະ​ລິດ​ມາດ​ຕະ​ຖານ​. ໄຟລ໌ຖືກເປີດດ້ວຍ
open_out_bin (ເບິ່ງ OCaml library Pervasives).

-v ພິມໝາຍເລກເວີຊັນ ແລະອອກ.

-ຊ່ວຍ ພິມທາງເລືອກທີ່ມີຢູ່ແລະອອກ. ການພິມນີ້ປະກອບມີທາງເລືອກທີ່ເປັນໄປໄດ້
ເພີ່ມໂດຍໄຟລ໌ວັດຖຸທີ່ໂຫລດ.

ທາງເລືອກອື່ນສາມາດຂະຫຍາຍໄດ້ໂດຍໄຟລ໌ວັດຖຸທີ່ໂຫລດ. ໄຟລ໌ທີ່ສະຫນອງໃຫ້ເພີ່ມ
ຕົວເລືອກຕໍ່ໄປນີ້:

-l ຄວາມຍາວເສັ້ນ
ເພີ່ມໂດຍ pr_o.cmo ແລະ pr_r.cmo: ກໍານົດຄວາມຍາວຂອງເສັ້ນ (ຄ່າເລີ່ມຕົ້ນ 78).

- ກັນຍາ string
ເພີ່ມໂດຍ pr_o.cmo ແລະ pr_r.cmo: ພິມຂໍ້ຄວາມນີ້ລະຫວ່າງປະໂຫຍກແທນ
ຄໍາເຫັນ

-no_ss ເພີ່ມໂດຍ pr_o.cmo: ຫ້າມພິມ semicolons ສອງເທົ່າ

-D ident
ເພີ່ມໂດຍ pa_macro.cmo: ກໍານົດຕົວຕົນ.

-U ident
ເພີ່ມໂດຍ pa_macro.cmo: ຍົກເລີກການລະບຸຕົວຕົນ.

ໄດ້ຮັບການອະນຸມັດ ເອກະສານ

ໄຟລ໌ເຫຼົ່ານີ້ຖືກຕິດຕັ້ງຢູ່ໃນໄດເລກະທໍລີ /usr/lib/ocaml/camlp5.

ການແຍກໄຟລ໌:
pa_r.cmo: syntax ປັບປຸງ
pa_rp.cmo: ການຖ່າຍທອດ ແລະຕົວວິເຄາະ
pa_lexer.cmo: lexers
pa_o.cmo: syntax ປົກກະຕິ
pa_op.cmo: ການຖ່າຍທອດ ແລະຕົວວິເຄາະ
pa_oop.cmo: streams ແລະ parser (ໂດຍບໍ່ມີການເພີ່ມປະສິດທິພາບລະຫັດ)
pa_scheme.cmo: scheme syntax
pa_extend.cmo: ການຂະຫຍາຍ syntax ສໍາລັບໄວຍາກອນ
pa_extfold.cmo: ສ່ວນຂະຫຍາຍຂອງ pa_extend ກັບ FOLD0 ແລະ FOLD1
pa_extfun.cmo: syntax extension ສໍາລັບຟັງຊັນທີ່ສາມາດຂະຫຍາຍໄດ້
pa_extprint.cmo: syntax extensions ສໍາລັບເຄື່ອງພິມທີ່ຂະຫຍາຍໄດ້
pa_pprintf.cmo: ການຂະຫຍາຍ syntax ສໍາລັບຄໍາຖະແຫຼງ pprintf
pa_fstream.cmo: ການຂະຫຍາຍ syntax ສໍາລັບສາຍນ້ໍາທີ່ເປັນປະໂຫຍດ
pa_macro.cmo: ເພີ່ມ macros (ifdef, define) ຄືໃນ C
pa_lefteval.cmo: ການປະເມີນຜົນຈາກຊ້າຍຫາຂວາຂອງພາລາມິເຕີ
pa_pragma.cmo: ທິດທາງ #pragma

ການພິມໄຟລ໌:
pr_r.cmo: syntax ດັດແກ້ໂດຍບໍ່ມີວັດຖຸແລະປ້າຍຊື່
pr_ro.cmo: syntax ສະບັບປັບປຸງສໍາລັບວັດຖຸ ແລະປ້າຍກຳກັບ
pr_rp.cmo: ພະຍາຍາມສ້າງການຖ່າຍທອດ ແລະ syntax parser ຄືນໃໝ່
pr_o.cmo: syntax ປົກກະຕິ
pr_op.cmo: ພະຍາຍາມສ້າງການຖ່າຍທອດ ແລະ syntax parser ຄືນໃໝ່
pr_scheme.cmo: ໂຄງຮ່າງການ syntax
pr_schemep.cmo: ພະຍາຍາມສ້າງການຖ່າຍທອດ ແລະ syntax parser ຄືນໃໝ່
pr_extend.cmo: ພະຍາຍາມສ້າງຄໍາຖະແຫຼງການ EXTEND ຄືນໃໝ່
pr_extfun.cmo: ພະຍາຍາມສ້າງຂໍ້ຄວາມ extfun ຄືນໃໝ່
pr_extprint.cmo: ພະຍາຍາມສ້າງໃບແຈ້ງຍອດ EXTEND_PRINTER ຄືນໃໝ່
pr_dump.cmo: dump syntax tree ສໍາລັບ ocaml compiler
pr_depend.cmo: ການຂຶ້ນກັບໄຟລ໌
pr_null.cmo: ບໍ່ມີຜົນຜະລິດ

ຕົວຂະຫຍາຍວົງຢືມ:
q_MLast.cmo: syntax tree nodes (ໃນ syntax ສະບັບປັບປຸງ)
q_ast.cmo: syntax tree nodes ໃນ syntax ເຕັມຂອງຜູ້ໃຊ້
q_phony.cmo​: ການ​ເກັບ​ຮັກ​ສາ​ວົງ​ຢືມ​ສໍາ​ລັບ​ການ​ພິມ pretty​

ຄໍາສັ່ງ camp5o ແມ່ນທາງລັດສໍາລັບ:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

ຄໍາສັ່ງ camlp5r ແມ່ນທາງລັດສໍາລັບ:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

ຄໍາສັ່ງ camlp5sch ແມ່ນທາງລັດສໍາລັບ:
camlp5 pa_scheme.cmo pr_dump.cmo

ໄຟລ໌ camlp5o.cma ສາມາດໂຫລດໄດ້ໃນລະດັບສູງສຸດເພື່ອເລີ່ມຕົ້ນ camlp5 ດ້ວຍ syntax OCaml.

ໄຟລ໌ camlp5r.cma ສາມາດໂຫລດໄດ້ໃນລະດັບສູງສຸດເພື່ອເລີ່ມຕົ້ນ camlp5 ດ້ວຍ syntax ສະບັບປັບປຸງ.

ໄຟລ໌ camlp5sch.cma ສາມາດໂຫລດໄດ້ໃນລະດັບສູງສຸດເພື່ອເລີ່ມຕົ້ນ camlp5 ດ້ວຍ Scheme syntax.

MKCAMLP5

mkcamlp5 ແລະ mkcamlp5.opt ສ້າງ camlp5 executables ກັບເກືອບທາງເລືອກດຽວກັນກ່ວາ
ocamlmktop. ສະບັບ mkcamlp5.opt ສາມາດສ້າງລະຫັດຕົ້ນສະບັບທີ່ສາມາດປະຕິບັດໄດ້, ໄວກວ່າແຕ່ບໍ່ແມ່ນ
ຂະຫຍາຍໄດ້.

ສໍາລັບ mkcamlp5, ການໂຕ້ຕອບທີ່ຈະເຫັນໄດ້ຕ້ອງໄດ້ຮັບການເພີ່ມຢ່າງຈະແຈ້ງໃນເສັ້ນຄໍາສັ່ງເປັນ
ໄຟລ໌ ".cmi". ຕົວຢ່າງ, ວິທີການເພີ່ມໂມດູນ OCaml "str":
mkcamlp5 -Custom str.cmi str.cma -cclib -lstr -o camlp5str

ENVIRONMENT ຄວາມເປັນໄປໄດ້

ຕົວແປສະພາບແວດລ້ອມຕໍ່ໄປນີ້ແມ່ນໄດ້ປຶກສາຫາລືເຊັ່ນກັນ:

CAMPP5PARAM
ຕັ້ງຄ່າຕົວກໍານົດການວິເຄາະໄວຍາກອນ. ຕົວແປນີ້ຕ້ອງເປັນລໍາດັບຂອງ
ຕົວກໍານົດການສະເພາະ. ຕົວກໍານົດການສະເພາະແມ່ນຕົວອັກສອນເປັນທາງເລືອກ
ຕິດຕາມດ້ວຍ = ແລະຄ່າ. ມີສີ່ຕົວກໍານົດການທີ່ເປັນໄປໄດ້:

b (ຍ້ອນຫຼັງ)
ຕັ້ງລະບົບ backtrack ເປັນຄ່າເລີ່ມຕົ້ນ.

t (ຕິດຕາມ)
ສັນຍາລັກຕິດຕາມ (terminals ແລະ non-terminals) ໃນຂະນະທີ່ parsing ກັບ backtracking.

y (ການຕິດຕາມ-ຢຸດ)
ໃນ backtracking, ຕິດຕາມຄວາມກ້າວຫນ້າໃນກະແສການປ້ອນຂໍ້ມູນ (ຈໍານວນຂອງ tokens unfrozen)
ແລະການຢຸດເຊົາທີ່ເປັນໄປໄດ້ (ຈໍານວນຂອງການທົດສອບ tokens).

l (ຢຸດການສູງສຸດ)
ກໍານົດຄ່າຢຸດສູງສຸດ.

ໃຊ້ camlp5r ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net