| commit | c8bee0f3ed9e000bffed114f683683ce949cb194 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu May 01 15:51:10 2014 +0200 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu May 01 15:51:10 2014 +0200 |
| tree | 0f6da9b0177e182cfcc9b04b05ec29cc3cb397e1 | |
| parent | 0d303947491383078808a169e277155f5903e922 [diff] |
Fix compile errors after jdt.core update: implement new method.
diff --git a/org.eclipse.jdt.core/model/org/eclipse/objectteams/otdt/internal/core/OTType.java b/org.eclipse.jdt.core/model/org/eclipse/objectteams/otdt/internal/core/OTType.java index 852136b..e8be804 100644 --- a/org.eclipse.jdt.core/model/org/eclipse/objectteams/otdt/internal/core/OTType.java +++ b/org.eclipse.jdt.core/model/org/eclipse/objectteams/otdt/internal/core/OTType.java
@@ -518,7 +518,12 @@ return getIType().isMember(); } - public ITypeHierarchy loadTypeHierachy(InputStream input, IProgressMonitor monitor) throws JavaModelException + @Override + public boolean isLambda() { + return false; + } + + public ITypeHierarchy loadTypeHierachy(InputStream input, IProgressMonitor monitor) throws JavaModelException { return getIType().loadTypeHierachy(input, monitor); }
diff --git a/org.eclipse.jdt.core/model/org/eclipse/objectteams/otdt/internal/core/PhantomType.java b/org.eclipse.jdt.core/model/org/eclipse/objectteams/otdt/internal/core/PhantomType.java index 1b52c8b..9b3a8bc 100644 --- a/org.eclipse.jdt.core/model/org/eclipse/objectteams/otdt/internal/core/PhantomType.java +++ b/org.eclipse.jdt.core/model/org/eclipse/objectteams/otdt/internal/core/PhantomType.java
@@ -463,7 +463,12 @@ { return true; } - + + @Override + public boolean isLambda() { + return false; + } + /* (non-Javadoc) * @see org.eclipse.jdt.core.IType#loadTypeHierachy(java.io.InputStream, org.eclipse.core.runtime.IProgressMonitor) */