Skip to content

Commit

Permalink
Fix domain group assignment
Browse files Browse the repository at this point in the history
  • Loading branch information
matthiasblum committed Dec 3, 2023
1 parent 0641534 commit 3419116
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -1095,7 +1095,7 @@ private void selectRepresentativeDomains(ArrayList<Domain> domains) {
@Override
public int compare(Domain d1, Domain d2) {
int delta = d1.getLocation().getStart() - d2.getLocation().getStart();
return delta != 0 ? delta : d2.getLocation().getEnd() - d1.getLocation().getEnd();
return delta != 0 ? delta : d1.getLocation().getEnd() - d2.getLocation().getEnd();
}
});

Expand Down Expand Up @@ -1195,6 +1195,7 @@ private ArrayList<ArrayList<Domain>> groupDomains(ArrayList<Domain> domains) {

if (start <= stop) {
group.add(domain);
stop = Math.max(stop, domain.getLocation().getEnd());
} else {
groups.add(group);
group = new ArrayList<>();
Expand Down

0 comments on commit 3419116

Please sign in to comment.