Skip to content

Commit 6c97390

Browse files
committed
Java: Remove redundant getErasure overrides
The root definition covers these cases already
1 parent 7ddc8f0 commit 6c97390

File tree

1 file changed

+0
-14
lines changed

1 file changed

+0
-14
lines changed

java/ql/lib/semmle/code/java/Generics.qll

Lines changed: 0 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -330,13 +330,6 @@ class ParameterizedType extends ClassOrInterface {
330330
typeVars(_, _, _, this)
331331
}
332332

333-
/**
334-
* The erasure of a parameterized type is its generic counterpart.
335-
*
336-
* For example, the erasure of both `X<Number>` and `X<Integer>` is `X<T>`.
337-
*/
338-
override RefType getErasure() { erasure(this, result) or this.(GenericType) = result }
339-
340333
/**
341334
* Gets the generic type corresponding to this parameterized type.
342335
*
@@ -406,13 +399,6 @@ class ParameterizedInterface extends Interface, ParameterizedType {
406399
class RawType extends RefType {
407400
RawType() { isRaw(this) }
408401

409-
/**
410-
* The erasure of a raw type is its generic counterpart.
411-
*
412-
* For example, the erasure of `List` is `List<E>`.
413-
*/
414-
override RefType getErasure() { erasure(this, result) }
415-
416402
/** Holds if this type originates from source code. */
417403
override predicate fromSource() { not any() }
418404

0 commit comments

Comments
 (0)