Merge pull request #78 from tobiasstadler/master

Fix compilation error on JDK 13
jboss-logging · Nov 21, 2019 · ff0b07f · ff0b07f
2 parents 2599a52 + fd48526
commit ff0b07f
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/processor/src/main/java/org/jboss/logging/processor/model/DelegatingExecutableElement.java b/processor/src/main/java/org/jboss/logging/processor/model/DelegatingExecutableElement.java
@@ -41,6 +41,11 @@ public interface DelegatingExecutableElement extends ExecutableElement, Delegati
     @Override
     ExecutableElement getDelegate();
 
+    @Override
+    default TypeMirror asType() {
+        return getDelegate().asType();
+    }
+
     @Override
     default List<? extends TypeParameterElement> getTypeParameters() {
         return getDelegate().getTypeParameters();

diff --git a/processor/src/main/java/org/jboss/logging/processor/model/DelegatingTypeElement.java b/processor/src/main/java/org/jboss/logging/processor/model/DelegatingTypeElement.java
@@ -41,6 +41,11 @@ public interface DelegatingTypeElement extends TypeElement, DelegatingElement {
     @Override
     TypeElement getDelegate();
 
+    @Override
+    default TypeMirror asType() {
+        return getDelegate().asType();
+    }
+
     @Override
     default List<? extends Element> getEnclosedElements() {
         return getDelegate().getEnclosedElements();