[發(fā)明專利]一種基于契約式設計的Java編譯器實現(xiàn)方法

無效

• 申請?zhí)枺?/td>: 201110344981.8
• 申請日: 2011-11-01
• 公開（公告）號: CN103092668A
• 公開（公告）日: 2013-05-08
• 發(fā)明（設計）人: 楊際榮
• 申請（專利權）人: 鎮(zhèn)江華揚信息科技有限公司
• 主分類號: G06F9/45
• 分類號: G06F9/45
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種基于契約式設計的Java編譯器實現(xiàn)方法：該方法主要是此技術主要通過在原有的Java編譯器上進行一定加工與改造，使VeriJava語法能夠在之中進行編譯。

2.根據(jù)權利要求1的基于契約式設計的Java編譯器實現(xiàn)方法，此方法主要包含二大塊即：編譯器架構、契約的轉(zhuǎn)換與解析。

3.根據(jù)權利要求2的基于契約式設計的Java編譯器實現(xiàn)方法；首先在編譯器架構中分為VeriJava解析器與編織器：該部分為整個編譯器的骨架。所有的源代碼將首先通過這一解析器，隨后被其分為兩大部分：一部分是VeriJava中所包含的契約式擴展語言，另一部分則是用戶所編寫的標準Java代碼；其次是契約解析及翻譯器：該部分主要針對新擴展的契約部分，通過對契約式語言的解析，隨后翻譯為對應的Java代碼并輸出，最后是)Java編譯器：該部分接受VeriJava解析器所輸出的文件流，將其輸出的標準Java代碼編譯為class文件并保存。