Lines 6373-6382
Link Here
|
6373 |
expectingLocation.sourceEnd); |
6373 |
expectingLocation.sourceEnd); |
6374 |
return; |
6374 |
return; |
6375 |
} |
6375 |
} |
|
|
6376 |
char[] actualShortReadableName = actualType.shortReadableName(); |
6377 |
char[] expectedShortReadableName = expectedType.shortReadableName(); |
6378 |
if (CharOperation.equals(actualShortReadableName, expectedShortReadableName)) { |
6379 |
actualShortReadableName = actualType.readableName(); |
6380 |
expectedShortReadableName = expectedType.readableName(); |
6381 |
} |
6376 |
this.handle( |
6382 |
this.handle( |
6377 |
IProblem.TypeMismatch, |
6383 |
IProblem.TypeMismatch, |
6378 |
new String[] {new String(actualType.readableName()), new String(expectedType.readableName())}, |
6384 |
new String[] {new String(actualType.readableName()), new String(expectedType.readableName())}, |
6379 |
new String[] {new String(actualType.shortReadableName()), new String(expectedType.shortReadableName())}, |
6385 |
new String[] {new String(actualShortReadableName), new String(expectedShortReadableName)}, |
6380 |
location.sourceStart, |
6386 |
location.sourceStart, |
6381 |
location.sourceEnd); |
6387 |
location.sourceEnd); |
6382 |
} |
6388 |
} |