2022-12-06 14:49:17 +01:00
|
|
|
import java.util.ArrayList;
|
|
|
|
import java.util.List;
|
|
|
|
|
2022-12-09 13:57:19 +01:00
|
|
|
/**
|
|
|
|
* Interface der Klasse GebietsDatei.
|
|
|
|
*
|
2022-12-09 13:59:33 +01:00
|
|
|
* @author Düsterhaus, Gubitz, Pfannenstiel, Maier, Vigier, Wöstemeyer
|
2022-12-09 13:57:19 +01:00
|
|
|
*/
|
|
|
|
|
2022-12-06 14:49:17 +01:00
|
|
|
public interface GebietsQuelle {
|
|
|
|
List<Gebiet> getGebiete();
|
|
|
|
}
|