24、JEWL与面向对象的镜像稳定存储技术解析

JEWL与面向对象的镜像稳定存储技术解析

1. JEWL GUI库介绍

JEWL是一个专门为教育用途设计的GUI库，旨在让初学者能够轻松上手使用。与其他用于Ada的GUI库不同，JEWL的设计简单易懂，不依赖Ada的“高级”特性，用户只需调用构造函数创建图形界面对象，并使用显式事件循环处理事件，就可以用Ada生成外观较为现代的应用程序。不过，它目前仅适用于Windows平台，且对于复杂系统的处理能力有限，但仍能满足相当广泛的GUI应用需求。

2. JEWL的实现问题

• 类型定义
  • 为确保可移植性，JEWL包规范不依赖底层实现的特性。窗口类型是从私有类型 Window_Type 派生的私有标记类型。例如：

type Control_Type is abstract new Window_Type
                                      with null record;
type Canvas_Type  is new Control_Type with null record;

- `Window_Type`的定义如下：

type Window_Type is abstract tagged
  record
    Internals : JEWL.Controlled_