mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
more diagnostics for EA-23307
This commit is contained in:
@@ -84,7 +84,8 @@ public class PhysicalDomParentStrategy implements DomParentStrategy {
|
||||
if (myElement != thatElement) {
|
||||
final PsiElement nav1 = myElement.getNavigationElement();
|
||||
final PsiElement nav2 = thatElement.getNavigationElement();
|
||||
assert nav1 == nav2 : nav1.getContainingFile() + ":" + nav1.getTextRange().getStartOffset() + "!=" + nav2.getContainingFile() + ":" + nav2.getTextRange().getStartOffset();
|
||||
assert nav1 == nav2 : nav1.getContainingFile() + ":" + nav1.getTextRange().getStartOffset() + "!=" + nav2.getContainingFile() + ":" + nav2.getTextRange().getStartOffset() +
|
||||
"; " + (nav1==myElement) + ";" + (nav2==thatElement);
|
||||
}
|
||||
return true;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user