This application is the HOOD version of "Dining Philosophers - Ada95 edition" from Michael B. Feldman, The George Washington University, July 1995.
HOOD adaptation was performed by Pierre Dissaux, TNI, June 1998, with STOOD toolset.
Please refer to parent module description.
ATTRIBUTES NONE
ENUMERATION NONE
subtype Unique_DNA_Codes is Positive range 1..5;
get_name(Code : in Unique_DNA_Codes) return String;
WCET
OBJECT standard;
TYPES
String; Positive;
CONSTANTS
NONE
OPERATION_SETS
NONE
OPERATIONS
NONE
EXCEPTIONS
NONE
Name_Register : array(Unique_DNA_Codes) of String(1..18) :=
("Philosopher #1 ",
"Philosopher #2 ",
"Philosopher #3 ",
"Philosopher #4 ",
"Philosopher #5 ");
(da) society.Name_Register IS USED BY NONE
(da) society.Name_Register IS USED BY
(op) society.get_name [R]
(da) society.Name_Register IS USED BY NONE
(da) society.Name_Register IS USED BY NONE
begin
return Name_Register(Code);