Skip to content
Snippets Groups Projects

Ensure correct connect and disconnect functionality

Merged René Schöne requested to merge 31-ensure-correct-connect-and-disconnect-functionality into dev
4 files
+ 9
11
Compare changes
  • Side-by-side
  • Inline
Files
4
import java.util.Set;
import java.util.TreeSet;
import java.util.LinkedList;
aspect Errors {
coll Set<ErrorMessage> RagConnect.errors()
[new TreeSet<ErrorMessage>()]
Loading