Ada-z编译系统中的类属处理

ADA不能将函数和过程以指针的形式在一般子程序中作为参数传递,但它却提供了类属设施,使得不仅过程和函数能够作为参数,且实现了类型参数化,即类型也可作为参数在子程序和程序包中传递。本文阐述了ADA—Z编译系统中类属单元实现的设计思想和方法。