Đây là bộ gõ lệnh có thể chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi như Ubuntu Online, Fedora Online, trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
typer - TypEr, một loại chú thích của mã Erlang
MÔ TẢ
TypEr là một công cụ hiển thị và tự động chèn các chú thích kiểu trong mã Erlang.
Nó sử dụng Dialyzer để suy ra các kiểu biến.
SỬ DỤNG
trình đánh máy [--help] [--version] [--comments] [--plt PltFile]
[--show | --show-export | --annotate | --annotate-inc-files]
[-Xác định] * [-Tôi gồm_dir] * [-T ứng dụng] * [-r] tệp *
Tùy chọn:
-r dir
Tìm kiếm đệ quy các thư mục cho các tệp .erl bên dưới chúng.
--chỉ
In thông số kỹ thuật loại cho tất cả các chức năng trên stdout (đây là mặc định
cư xử; tùy chọn này không thực sự cần thiết).
--show-export
Tương tự như --show, nhưng chỉ in thông số kỹ thuật cho các chức năng đã xuất. Thông số kỹ thuật là
được sắp xếp theo thứ tự bảng chữ cái trên tên của chức năng.
--chú thích
Chú thích các tệp được chỉ định với thông số kỹ thuật loại.
--annotate-inc-tệp
Tương tự như --annotate nhưng chú thích tất cả các tệp -include () cũng như tất cả các tệp .erl (sử dụng
tùy chọn này một cách thận trọng, nó đã không được thử nghiệm nhiều).
--bình luận
In thông tin nhập bằng cách sử dụng chú thích Edoc, không nhập hợp đồng.
--plt tập tin Plt
Sử dụng tệp Dialyzer PLT được chỉ định thay vì tệp mặc định.
-T hồ sơ
Tập tin hồ sơ đã chứa thông số kỹ thuật loại và các thông số kỹ thuật này là
được tin cậy để in thông số kỹ thuật cho phần còn lại của tệp. (Nhiều tệp hoặc
có thể được chỉ định các dirs, được phân tách bằng dấu cách.)
-Tên (Hoặc -Tên = giá trị)
Chuyển tên đã xác định cho TypEr. (Cú pháp của định nghĩa giống như cú pháp được sử dụng
by sai lầm, Xem sai lầm(1).)
-I bao gồm_dir
Chuyển include_dir đến TypEr. (Cú pháp của include giống với cú pháp được sử dụng
by sai lầm, Xem sai lầm(1).)
--phiên bản (Hoặc -v)
In phiên bản TypEr và thoát.
--Cứu giúp (Hoặc -h)
In thông báo trợ giúp và thoát.
Lưu ý:
* biểu thị rằng có thể có nhiều lần xuất hiện của các tùy chọn này.
Sử dụng typer trực tuyến bằng các dịch vụ onworks.net