github/android-dev-ext
1
1
Fork 0
mirror of https://github.com/adelphes/android-dev-ext.git synced 2025-12-22 17:39:19 +00:00
Code Issues 41 Packages Projects Releases Wiki Activity

allow interfaces to be cast to class instances

Browse Source
This commit is contained in:
Dave Holoway
2020-06-06 13:57:23 +01:00
parent 13068cbcea
commit 09c15ef401
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
langserver/java/body-parser3.js
View File

@@ -1020,7 +1020,13 @@ function isTypeCastable(source_type, cast_type) {
return true;
}
if (source_type instanceof CEIType && cast_type instanceof CEIType) {
// for class casts, one type must be in the inheritence tree of the other
if (source_type.typeKind === 'interface') {
// interfaces are castable to any non-final class type (derived types might implement the interface)
if (cast_type.typeKind === 'class' && !cast_type.modifiers.includes('final')) {
return true;
}
}
// for other class casts, one type must be in the inheritence tree of the other
if (getTypeInheritanceList(source_type).includes(cast_type)) {
return true;
}