Import throws Exception and does not import at all, likely caused by setting root system to null - Githubissues

DecwLK / Gecko

GNU General Public License v3.0

2 stars 2 forks source link

Import throws Exception and does not import at all, likely caused by setting root system to null #152

Closed crissNb closed 8 months ago

crissNb commented 8 months ago

https://github.com/DecwLK/Gecko/blob/2c574abd9931e4bade576ebdc93329c53f1c25bc/src/main/java/org/gecko/io/AutomatonFileVisitor.java#L80

But parent is set to @NonNull https://github.com/DecwLK/Gecko/blob/2c574abd9931e4bade576ebdc93329c53f1c25bc/src/main/java/org/gecko/model/System.java#L28-L29