Ada generIc ty pe Elem is private; package Any StackType is 中类属栈抽象 type Stack(Size: Positive) is private procedure Push(I: in Elem; S: in out Stack) procedure Pop(: out Elem; S: in out Stack) private type Stack(Size: Positive)is record Stk Storage: array(1. Size)of Elem Top: integer range 0.Size: =0; end record end Any StackType: package body Any StackType is procedure Push(I: in Elem; S: in out Stack) is begin Body of Push procedure end: procedure Pop(I: out Elem; S: in out Stack)is begin Body of Pop procedure end; end Any StackType:Ada 中 类 属 栈 抽 象