//program.cd
// ============================================================
// BusRoute.cd : Class dictionary for bus routes.
// Written by Ali Ozmez for the COM3360 project.
// Last update on Tue Nov 28 17:11:12 1995.
// ============================================================
//rewritten for demjava by Binoy Samuel : 05/15/97


BusRoute =
	"BusRoute:" <name> RouteName
	"total" "route" "length" ":" <totalLength> RouteLen
	"consisting" "of" "bus" "stops" ":" <busStops> BusStop_List
	"with" "assigned" "busses" ":" <buses> Bus_List.

BusStop	=
	<id> StopId
	"at:" <location> RouteLoc  // clockwise dist. from origin
	"with" "waiting" "list" ":" <waitingList>Person_List.

Bus =
	<id> BusId
	"at:" <position> RouteLoc  // clockwise dist. from origin
	[ "currently" "at" "stop" ":"  <currentStop>  StopId]
	"capacity:" <capacity> BusCapac
	"speed:" <speed> BusSpeed
	"carrying" "passenger(s)" ":" <passengers> Person_List.

Person =
	<id> PersonId
	"destination:" <destination> StopId.   // id of the dest. stop

BusStop_List  ~ "(" { BusStop } ")".
Bus_List ~ "(" { Bus } ")".
Person_List ~ "(" { Person } ")".

RouteName = <v> String.
RouteLen  = <v> Integer "ft".
RouteLoc  = <v> Integer "ft".
BusCapac  = <v> Integer "passengers".
BusSpeed  = <v> Integer "ft/min".
StopId    = <v> Ident.
BusId     = <v> Ident.
PersonId  = <v> Ident.

noparse

//visitors
visitors

v_simulate 		= <busRoute>BusRoute.
v_drop_passengers 	= <iStopId>StopId<newPasList> Person_List.
v_load_passengers 	= <iStop>BusStop <newPasList>Person_List.
v_find_stop	 	= <return_val>BusStop <iStopId>StopId.
v_count_passengers	= <return_val>Integer.
v_give_passengers		= <return_val> Person_List <allowance>Integer <newWaitList> Person_List.
v_any_stop_around	= <return_val>BusStop <prevPos> Integer <nextPos>Integer.
v_proceed_to		= <newPos>Integer.
v_have_stop_request	= <return_val> Integer <iStopId>StopId.
v_anybody_waiting	= <return_val> Boolean.
v_get_len		= <return_val> Integer.
v_get_loc		= <return_val> Integer.
v_get_cap		= <return_val> Integer.
v_get_spd		= <return_val> Integer.

v_bus_person 		: v_drop_passengers | v_have_stop_request.
v_bus_personlist 	: v_load_passengers | v_count_passengers.
v_busroute_busstop 	: v_find_stop | v_any_stop_around.
v_bus_routeloc 		: v_proceed_to | v_get_loc.

v_person		=.

v_printall		=.
v_nonempty 	=<ne>Person_List.

endvisitors
Main =.