langtools/src/jdk.javadoc/share/classes/com/sun/tools/doclets/formats/html/SourceToHTMLConverter.java
changeset 37938 42baa89d2156
parent 31297 86fe1414f12c
child 38614 364c1a6618c0
equal deleted inserted replaced
37858:7c04fcb12bd4 37938:42baa89d2156
   147             SourcePosition sp = cd.position();
   147             SourcePosition sp = cd.position();
   148             if (sp == null)
   148             if (sp == null)
   149                 return;
   149                 return;
   150             Reader r;
   150             Reader r;
   151             // temp hack until we can update SourcePosition API.
   151             // temp hack until we can update SourcePosition API.
   152             if (sp instanceof com.sun.tools.javadoc.SourcePositionImpl) {
   152             if (sp instanceof com.sun.tools.javadoc.main.SourcePositionImpl) {
   153                 FileObject fo = ((com.sun.tools.javadoc.SourcePositionImpl) sp).fileObject();
   153                 FileObject fo = ((com.sun.tools.javadoc.main.SourcePositionImpl) sp).fileObject();
   154                 if (fo == null)
   154                 if (fo == null)
   155                     return;
   155                     return;
   156                 r = fo.openReader(true);
   156                 r = fo.openReader(true);
   157             } else {
   157             } else {
   158                 File file = sp.file();
   158                 File file = sp.file();