基于語法制導(dǎo)定義構(gòu)造保留格式的反語法分析.pdf

1、代碼重構(gòu)是軟件工程領(lǐng)域常見的優(yōu)化方式之一。使用計(jì)算機(jī)自動對代碼進(jìn)行重構(gòu)已經(jīng)成為了一種新的技術(shù)趨勢，但是計(jì)算機(jī)自動進(jìn)行的重構(gòu)具有其內(nèi)在的固有缺陷——經(jīng)過重構(gòu)之后，目標(biāo)代碼的格式信息會錯(cuò)亂甚至缺失。比如空格與縮進(jìn)的分布變得混亂，原文的注釋可能出現(xiàn)在不相配的地方等等。格式信息的錯(cuò)亂會大大的影響到代碼的可讀性。盡管在重構(gòu)中使用一些固定的格式模式能夠一定程度地增加可讀性，但是更多程序員還是希望代碼的格式風(fēng)格能夠盡可能的與變換前的代碼類似。本文提出

2、了一種基于語法制導(dǎo)定義的、符合雙向變換機(jī)制的算法，使得代碼在經(jīng)過基于語法樹的變換后能夠一定程度上保留原本的格式信息。本文提出的算法所構(gòu)成的雙向變換是良行為的，這保證了它能夠有效保持源代碼與目標(biāo)代碼的一致性。除此之外，為了保證算法有效性，論文亦提出了匹配分析樹與它對應(yīng)語法樹，以及用來匹配兩棵不同的語法樹的新的樹的匹配算法。本文提出的方法可以有效地保留基于抽象語法樹轉(zhuǎn)換后代碼的格式信息，從而增加目標(biāo)代碼的可讀性。最后，文章以XML語言為例，