Ada package IntstackType is type Stack(Size: Positive)is private procedure Push(l: in integer; S: in out Stack) 中整数栈抽象 procedure Pop(I: out integer; S: in out Stack); private type Stack(Size: Positive)is record StkStorage: array(1. Size)of integer; Top: integer range.. Size: =0; end record: end Int Stack Type; package body Int StackType is procedure Push(I: in integer; S: in out Stack) is begin Body of Push procedure end; procedure Pop(I: out integer; S: in out Stack) is begin Body of Pop procedure end: end IntstackTypeAda 中 整 数 栈 抽 象