langtools/src/share/classes/com/sun/tools/javap/SourceWriter.java
author jjg
Thu, 10 Jun 2010 16:08:01 -0700
changeset 5847 1908176fd6e3
parent 5520 86e4b9a9da40
child 6578 964b4d71d26f
permissions -rw-r--r--
6944312: Potential rebranding issues in openjdk/langtools repository sources Reviewed-by: darcy
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2979
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
     1
/*
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3141
diff changeset
     2
 * Copyright (c) 2009, Oracle and/or its affiliates. All rights reserved.
2979
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
     4
 *
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3141
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
2979
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3141
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
2979
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    10
 *
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    15
 * accompanied this code).
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    16
 *
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    20
 *
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3141
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3141
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3141
diff changeset
    23
 * questions.
2979
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    24
 */
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    25
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    26
package com.sun.tools.javap;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    27
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    28
import java.io.BufferedReader;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    29
import java.io.IOException;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    30
import java.io.StringReader;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    31
import java.util.ArrayList;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    32
import java.util.List;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    33
import java.util.Set;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    34
import java.util.SortedMap;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    35
import java.util.SortedSet;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    36
import java.util.TreeMap;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    37
import java.util.TreeSet;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    38
import javax.tools.JavaFileManager;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    39
import javax.tools.JavaFileManager.Location;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    40
import javax.tools.JavaFileObject;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    41
import javax.tools.StandardLocation;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    42
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    43
import com.sun.tools.classfile.Attribute;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    44
import com.sun.tools.classfile.ClassFile;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    45
import com.sun.tools.classfile.Code_attribute;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    46
import com.sun.tools.classfile.ConstantPoolException;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    47
import com.sun.tools.classfile.Instruction;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    48
import com.sun.tools.classfile.LineNumberTable_attribute;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    49
import com.sun.tools.classfile.SourceFile_attribute;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    50
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    51
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    52
/**
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    53
 * Annotate instructions with source code.
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    54
 *
5847
1908176fd6e3 6944312: Potential rebranding issues in openjdk/langtools repository sources
jjg
parents: 5520
diff changeset
    55
 *  <p><b>This is NOT part of any supported API.
1908176fd6e3 6944312: Potential rebranding issues in openjdk/langtools repository sources
jjg
parents: 5520
diff changeset
    56
 *  If you write code that depends on this, you do so at your own risk.
2979
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    57
 *  This code and its internal interfaces are subject to change or
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    58
 *  deletion without notice.</b>
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    59
 */
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    60
public class SourceWriter extends InstructionDetailWriter {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    61
    static SourceWriter instance(Context context) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    62
        SourceWriter instance = context.get(SourceWriter.class);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    63
        if (instance == null)
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    64
            instance = new SourceWriter(context);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    65
        return instance;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    66
    }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    67
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    68
    protected SourceWriter(Context context) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    69
        super(context);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    70
        context.put(SourceWriter.class, this);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    71
    }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    72
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    73
    void setFileManager(JavaFileManager fileManager) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    74
        this.fileManager = fileManager;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    75
    }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    76
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    77
    public void reset(ClassFile cf, Code_attribute attr) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    78
        setSource(cf);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    79
        setLineMap(attr);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    80
    }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    81
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    82
    public void writeDetails(Instruction instr) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    83
        String indent = space(40); // could get from Options?
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    84
        Set<Integer> lines = lineMap.get(instr.getPC());
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    85
        if (lines != null) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    86
            for (int line: lines) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    87
                print(indent);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    88
                print(String.format(" %4d ", line));
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    89
                if (line < sourceLines.length)
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    90
                    print(sourceLines[line]);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    91
                println();
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    92
                int nextLine = nextLine(line);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    93
                for (int i = line + 1; i < nextLine; i++) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    94
                    print(indent);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    95
                    print(String.format("(%4d)", i));
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    96
                    if (i < sourceLines.length)
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    97
                        print(sourceLines[i]);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    98
                    println();
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
    99
                }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   100
            }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   101
        }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   102
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   103
    }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   104
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   105
    private void setLineMap(Code_attribute attr) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   106
        SortedMap<Integer, SortedSet<Integer>> map =
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   107
                new TreeMap<Integer, SortedSet<Integer>>();
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   108
        SortedSet<Integer> allLines = new TreeSet<Integer>();
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   109
        for (Attribute a: attr.attributes) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   110
            if (a instanceof LineNumberTable_attribute) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   111
                LineNumberTable_attribute t = (LineNumberTable_attribute) a;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   112
                for (LineNumberTable_attribute.Entry e: t.line_number_table) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   113
                    int start_pc = e.start_pc;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   114
                    int line = e.line_number;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   115
                    SortedSet<Integer> pcLines = map.get(start_pc);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   116
                    if (pcLines == null) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   117
                        pcLines = new TreeSet<Integer>();
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   118
                        map.put(start_pc, pcLines);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   119
                    }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   120
                    pcLines.add(line);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   121
                    allLines.add(line);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   122
                }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   123
            }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   124
        }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   125
        lineMap = map;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   126
        lineList = new ArrayList<Integer>(allLines);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   127
    }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   128
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   129
    private void setSource(ClassFile cf) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   130
        if (cf != classFile) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   131
            classFile = cf;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   132
            sourceLines = splitLines(readSource(cf));
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   133
        }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   134
    }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   135
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   136
    private String readSource(ClassFile cf) {
3141
79c119fae7fb 6852856: javap changes to facilitate subclassing javap for variants
jjg
parents: 2979
diff changeset
   137
        if (fileManager == null)
79c119fae7fb 6852856: javap changes to facilitate subclassing javap for variants
jjg
parents: 2979
diff changeset
   138
            return null;
79c119fae7fb 6852856: javap changes to facilitate subclassing javap for variants
jjg
parents: 2979
diff changeset
   139
2979
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   140
        Location location;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   141
        if (fileManager.hasLocation((StandardLocation.SOURCE_PATH)))
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   142
            location = StandardLocation.SOURCE_PATH;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   143
        else
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   144
            location = StandardLocation.CLASS_PATH;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   145
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   146
        // Guess the source file for a class from the package name for this
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   147
        // class and the base of the source file. This avoids having to read
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   148
        // additional classes to determine the outmost class from any
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   149
        // InnerClasses and EnclosingMethod attributes.
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   150
        try {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   151
            String className = cf.getName();
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   152
            SourceFile_attribute sf =
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   153
                    (SourceFile_attribute) cf.attributes.get(Attribute.SourceFile);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   154
            if (sf == null) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   155
                report(messages.getMessage("err.no.SourceFile.attribute"));
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   156
                return null;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   157
            }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   158
            String sourceFile = sf.getSourceFile(cf.constant_pool);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   159
            String fileBase = sourceFile.endsWith(".java")
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   160
                ? sourceFile.substring(0, sourceFile.length() - 5) : sourceFile;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   161
            int sep = className.lastIndexOf("/");
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   162
            String pkgName = (sep == -1 ? "" : className.substring(0, sep+1));
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   163
            String topClassName = (pkgName + fileBase).replace('/', '.');
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   164
            JavaFileObject fo =
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   165
                    fileManager.getJavaFileForInput(location,
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   166
                    topClassName,
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   167
                    JavaFileObject.Kind.SOURCE);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   168
            if (fo == null) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   169
                report(messages.getMessage("err.source.file.not.found"));
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   170
                return null;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   171
            }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   172
            return fo.getCharContent(true).toString();
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   173
        } catch (ConstantPoolException e) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   174
            report(e);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   175
            return null;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   176
        } catch (IOException e) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   177
            report(e.getLocalizedMessage());
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   178
            return null;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   179
        }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   180
    }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   181
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   182
    private static String[] splitLines(String text) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   183
        if (text == null)
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   184
            return new String[0];
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   185
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   186
        List<String> lines = new ArrayList<String>();
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   187
        lines.add(""); // dummy line 0
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   188
        try {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   189
            BufferedReader r = new BufferedReader(new StringReader(text));
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   190
            String line;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   191
            while ((line = r.readLine()) != null)
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   192
                lines.add(line);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   193
        } catch (IOException ignore) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   194
        }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   195
        return lines.toArray(new String[lines.size()]);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   196
    }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   197
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   198
    private int nextLine(int line) {
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   199
        int i = lineList.indexOf(line);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   200
        if (i == -1 || i == lineList.size() - 1)
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   201
            return - 1;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   202
        return lineList.get(i + 1);
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   203
    }
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   204
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   205
    private JavaFileManager fileManager;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   206
    private ClassFile classFile;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   207
    private SortedMap<Integer, SortedSet<Integer>> lineMap;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   208
    private List<Integer> lineList;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   209
    private String[] sourceLines;
ea39317acd3d 6824493: experimental support for additional info for instructions
jjg
parents:
diff changeset
   210
}