Програмски преводиоци 1/Пројекат - Историја измена

Fedja: precizniji format

2023-08-19T13:17:28Z

precizniji format

← Старија измена		Верзија на датум 19. август 2023. у 15:17
Ред 114:		Ред 114:
	* Још један проблем са бесконачном рекурзијом у њиховој табели симбола може се десити уколико поредите класне типове са њиховом имплементацијом <code>equals</code>. Ако два класна типа имају исти број поља и метода, и барем једну методу, <code>equals</code> ће прећи на поређење тих метода и упасти у бесконачну рекурзију. Као и претходно, пошто оваквих тест примера генерално нема ово никоме не прави проблем. Са друге стране, пошто се на ову грешку најчешће наиђе приликом провере наткласа, може се специјално за случај када се ради о две класе користити оператор <code>==</code> за поређење референци.		* Још један проблем са бесконачном рекурзијом у њиховој табели симбола може се десити уколико поредите класне типове са њиховом имплементацијом <code>equals</code>. Ако два класна типа имају исти број поља и метода, и барем једну методу, <code>equals</code> ће прећи на поређење тих метода и упасти у бесконачну рекурзију. Као и претходно, пошто оваквих тест примера генерално нема ово никоме не прави проблем. Са друге стране, пошто се на ову грешку најчешће наиђе приликом провере наткласа, може се специјално за случај када се ради о две класе користити оператор <code>==</code> за поређење референци.
	* <code>assignableTo</code> метода у њиховој табели симбола не проверава да ли је једна класа подкласа друге, па је ову проверу потребно имплементирати (видети такође напомену изнад).		* <code>assignableTo</code> метода у њиховој табели симбола не проверава да ли је једна класа подкласа друге, па је ову проверу потребно имплементирати (видети такође напомену изнад).
	* Формат исписа чвора у <code>Tab.dump()</code> јесте <code><kind> <name> <type> <adr> <level></code>.		* Формат исписа чвора у <code>Tab.dump()</code> јесте <code><kind> <name>: <type>, <adr>, <level></code>.
	* Приликом постављања <code>type</code> поља објектним чворовима који представљају низове праве се нови <code>Struct</code> чворови, тако да два објектна чвора са истим низовском типом неће показивати на исти објекат у позадини. Ово генерално не прави никакав проблем.		* Приликом постављања <code>type</code> поља објектним чворовима који представљају низове праве се нови <code>Struct</code> чворови, тако да два објектна чвора са истим низовском типом неће показивати на исти објекат у позадини. Ово генерално не прави никакав проблем.
	* Када се кроз <code>Tab.insert()</code> убаци један објектни чвор у табелу симбола, његов <code>level</code> се аутоматски поставља на 0 уколико се ради о глобалном досегу и 1 уколико се ради о локалном. Ово је пожељно понашање за променљиве, али за методе, чији <code>level</code> треба да садржи број параметара, је прво потребно вратити <code>level</code> на 0 а затим га приликом обиласка сваког чвора синтаксног стабла за параметре повећавати за 1.		* Када се кроз <code>Tab.insert()</code> убаци један објектни чвор у табелу симбола, његов <code>level</code> се аутоматски поставља на 0 уколико се ради о глобалном досегу и 1 уколико се ради о локалном. Ово је пожељно понашање за променљиве, али за методе, чији <code>level</code> треба да садржи број параметара, је прво потребно вратити <code>level</code> на 0 а затим га приликом обиласка сваког чвора синтаксног стабла за параметре повећавати за 1.

Fedja: netačno ime ant run targeta

2023-06-22T18:27:19Z

netačno ime ant run targeta

← Старија измена		Верзија на датум 22. јун 2023. у 20:27
Ред 124:		Ред 124:
	* Ако су у поставци задатка дате неке глобалне функције, код за њих је потребно генерисати на неком месту (најбоље на почетку) а затим тим функцијама поставити адресу на та места где је изгенерисан код за њих.		* Ако су у поставци задатка дате неке глобалне функције, код за њих је потребно генерисати на неком месту (најбоље на почетку) а затим тим функцијама поставити адресу на та места где је изгенерисан код за њих.
	* Уколико желите да након генерисања кода тај код покренете тако да се приказује ток извршења програма и стање стека, можете додати ново правило попут:<syntaxhighlight lang="xml">		* Уколико желите да након генерисања кода тај код покренете тако да се приказује ток извршења програма и стање стека, можете додати ново правило попут:<syntaxhighlight lang="xml">
	<target name="~~runObj~~ debug" depends="disasm">		<target name="debug" depends="disasm">
	<java classname="rs.etf.pp1.mj.runtime.Run">		<java classname="rs.etf.pp1.mj.runtime.Run">
	<arg value="test/program.obj" />		<arg value="test/program.obj" />

Fedja: воркароунд за освежавање

2023-06-22T10:32:30Z

воркароунд за освежавање

← Старија измена		Верзија на датум 22. јун 2023. у 12:32
Ред 106:		Ред 106:
	# Важно је напоменути да се левој и десној страни не смеју додељивати називи класа са различитом капитализацијом (<code>AssignOp</code> и <code>Assignop</code>), јер се на фајл системима који се обично користе под ''Windows'' ови називи класа мапирају у исту Java датотеку. Ово је посебно опасно на оперативним системима ''Linux'' и ''macOS'', где до грешки овог типа неће доћи (већ ће се оне десити тек у лабораторији).		# Важно је напоменути да се левој и десној страни не смеју додељивати називи класа са различитом капитализацијом (<code>AssignOp</code> и <code>Assignop</code>), јер се на фајл системима који се обично користе под ''Windows'' ови називи класа мапирају у исту Java датотеку. Ово је посебно опасно на оперативним системима ''Linux'' и ''macOS'', где до грешки овог типа неће доћи (већ ће се оне десити тек у лабораторији).
	* Уколико сте дошли до овог дела а потребно вам је да регенеришете парсер, не заборавите да након регенерисања парсера освежите пројекат десним кликом на пројекат и опцијом ''Refresh''. Овај корак је потребан због тога што генерисање парсера позива спољашњи програм који без знања ''Eclipse'' мења фајлове унутар пројекта, и како би ''Eclipse'' знао да су се ти фајлови променили потребно је освежити их. Уколико ово не урадите, ''IntelliSense'' може пријављивати грешке које немају смисла и ''Eclipse'' може спречавати покретање компајлера због тога.		* Уколико сте дошли до овог дела а потребно вам је да регенеришете парсер, не заборавите да након регенерисања парсера освежите пројекат десним кликом на пројекат и опцијом ''Refresh''. Овај корак је потребан због тога што генерисање парсера позива спољашњи програм који без знања ''Eclipse'' мења фајлове унутар пројекта, и како би ''Eclipse'' знао да су се ти фајлови променили потребно је освежити их. Уколико ово не урадите, ''IntelliSense'' може пријављивати грешке које немају смисла и ''Eclipse'' може спречавати покретање компајлера због тога.
			** Ово се у ''Eclipse''-у може заобићи тако што се намести аутоматско освежавање након покретања спољашње ''Ant'' скрипте. То се ради тако што се у ''Project Explorer''-у кликне десни клик на ''build.xml'' скрипту, онда ''Run as -> External Tools Configuration'', онда се у искачућем прозору изабере таб ''Refresh'' и чекира се опција ''Refresh resources upon completion'' и ''The entire workspace'' у подменију.
	* <code>Compiler</code> класа је заправо скоро неизмењена <code>MJParserTest</code> класа из видео водича, тако да можете само њу да преименујете/преместите.		* <code>Compiler</code> класа је заправо скоро неизмењена <code>MJParserTest</code> класа из видео водича, тако да можете само њу да преименујете/преместите.
	; Табела симбола		; Табела симбола

KockaAdmiralac: Neke ispravke // Edit via Wikitext Extension for VSCode

2023-02-26T15:02:04Z

Neke ispravke // Edit via Wikitext Extension for VSCode

Прикажи измене

KockaAdmiralac: Dopune, ovo bi trebalo da je većinom spremno ali treba proveriti još jednom // Edit via Wikitext Extension for VSCode

2023-02-25T22:19:44Z

Dopune, ovo bi trebalo da je većinom spremno ali treba proveriti još jednom // Edit via Wikitext Extension for VSCode

Прикажи измене

KockaAdmiralac: Dopunjavanje, još uvek WIP // Edit via Wikitext Extension for VSCode

2023-02-24T23:32:06Z

Dopunjavanje, još uvek WIP // Edit via Wikitext Extension for VSCode

Прикажи измене

KockaAdmiralac: WIP // Edit via Wikitext Extension for VSCode

2023-02-16T21:11:36Z

WIP // Edit via Wikitext Extension for VSCode

Нова страница

'''Пројекат''' на предмету важи за једну од најтежих активности на њему због тога што захтева практичну примену знања стечених у трећем блоку (и понеких из првог и другог блока). Његова израда може захтевати око недељу дана константног рада (у зависности од нивоа за који радите) али се такође велики део тога може искористити из постојећих материјала са вежби и званичних видео водича за пројекат, на које ће се овај водич надаље ослањати.

== Основно ==
Идеја пројекта јесте конструкција преводиоца за Микројаву — поједностављену, школску варијанту језика Јава чија се спецификација помало мења из године у годину (али неке суштинске ствари остају исте). Преводилац из једног фајла са изворним кодом чита Микројава код по спецификацији датој уз текст пројекта (а одвојеној од саме поставке), пролази кроз четири фазе превођења (лексичку анализу, синтаксну анализу, семантичку анализу и генерисање кода) и његов крајњи резултат јесте објектна датотека са Микројава бајткодом. Тај објектни фајл се затим може извршавати преко Микројава виртуелне машине (чија је имплементација већ дата и не може се мењати) и на основу неког уноса произвести неки излаз.

За пројекат је потребно гледати вежбе трећег блока из табеле симбола и Микројава виртуелне машине, и евентуално вежбе првог и другог блока из JFlex и CUP. Такође су доступни видео водичи за пројекат са странице предмета, које је корисно погледати као увод у алате и нека генерална очекивања. Ти водичи су енкодовани неким јако застарелим кодеком, а реенкодовани снимци се могу наћи [https://studentetfbgacrs-my.sharepoint.com/:f:/g/personal/sa190595d_student_etf_bg_ac_rs/EvsffqNW2DBEhOcMqJ4xmFQBW5n-doL8EF58qMZ6qMbnDQ овде.]

Пре него што пређете на даље одељке, '''препоручује се да прочитате поставку пројекта.''' Микројава спецификацију не морате читати, јер ће вам она највише значити приликом самог развијања пројекта.

== Поставка ==
Сада када сте прочитали поставку, о њој је потребно рећи пар речи.
* Структура пројекта уопште не мора да буде онаква каква пише у поставци. То значи:
** Пакет не мора да се зове <code>rs.ac.bg.etf.pp1</code>.
** Не постоји конкретан директоријум у који морате да сместите спецификације лексера и парсера.
** Није обавезно коришћење JDK 1.8 (мада је препоручено)
** Класе не морају да се зову <code>Compiler</code>, <code>SemanticAnalyzer</code> i <code>CodeGenerator</code>.
* На одбрани се мање-више гледа само излаз преведеног Микројава програма за модификацију и за јавни тест одговарајућег нивоа за који радите. Ово у пракси значи:
** Нико неће проверавати формат грешке лексера.
** Нико неће проверавати да ли се успешно ради опоравак од грешке.
*** Ипак, препоручује се да пробате овај део да одрадите, али ако на неком месту не ради то није велики проблем.
** Нико неће проверавати да ли нисте користили <code>%precedence</code> (али нико неће ни објаснити како се користи).
** Нико неће проверавати како су именовани нетерминали нити класе које одговарају гранама тих нетерминала.
** Нико неће проверавати да ли сте додали акције у спецификацију парсера.
*** Свакако се препоручује да потребне акције обављате кроз одговарајуће посетиоце стабла, јер у спецификацији парсера није доступан IntelliSense.
** Није много вероватно да ће предметни сарадници погледати да ли користите њихову табелу симбола, да ли сте је распаковали и превели поново или користите неку потпуно другу имплементацију.
*** Ипак, коришћење њихове табеле симбола носи са собом погодност да ћете увежбати рад са њом па нећете много морати да обнављате за такве задатке на испиту.
** Нико неће проверавати да ли сте имплементирали методу <code>tsdump()</code>.
** Нико неће проверавати да ли исписујете симболе при њиховој детекцији.
** Слабо ће се проверавати да ли се пријављују семантичке грешке.
*** Ипак, пошто током семантичке обраде свакако мора да се попуни табела симбола, вреди додати ове провере, у крајњем случају зато што ће вама значити уколико будете писали своје тест примере и напишете нешто семантички неисправно.
*** Може да се деси да неке ствари из јавних тестова или тестова за модификације које су закоментарисане морају да пријаве семантичке грешке, и да их предметни сарадници откоментаришу приликом одбране.
** Нико неће проверавати да ли се путање до улазних и излазних фајлова прослеђују кроз аргументе командне линије.
* На одбрани се не тражи да се било шта покреће из командне линије, нити преусмерава стандардни излаз и излаз за грешке.
* Примери Микројава кода из поставке и спецификације могу често бити синтаксно или семантички неисправни. Ово је због тога што предметни сарадници не напишу преводилац за спецификацију Микројаве коју су задали, а пример вероватно ископирају из поставке односно спецификације од претходне године, па не провере да ли је исправан.
* На одбрани нико не погледа извештај са пројекта.
* Нико неће тражити да се покрену студентски тестови пројекта.
* Супротно поставци, дорада пројеката на одбрани је дозвољена.
* У одељку за контекстне услове у оквиру спецификације могу бити описане ствари које се не раде у фази семантичке анализе, већ или описују генерално функционисање тог програмског конструкта, или описују ствари које се морају обезбедити у фази генрисања кода.
* Приликом спецификације синтаксе користи се [[wikipedia:Extended Backus–Naur form|EBNF нотација]].
* Подела функционалности по нивоима може бити јако конфузна. Спецификација Микројаве може посебно напоменути за само пар ствари да се имплементирају само на одређеним нивоима (остављајући утисак да је потребно препознати синтаксу за методе и класе чак и у пројекту А нивоа), док поставка може непотпуно излиставати смене које су потребне да се имплементирају за одређени ниво. Најбољи начин за одређивање шта се имплементира за који ниво јесу одговарајући јавни тестови.

== Алати ==
У овом одељку наведене су све напомене у вези са алатима које ћете користити на пројекту, од којих ће неке имати смисла тек након што погледате видео водиче.
* Једна од првих ствари поменутих у видео водичима јесте инсталирање ''Ant''. За овиме нема потребе, јер је ''Ant'' већ инсталиран у оквиру ''Eclipse''. Такође, ''Ant'' правила се доста лакше могу покретати одласком на ''Window'' → ''Show View'' → ''Ant'', и затим додавањем <code>build.xml</code> фајла у пројекту.
* У рачунарским лабораторијама би требало да је доступан и IntelliJ, па можете у њему такође радити пројекат.
* Није неопходно користити Log4j библииотеку за испис уколико не желите.
* '''Обавезно''' преузети библиотеке са странице предмета уместо коришћења оних из шаблона пројекта или видео водича, јер њихове верзије могу бити застареле и проузроковати проблеме.

[[Категорија:Водичи]]
[[Категорија:Програмски преводиоци 1]]