PRAGMA line_feed
(option => 1)
PRAGMA line_feed
(option => 2)
PRAGMA main
(operation_name => start,
unit_name => run)
PRAGMA no_subunits
PRAGMA comment
PRAGMA compiler
(name => gnat,
options => --| |--)
=== begin code extraction : Mon Dec 23 10:42:38 2002
*** no textual description for : TYPE Philosopher of object : phil
*** no textual description for : TYPE Philosopher_Ptr of object : phil
*** no textual description for : TYPE States of object : phil
*** no textual description for : TYPE Think_Times of object : phil
*** no textual description for : TYPE Meal_Times of object : phil
*** no textual description for : TYPE Life_Time of object : phil
*** no textual description for : DATA Think_Length of object : phil
*** no textual description for : DATA Meal_Length of object : phil
*** no textual description for : OPERATION start_eating of object : phil
*** no textual description for : OBCS spec of object : phil
*** no textual description for : TYPE Unique_DNA_Codes of object : society
*** no textual description for : OPERATION get_name of object : society
*** no textual description for : DATA Name_Register of object : society
*** no textual description for : OPERATION get_name of object : society
*** no textual description for : TYPE Stick of object : chop
*** no textual description for : OPERATION pick_up of object : chop
*** no textual description for : OPERATION put_down of object : chop
*** no textual description for : TYPE Stick_Ptr of object : chop
*** no textual description for : OPERATION pick_up of object : chop
*** no textual description for : OPERATION put_down of object : chop
Halt. Program terminated normally
=== end code extraction : Mon Dec 23 10:42:42 2002
=== begin compilation : Mon Dec 23 10:42:42 2002
gcc -c -I//Groslulu/home4/stood/stood4.3/libs/calendar/_ada -I//Groslulu/home4/stood/stood4.3/examples/nt_console/_ada -I//Groslulu/home4/stood/stood4.3/examples/screen/_ada -I//Groslulu/home4/stood/stood4.3/libs/discrete_random/_ada -I//Groslulu/home4/stood/stood4.3/examples/random_generic/_ada run.adb
gcc -c -I//Groslulu/home4/stood/stood4.3/libs/calendar/_ada -I//Groslulu/home4/stood/stood4.3/examples/nt_console/_ada -I//Groslulu/home4/stood/stood4.3/examples/screen/_ada -I//Groslulu/home4/stood/stood4.3/libs/discrete_random/_ada -I//Groslulu/home4/stood/stood4.3/examples/random_generic/_ada philosophers.ads
gcc -c -I//Groslulu/home4/stood/stood4.3/libs/calendar/_ada -I//Groslulu/home4/stood/stood4.3/examples/nt_console/_ada -I//Groslulu/home4/stood/stood4.3/examples/screen/_ada -I//Groslulu/home4/stood/stood4.3/libs/discrete_random/_ada -I//Groslulu/home4/stood/stood4.3/examples/random_generic/_ada room.adb
gcc -c -I//Groslulu/home4/stood/stood4.3/libs/calendar/_ada -I//Groslulu/home4/stood/stood4.3/examples/nt_console/_ada -I//Groslulu/home4/stood/stood4.3/examples/screen/_ada -I//Groslulu/home4/stood/stood4.3/libs/discrete_random/_ada -I//Groslulu/home4/stood/stood4.3/examples/random_generic/_ada phil.adb
gcc -c -I//Groslulu/home4/stood/stood4.3/libs/calendar/_ada -I//Groslulu/home4/stood/stood4.3/examples/nt_console/_ada -I//Groslulu/home4/stood/stood4.3/examples/screen/_ada -I//Groslulu/home4/stood/stood4.3/libs/discrete_random/_ada -I//Groslulu/home4/stood/stood4.3/examples/random_generic/_ada windows.adb
gcc -c -I//Groslulu/home4/stood/stood4.3/libs/calendar/_ada -I//Groslulu/home4/stood/stood4.3/examples/nt_console/_ada -I//Groslulu/home4/stood/stood4.3/examples/screen/_ada -I//Groslulu/home4/stood/stood4.3/libs/discrete_random/_ada -I//Groslulu/home4/stood/stood4.3/examples/random_generic/_ada chop.adb
gcc -c -I//Groslulu/home4/stood/stood4.3/libs/calendar/_ada -I//Groslulu/home4/stood/stood4.3/examples/nt_console/_ada -I//Groslulu/home4/stood/stood4.3/examples/screen/_ada -I//Groslulu/home4/stood/stood4.3/libs/discrete_random/_ada -I//Groslulu/home4/stood/stood4.3/examples/random_generic/_ada society.adb
gcc -c -I./ -I//Groslulu/home4/stood/stood4.3/libs/calendar/_ada -I//Groslulu/home4/stood/stood4.3/examples/nt_console/_ada -I//Groslulu/home4/stood/stood4.3/examples/screen/_ada -I//Groslulu/home4/stood/stood4.3/libs/discrete_random/_ada -I//Groslulu/home4/stood/stood4.3/examples/random_generic/_ada -I- //Groslulu/home4/stood/stood4.3/examples/random_generic/_ada\random_generic.adb
gnatbind -aO./ -aO//Groslulu/home4/stood/stood4.3/libs/calendar/_ada -aO//Groslulu/home4/stood/stood4.3/examples/nt_console/_ada -aO//Groslulu/home4/stood/stood4.3/examples/screen/_ada -aO//Groslulu/home4/stood/stood4.3/libs/discrete_random/_ada -aO//Groslulu/home4/stood/stood4.3/examples/random_generic/_ada -I- -x run.ali
gnatlink run.ali
=== end compilation : Mon Dec 23 10:43:19 2002
-- Dining Philosophers - Ada 95 edition
--
-- Start is the main program.
--
-- Michael B. Feldman, The George Washington University, July 1995.
-- HOOD version by Pierre Dissaux, TNI, June 1998.
-- required interface :
-- Required OPERATION :
-- OPERATION : start_serving of object : room
-- Required EXCEPTION : NONE
-- Required TYPE : NONE
-- Required CONSTANT : NONE
-- Required DATA : NONE
-- visibility on required modules :
-- visibility on implementing modules :
with room;
package philosophers is
-- Main procedure.
procedure Start
renames room.start_serving;
end philosophers;
SYSTEM_CONF_PATH=//Groslulu/home4/stood/stood4.3/libs/calendar/_ada://Groslulu/home4/stood/stood4.3/examples/nt_console/_ada://Groslulu/home4/stood/stood4.3/examples/philosophers/_ada://Groslulu/home4/stood/stood4.3/examples/screen/_ada://Groslulu/home4/stood/stood4.3/libs/standard/_ada://Groslulu/home4/stood/stood4.3/libs/text_io/_ada://Groslulu/home4/stood/stood4.3/libs/discrete_random/_ada://Groslulu/home4/stood/stood4.3/examples/random_generic/_ada:
mv philosophers.adb run.adb
gnatmake -I//Groslulu/home4/stood/stood4.3/libs/calendar/_ada -I//Groslulu/home4/stood/stood4.3/examples/nt_console/_ada -I//Groslulu/home4/stood/stood4.3/examples/screen/_ada -I//Groslulu/home4/stood/stood4.3/libs/discrete_random/_ada -I//Groslulu/home4/stood/stood4.3/examples/random_generic/_ada run