.TH typer 1 "dialyzer 6.0.2" "Ericsson AB" "Erlang Module Definition"
.SH "نام (NAME)"
typer \- حاشیه‌نویس نوع داده برای برنامه‌های ارلنگ
.SH "توضیحات (DESCRIPTION)"
.PP
ابزار TypEr اطلاعات نوع داده (type) را برای ماژول‌های ارلنگ (Erlang) نمایش می‌دهد. علاوه بر این، می‌تواند کد فایل‌ها را با این‌گونه اطلاعات نوع داده حاشیه‌نویسی (annotate) کند.

.SS "استفاده از TypEr (Using TypEr)"

.PP
ابزار TypEr از طریق خط فرمان استفاده می‌شود. این بخش توضیح مختصری از گزینه‌ها را ارائه می‌دهد. اطلاعات مشابه را می‌توان با نوشتن دستور زیر در شل دریافت کرد:

.IP
.nf
typer --help

.fi

.PP
\fIنحوه استفاده:\fR

.IP
.nf
typer [--help] [--version] [--plt PLT] [--edoc]
      [--show | --show-exported | --annotate | --annotate-inc-files | --annotate-in-place]
      [-Ddefine]* [-I include_dir]* [-pa dir]* [-pz dir]*
      [-T application]* file* [-r directory*]

.fi

.PP
\fBنکته: \fRعلامت * نشان می‌دهد که تکرار چندباره این گزینه امکان‌پذیر است.


.PP
\fIگزینه‌ها:\fR

-r
.RS 2
جستجوی بازگشتی در دایرکتوری‌ها برای یافتن فایل‌های .erl موجود در آن‌ها. اگر فهرستی از فایل‌ها ارائه شده باشد، این گزینه باید بعد از آن‌ها قرار گیرد.


.RE

--show
.RS 2
چاپ مشخصات نوع داده برای تمام توابع در خروجی استاندارد (stdout). (این رفتار پیش‌فرض است و این گزینه واقعاً الزامی نیست.)


.RE

--show-exported (or show_exported)
.RS 2
مشابه 
\fI--show\fR، اما مشخصات نوع داده را فقط برای توابع صادرشده (exported) چاپ می‌کند. مشخصات به صورت مرتب‌شده بر اساس حروف الفبای نام تابع نمایش داده می‌شوند.

.RE

--annotate
.RS 2
حاشیه‌نویسی فایل‌های مشخص‌شده با مشخصات نوع داده.


.RE

--annotate-inc-files
.RS 2
مشابه 
\fI--annotate\fR، اما تمام فایل‌های \fI-include()\fR را نیز در کنار فایل‌های .erl حاشیه‌نویسی می‌کند. (از این گزینه با احتیاط استفاده کنید — این گزینه به خوبی آزمایش نشده است.)

.RE

--annotate-in-place
.RS 2
حاشیه‌نویسی مستقیم در فایل‌های کد منبع اصلی، به جای قرار دادن فایل‌های حاشیه‌نویسی‌شده در یک دایرکتوری مجزا. (از این گزینه با احتیاط استفاده کنید — این گزینه به خوبی آزمایش نشده است.)


.RE

--edoc
.RS 2
چاپ اطلاعات نوع داده به عنوان کامنت‌های \fI@spec\fR ابزار Edoc، نه به صورت مشخصات نوع داده.

.RE

--plt
.RS 2
استفاده از فایل PLT دیالایزر (Dialyzer) مشخص‌شده به جای فایل پیش‌فرض.


.RE

-T file*
.RS 2
فایل(های) مشخص‌شده از قبل حاوی مشخصات نوع داده هستند و برای چاپ مشخصات سایر فایل‌ها، به اطلاعات آن‌ها اعتماد می‌شود. (می‌توان چندین فایل یا دایرکتوری را با فاصله مشخص کرد.)


.RE

-Dname (or -Dname=value)
.RS 2
ارسال نام(های) تعریف‌شده به TypEr. (**)


.RE

-I
.RS 2
ارسال include_dir به TypEr. (**)


.RE

-pa dir
.RS 2
افزودن 
\fIdir\fR به مسیر (path) ارلنگ. این گزینه هنگام تحلیل فایل‌هایی که از دستورات \fI-include_lib()\fR یا تحولات تجزیه (parse transforms) استفاده می‌کنند، مفید است.

.RE

-pz dir
.RS 2
افزودن 
\fIdir\fR به انتهای مسیر (path) ارلنگ. این گزینه هنگام تحلیل فایل‌هایی که از دستورات \fI-include_lib()\fR یا تحولات تجزیه (parse transforms) استفاده می‌کنند، مفید است.

.RE

--version (or -v)
.RS 2
چاپ نسخه TypEr و برخی اطلاعات بیشتر و خروج.


.RE

.PP
\fBنکته: \fR** گزینه‌های \fI-D\fR و \fI-I\fR دقیقاً مشابه با erlc عمل می‌کنند.