Implementation Of The Compiler For Verijava

Design by Contract (DBC) is mentioned by Betrand Meyer. The key technology of DBC is to use the"assertion"to restrict what the method does or what the whole class does, so the combination of DBC and programming language becomes the trend of the DBC development. The combination technology existed now have some disadvantages and the difference of ways of combination bring up the difficulty of environment requirement. Seeking for new combination method comes to be the urgent requirement.VeriJava is a new programming language which is combined of DBC and standard Java language, it adds not only the contract as a totally language factor into the Java language to verify the method during runtime and compile time, and also use contract in the class area to help the developer to find out the problem of design or the misunderstanding between programmers, it can also use to correct the mistakes made during design decade and coding, for better software development.This paper realize a compiler of VeriJava grammar and symantec verification, and try to assure the integrity of the code and meet the requirement of deign by verify the pre-condition and post-condition of...