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

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

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