ເຄື່ອງພິມ - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

typer - TypEr, ເປັນຕົວອະທິບາຍປະເພດຂອງລະຫັດ Erlang

ລາຍລະອຽດ

TypEr ເປັນ​ເຄື່ອງ​ມື​ທີ່​ສະ​ແດງ​ແລະ​ອັດ​ຕະ​ໂນ​ມັດ​ໃສ່​ຄໍາ​ອະ​ທິ​ບາຍ​ປະ​ເພດ​ໃນ​ລະ​ຫັດ Erlang​.
ມັນໃຊ້ Dialyzer ເພື່ອສະຫຼຸບປະເພດຕົວແປ.

ການນໍາໃຊ້

typer [--help] [--version] [--comments] [--plt PltFile]
[--ສະແດງ | --show-exported | --ຄໍາບັນຍາຍ | --annotate-inc-files]
[-Ddefine]* [-I include_dir]* [-T application]* [-r] file*

ຕົວເລືອກ:

-r dir
ຄົ້ນຫາໄດເລກະທໍລີແບບ recursively ສໍາລັບໄຟລ໌ .erl ຢູ່ລຸ່ມພວກມັນ.

--ສະແດງ
ພິມຈໍາເພາະປະເພດສໍາລັບຟັງຊັນທັງຫມົດໃນ stdout (ນີ້ແມ່ນຄ່າເລີ່ມຕົ້ນ
ພຶດຕິກຳ; ທາງເລືອກນີ້ບໍ່ຈໍາເປັນແທ້ໆ).

--show-exported
ຄືກັນກັບ --show, ແຕ່ພິມສະເພາະສໍາລັບຟັງຊັນທີ່ສົ່ງອອກເທົ່ານັ້ນ. ສະເປັກແມ່ນ
ສະ​ແດງ​ການ​ຈັດ​ຮຽງ​ຕາມ​ຕົວ​ອັກ​ສອນ​ກ່ຽວ​ກັບ​ຊື່​ຂອງ​ຫນ້າ​ທີ່​.

--ອະທິບາຍ
ບັນຍາຍໄຟລ໌ທີ່ລະບຸໄວ້ກັບປະເພດສະເພາະ.

--annotate-inc-files
ຄືກັນກັບ --annotate ແຕ່ອະທິບາຍເຖິງໄຟລ໌ທັງໝົດ -include() ເຊັ່ນດຽວກັນກັບໄຟລ໌ .erl ທັງໝົດ (ໃຊ້
ທາງເລືອກນີ້ດ້ວຍຄວາມລະມັດລະວັງ, ມັນບໍ່ໄດ້ຖືກທົດສອບຫຼາຍ).

-- ຄໍາເຫັນ
ພິມຂໍ້ມູນປະເພດໂດຍໃຊ້ຄໍາເຫັນ Edoc, ບໍ່ແມ່ນປະເພດສັນຍາ.

--plt PltFile
ໃຊ້ໄຟລ໌ Dialyzer PLT ທີ່ລະບຸໄວ້ແທນທີ່ຈະເປັນຄ່າເລີ່ມຕົ້ນ.

-T ເອກະສານ
ໄຟລ໌ ເອກະສານ ແລ້ວມີຂໍ້ມູນສະເພາະປະເພດ ແລະຂໍ້ສະເພາະເຫຼົ່ານີ້ແມ່ນເພື່ອ
ໄວ້ໃຈເພື່ອພິມ specs ສໍາລັບສ່ວນທີ່ເຫຼືອຂອງໄຟລ໌. (ຫຼາຍໄຟລ໌ຫຼື
dirs, ແຍກອອກໂດຍຊ່ອງຫວ່າງ, ສາມາດຖືກກໍານົດ.)

- ຊື່ (ຫຼື -Dname=ຄ່າ)
ຖ່າຍທອດຊື່ທີ່ກຳນົດໃຫ້ TypEr. ( syntax ຂອງຄໍານິຍາມແມ່ນຄືກັນກັບທີ່ໃຊ້
by erlc, ເບິ່ງ erlc(1).

-I include_dir
ຜ່ານ include_dir ໄປ TypEr. ( syntax ຂອງ include ແມ່ນຄືກັນກັບທີ່ໃຊ້
by erlc, ເບິ່ງ erlc(1).

- ການປ່ຽນແປງ (ຫຼື -v)
ພິມສະບັບ TypEr ແລະອອກ.

- ຊ່ວຍ (ຫຼື -h)
ການພິມຊ່ວຍຂໍ້ຄວາມແລະອອກ.

ຫມາຍ​ເຫດ​:
* ໝາຍ​ເຖິງ​ການ​ເກີດ​ຂຶ້ນ​ຫຼາຍ​ອັນ​ຂອງ​ທາງ​ເລືອກ​ເຫຼົ່າ​ນີ້​ເປັນ​ໄປ​ໄດ້.

ໃຊ້ເຄື່ອງພິມອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net