Description

ر ۱۴۰۲ د ران ا ز : ن ، ا م زاده ی ۱
.۱
در ا ، ا ارANTLR و ز ن وا، ای ز نLogicPL ( انرا در ا ر دار ) ی و ی و در ا و رد را ا ده از ا یوا ای . ا اف ا ز ارد ز ا د:
1. ی: ای ا از ا ارtoken ، ANTLR ی ردد را ده و ده زی . ای ا ر در ا د ی رد زز ن را ا ده از رات .
2. ی: در ا از ، ا ا ا ی ، ا ز نLogicPL راANTLR ده زی . ا ای ام از ا ا د ما ب و ا ل ورودی ی و ر درparse ا د را
. دا در ا ز زی ده زی ا ای ر ارور
. ای ل، اردی و د دو م، ار ع ی ه، رRValue وLValue دن ، و … از ارد ط درز ی ی ر . ا ا ر رود ارد ط ی و ی د درز ن را رت ده زی و ا ارد در ی د ر رد ر ار
. ا در ا ز ی او در ان ر ه و
دی ا م
۲. و
در ادا ، از ی و ی،action ز ن وا و
: پpre-order را رتparse ی درnode ا د ا
1. م ر ن ، م را رت ز ( از ه ی د رات دا ان)پ :
2
3
4
5
6
7
FunctionDec: #name_of_function
ار ن ی ، م ار ن را رت ز پ : م ر ن .
ArgumentDec: #name_of_argument
(ارا دی)، م ان را رت ز پ : ن . ر
VarDec: #name_of_variable
رreturn ان را رت ز پ : ه ی د رت .در
Return
رprint ان را رت ز پ : ه د رت .در
Built-in: print
ی ا (main ) ان را رت ز پ : ن رت ر . در
MainBody
ا ا ان اره ( درexpression )، ان را رت ز ه ی رت
: . در
FunctionCall
ه ی د رfor ، ان را رت ز پ : رت . در
Loop: for
پ
8
9. در رت ر نpredicate م ان را رت ز پ :
Predicate: #name_of_predicate
10.در رت ر ن رتimplication ان را رت ز پ :
Implication
ای دو ا ا را در در رت رتpost-order .
د ان پ د (در در دوم و در اول، ی ی
د ز دارد). دو ی در ی رت ،
پ . ی [ ] ( ) را رت ز ه ی ، د رت
.
Operator : #operator_symbol
: را رت ز پ a / b + c * d ای رت ان ل
Operator : /

Operator : *

Operator : +
رت
رت
در
پ
، در رتparse ا رت رت ز ا د.

: ارد ا ه را در و د و از ار دادن ی و و …
دداری .
ایgrammar.g4 ر ر د ر د ا از دن: را ا بGenerate ANTLER Recognizer رو را ده وANTLER ر
. از ن ی رrun دن روی ، و رد را .
۴. ت
● ا وژه را رت و ا م د .
● از ا د وژه ، وژه ا دا ا م ا .
● د و ی رت د ر . ا زم ا ا نو ی د و ی ا ه . در رت ما ، ر د ا ن ا د.
● ا ا ت د را از ا در وه درس ح .
● در رت ا از ( د د ان، ا ده از یم ی ، ا ده از ی د رت ا و …) ، ا درس ان ردا .
● د را رتLogicPL.g4 ا د و م او ن ز ن راLogicPL ار .
و د ارز د ر در رت م ا ع و از د دادن هری ا د.
● ا د وژه از ا ی وه رت د.