A Java contractual programming language model based on Aspect
Ping Chen · Journal of Northeast Dianli University · 2011
Contractual Development is a kind of developing methodology which draws on the merits of Formal Method,and is easy to be put into practice.However,its traditional programming language,Eiffel,is very difficult to learn and popularize.This paper presents a model which,on basis of object - oriented programing Language, can use aspect - oriented programing method to carry out contractual constraint inspections.Taking Java object - oriented programing language as an example,this paper uses AspectJ to carry out a contractual constraint inspections on Java's interface,class,inheritance,data types,constructors,regions,methods,and exception increased concerns,etc.,and creates a developing language environment which has contractual function and is easy to be put into practice.