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.
|
|
|
|
*
|
|
|
|
* @author Gubitz, Wöstemeyer, Pfannenstiel, Maier, Vigier
|
|
|
|
*/
|
|
|
|
|
2022-12-06 14:49:17 +01:00
|
|
|
public interface GebietsQuelle {
|
|
|
|
List<Gebiet> getGebiete();
|
|
|
|
}
|