代码搜索：ADs 开发教程
找到约 10,000 项符合「ADs 开发教程」的源代码
代码结果 10,000
www.eeworm.com/read/457217/7332268
ads prefixednotation.ads
package PrefixedNotation is
type T is tagged
record
I: Integer;
end record;
procedure P(X: in out T);
end PrefixedNotation;
www.eeworm.com/read/457217/7332276
ads semaphores.ads
package Semaphores is
protected type Semaphore (Start_Count : Integer := 1) is
entry Secure;
procedure Release;
private
Count: Integer := Start_Count;
end Sem
www.eeworm.com/read/457217/7332301
ads shapes.ads
with Geometry;
package Shapes is
type Circle is tagged private;
function Area(C: in Circle) return Float;
type Point is tagged private;
function Area(C: in Point) return Float;
type
www.eeworm.com/read/457217/7332302
ads objects.ads
package Objects is
-- type Object is interface;
type Object is abstract tagged
record
X_Coord: Float;
Y_Coord: Float;
end record;
function Distance(OC: Object'
www.eeworm.com/read/457217/7332307
ads geometry.ads
with Ada.Numerics.Elementary_Functions;
with Ada.Numerics;
use Ada.Numerics.Elementary_Functions;
use Ada.Numerics;
package Geometry is
type Object is abstract tagged private; -- Client Visible P
www.eeworm.com/read/457217/7332322
ads stacks.ads
with LimitedPrivateType;
package Stacks is
type Object_Stack is tagged private;
--
-- Base type
--
type Object is tagged
record
X: Float;
Y: Float;
end r
www.eeworm.com/read/457217/7332326
ads limitedprivatetype.ads
package LimitedPrivateType is
--
-- Declaring type Cell as limited private provides
-- complete control over the type
-- by not allowing Copy/Assignment operation on it
-- Unless Assign
www.eeworm.com/read/457217/7332328
ads random.ads
package Random is
Modulus: constant Integer := 2 ** 13;
subtype Small is Integer range 0 .. Modulus;
Multiplier: constant Integer := 5 ** 5;
procedure Init(Seed: Small);
function Next r
www.eeworm.com/read/457217/7332335
ads buffer.ads
package Buffer is
protected type Buffer(Max: Integer) is
procedure Load(S: in String);
procedure Get(C: out Character);
private
Data: String(1..Max);
Start: Integer := 1;
www.eeworm.com/read/457217/7332339
ads servertask.ads
package ServerTask is
task Server is
entry Service;
end;
end;