OBJECT philosophers IS

 PASSIVE

pragmas

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 => --| |--)

ADA EXTRACTED CODE

extraction messages

=== 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

spec

-- 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;

makefile

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

END philosophers