diff options
| author | Stephan Herrmann | 2018-03-11 13:47:02 +0000 |
|---|---|---|
| committer | Stephan Herrmann | 2018-03-11 13:47:02 +0000 |
| commit | 0b12ce951a4af5cf16f05b81af3a60514145c604 (patch) | |
| tree | 965a51a96847d0b141726aca138c21fc7ff6f88f /org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/classfmt | |
| parent | cde231bfc5a4750e247c49c17145e18ba328dd3a (diff) | |
| download | org.eclipse.objectteams-0b12ce951a4af5cf16f05b81af3a60514145c604.tar.gz org.eclipse.objectteams-0b12ce951a4af5cf16f05b81af3a60514145c604.tar.xz org.eclipse.objectteams-0b12ce951a4af5cf16f05b81af3a60514145c604.zip | |
Update jdt.core to S4_8_0_M6
Diffstat (limited to 'org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/classfmt')
| -rw-r--r-- | org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/classfmt/ClassFileReader.java | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/classfmt/ClassFileReader.java b/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/classfmt/ClassFileReader.java index 00ee887ce..37d85cc50 100644 --- a/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/classfmt/ClassFileReader.java +++ b/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/classfmt/ClassFileReader.java @@ -25,6 +25,7 @@ import java.util.Arrays; import java.util.Collection; import java.util.HashMap; import java.util.LinkedList; +import java.util.function.Predicate; import org.eclipse.jdt.core.compiler.CharOperation; import org.eclipse.jdt.internal.compiler.codegen.AnnotationTargetTypeConstants; @@ -149,13 +150,6 @@ public static ClassFileReader read( return read(zip, filename, false); } -public static ClassFileReader readFromJimage( - File jrt, - String filename) - throws ClassFormatException, java.io.IOException { - - return readFromModule(jrt, null, filename); - } public static ClassFileReader readFromJrt( File jrt, IModule module, @@ -167,10 +161,11 @@ public static ClassFileReader readFromJrt( public static ClassFileReader readFromModule( File jrt, String moduleName, - String filename) + String filename, + Predicate<String> moduleNameFilter) throws ClassFormatException, java.io.IOException { - return JRTUtil.getClassfile(jrt, filename, moduleName); + return JRTUtil.getClassfile(jrt, filename, moduleName, moduleNameFilter); } public static ClassFileReader read( java.util.zip.ZipFile zip, |