CASystem.pd

//*******************************************************
//* File:    C:/Users/User/Desktop/Third Year Project/CollisionAvoidanceSystem/CASystem.pd
//* Author:  Varuna
//* Created: 09:57:34 on Wednesday January 28th 2015 UTC
//*******************************************************

class CASystem ^=
abstract
	const defaultTimeToFlyFor ^= 0.10; //seconds
	
	var atc : AirTrafficController;	
	
interface
	
	function atc;
	
	function getAircrafts : seq of Aircraft
		^= atc.aircrafts;
	
	function getAircraftPairsOrderedByTimeToConflict : seq of AircraftPair
		^= atc.getAircraftPairsOrderedByTimeToConflict;
	
	schema !changeHeight(identification : string, targetHeight : real)
		post atc!changeCraftHeight(identification, targetHeight);
	
	schema !fly
		post atc!fly(defaultTimeToFlyFor);
		
	schema !addAircraft(aircraft : Aircraft)
		post atc!addAircraft(aircraft);
		
	build{!atc : AirTrafficController};
	
end;