mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-26 12:20:55 +07:00
* when merging dfa states, check that they're really equal after stripping complementary facts (there might be additional info in subclasses) * merge in separate groups in one go
16 lines
243 B
Java
16 lines
243 B
Java
public abstract class Zzza {
|
|
|
|
abstract Object getFoo();
|
|
|
|
void foo(Zzza other) {
|
|
int a;
|
|
if (other.getFoo() instanceof String) {
|
|
a = 1;
|
|
} else {
|
|
a = 2;
|
|
}
|
|
other.getFoo().subst<caret>
|
|
}
|
|
|
|
|
|
} |