JNA（Java Native Access ）提供一组Java工具类用于在运行期动态访问系统本地库（native library：如Window的dll）而不需要编写任何Native/JNI代码。开发人员只要在一个java接口中描述目标native library的函数与结构，JNA将自动实现Java接口到native function的映射。

针对基于原型的单继承面向对象模型，通过扩展库的形式实现了Lua对契约式开发的支持，包括原型不变式、 函数前后置断言。利用了语言提供的动态元机制在运行期改变某些语法构造的原始语义。最后分析了该实现方法的弱点 和改进思路。-Single inheritance for prototype-based object-oriented model, achieved by extending the database in the form of a Lua development of con