loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
12 stars 5 forks source link

Migrate Xtend sources to Java #84

Open kfhoech opened 2 years ago

kfhoech commented 2 years ago

Summary

Xtend has limited tool support and its use seems to be discouraged. We should start replacing it with plain Java.

Presently, the following classes are affected:

Note that some constructs are best replaced with Java 17 once we have switched to that.