<?php
	interface LocalRepositoryInterface {
		public function registerLocal($local);
		public function setLocalPosition($id_local, $lat, $lon, $indirizzo);
		public function setLocalName($id_local, $name);
		public function setLocalDescription($id_local, $description);
		public function getImages($id_local);
		public function addImages($id_local, $imgs);
		public function getMinimalLocalInfo($id_local);
		public function getFullLocalInfo($id_local);
		public function deleteImage($id_local, $img);
		public function getCloseLocals($tipologia, $lat, $lon, $distance);
		public function getLocalsByUser($user_id);
	}
?>