吸气剂和二传手 Ada

Question

我刚开始在 Ada 上编程，我想知道如何编写 getter 和 setter 以使用类属性。

事实上，我有兴趣获取以下包的属性deadline、period 和computingTime 的getter 和setter：

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Real_Time; use Ada.Real_Time;

package body pkg_tasks is
    task body task_a is
        deadline : Time_Span := To_Time_Span(25.0);
        period : Time_Span := To_Time_Span(25.0);
        computingTime : Time_Span := To_Time_Span(10.0);
        startingTime : Time;
    begin
        entry start do
            startingTime := Clock;

            while (Clock - startingTime) < computingTime loop

            end loop;

            New_line;
            Put_Line("End of task A");
        end start;
    end task_a;
end pkg_tasks;

Answer 1

在任务的情况下，这很容易......你不能因为我们在your last question 中回答的相同原因，任务只能有条目作为同步任务的一种方式（阅读part on entries以及以下）。

但实际上，您可以执行一种 getter 作为条目，并根据您想要查询属性的时间使用选择性等待。

现在，关于为您的任务设置属性，在我看来，在您的开始条目中使用参数是最好的方法。

请注意，您正在撰写有关类属性的文章，但您目前根本没有使用任何类。任务是 Ada 中的第一公民类型，它不像在 Java 中那样通过类类型实现。在这里使用面向对象编程是另一回事。

Answer 2

如上所述，通常任务不是执行此操作的正常方式。回到 Ada83，没有受保护的类型，所以如果你需要类似的东西，那么你可以用一个任务来模拟它。除此之外，这里有一些使用任务、受保护类型和类（或 Ada 称之为标记类型）的示例：

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Real_Time; use Ada.Real_Time;

procedure jdoodle is
    ------------------------------------------------------
    -- Task Example
    ------------------------------------------------------
    task Task_Example is
        entry Get(Time : out Time_Span);
        entry Set(Time : in  Time_Span);
    end Task_Example;

    task body Task_Example is
        Value : Time_Span := To_Time_Span(0.0);
    begin
        loop
            select
                accept Get(Time : out Time_Span) do
                    Time := Value;
                end Get;
            or
                accept Set(Time : in  Time_Span) do
                    Value := Time;
                end Set;
            or
                terminate;
            end select;
        end loop;
    end Task_Example;

    ------------------------------------------------------
    -- Protected type example
    ------------------------------------------------------
    protected type Protected_Example is
        procedure Put(Time : Time_Span); -- or use entry
        function Get return Time_Span;   -- or use procedure or entry
    private
        Value : Time_Span := To_Time_Span(0.0);
    end Protected_Example;

    protected body Protected_Example is
        procedure Put(Time : Time_Span) is
        begin
            Value := Time;
        end Put;
        function Get return Time_Span is
        begin
            return Value;
        end Get;
    end Protected_Example;

    ------------------------------------------------------
    -- Class Example
    ------------------------------------------------------
    package Classes is
        type Class_Example is tagged limited private;
        procedure Put(Self : in out Class_Example; Time : Time_Span);
        function Get(Self : in Class_Example) return Time_Span; -- or use procedure
    private
        type Class_Example is tagged limited record
            Value : Time_Span := To_Time_Span(0.0);
        end record;
    end Classes;

    package body Classes is
        procedure Put(Self : in out Class_Example; Time : Time_Span) is
        begin
            Self.Value := Time;
        end Put;

        function Get(Self : in Class_Example) return Time_Span is
        begin
            return Self.Value;
        end Get;
    end Classes;
begin
    Put_Line("Starting");
end jdoodle;

请记住，标记类型示例也适用于常规记录和其他私有类型。