.\"**************************************************************************
.\"*                                                                        *
.\"*                                 OCaml                                  *
.\"*                                                                        *
.\"*             Xavier Leroy, projet Cristal, INRIA Rocquencourt           *
.\"*                                                                        *
.\"*   Copyright 1996 Institut National de Recherche en Informatique et     *
.\"*     en Automatique.                                                    *
.\"*                                                                        *
.\"*   All rights reserved.  This file is distributed under the terms of    *
.\"*   the GNU Lesser General Public License version 2.1, with the          *
.\"*   special exception on linking described in the file LICENSE.          *
.\"*                                                                        *
.\"**************************************************************************
.\"
.TH OCAMLLEX 1

.SH "نام (NAME)"
ocamllex \- تولیدکننده تحلیل‌گر لغوی (lexer) برای زبان OCaml

.SH "خلاصه دستور (SYNOPSIS)"
.B ocamllex
[
.BI \-o " output-file"
]
[
.B \-ml
]
.I filename.mll

.SH "توضیحات (DESCRIPTION)"

دستور
.BR ocamllex (1)
تحلیل‌گرهای لغوی (lexers) زبان OCaml را بر مبنای مجموعه‌ای از عبارات باقاعده (regular expressions) به همراه کنش‌های معنایی متناظر، به سبک
.BR lex (1)
تولید می‌کند.

اجرای
.BR ocamllex (1)
روی فایل ورودی
.IR lexer \&.mll
کد OCaml یک تحلیل‌گر لغوی را در فایل
.IR lexer \&.ml
تولید می‌نماید.

این فایل به ازای هر نقطه ورود (entry point) در تعریف تحلیل‌گر لغوی، یک تابع تحلیل لغوی تعریف می‌کند. این توابع همنام با نقاط ورود هستند. توابع تحلیل لغوی یک بافر تحلیل‌گر (lexer buffer) را به عنوان آرگومان دریافت کرده و صفت معنایی نقطه ورود متناظر را بازمی‌گردانند.

بافرهای تحلیل‌گر لغوی یک نوع داده انتزاعی هستند که در ماژول کتابخانه استاندارد Lexing پیاده‌سازی شده‌اند. توابع Lexing.from_channel، Lexing.from_string و Lexing.from_function به ترتیب بافرهای تحلیلی ایجاد می‌کنند که داده‌ها را از یک کانال ورودی، یک رشته کاراکتری یا هر تابع خواندن دیگری می‌خوانند.

هنگامی که همراه با یک تجزیه‌کننده (parser) تولیدشده توسط
.BR ocamlyacc (1)
استفاده شود، کنش‌های معنایی مقداری متعلق به نوع token تعریف‌شده توسط ماژول تجزیه‌کننده تولیدی را محاسبه می‌کنند.

.SH "گزینه‌ها (OPTIONS)"

دستور
.BR ocamllex (1)
گزینه‌های زیر را پشتیبانی می‌کند:
.TP
.B \-ml
کدی را در خروجی تولید می‌کند که از مفسر اتوماتای پیش‌ساخته OCaml استفاده نمی‌کند. در عوض، خود خودکار (automaton) به صورت توابع OCaml کدگذاری می‌شود. این گزینه عمدتاً برای اشکال‌زدایی
.BR ocamllex (1)
مفید است و استفاده از آن برای تحلیل‌گرهای محیط عملیاتی توصیه نمی‌شود.
.TP
.BI \-o " output\-file"
نام فایل خروجی تولیدشده توسط
.BR ocamllex (1)
را مشخص می‌کند. مقدار پیش‌فرض، همان نام فایل ورودی است که پسوند آن با .ml جایگزین شده است.
.TP
.B \-q
حالت بی‌صدا (Quiet). دستور
.BR ocamllex (1)
در حالت عادی پیام‌های اطلاعاتی را به خروجی استاندارد می‌فرستد. در صورت استفاده از گزینه
.B \-q
این پیام‌ها متوقف و خاموش می‌شوند.
.TP
.BR \-v " یا " \-version
نمایش رشته نسخه و خروج.
.TP
.B \-vnum
نمایش نسخه کوتاه و خروج.
.TP
.BR \-help " یا " \-\-help
نمایش یک خلاصه کوتاه از نحوه استفاده و خروج.

.SH "همچنین ببینید (SEE ALSO)"
.BR ocamlyacc (1).
.br
.IR "راهنمای کاربری OCaml" ,
فصل "Lexer and parser generators".