src/jdk.internal.vm.compiler/share/classes/org.graalvm.graphio/src/org/graalvm/graphio/GraphProtocol.java
author jwilhelm
Tue, 12 Mar 2019 19:17:42 +0100
changeset 54084 84f10bbf993f
parent 52910 583fd71c47d6
child 54601 c40b2a190173
permissions -rw-r--r--
8218074: Update Graal Reviewed-by: kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
     1
/*
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
     2
 * Copyright (c) 2011, 2018, Oracle and/or its affiliates. All rights reserved.
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
     4
 *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
     7
 * published by the Free Software Foundation.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
     8
 *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    13
 * accompanied this code).
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    14
 *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    18
 *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    21
 * questions.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    22
 */
50858
2d3e99a72541 8205824: Update Graal
never
parents: 50330
diff changeset
    23
2d3e99a72541 8205824: Update Graal
never
parents: 50330
diff changeset
    24
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    25
package org.graalvm.graphio;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    26
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    27
import java.io.Closeable;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    28
import java.io.IOException;
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
    29
import java.net.URI;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
    30
import java.net.URISyntaxException;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    31
import java.nio.ByteBuffer;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    32
import java.nio.channels.WritableByteChannel;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    33
import java.nio.charset.Charset;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    34
import java.util.Collection;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    35
import java.util.HashMap;
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
    36
import java.util.Iterator;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    37
import java.util.LinkedHashMap;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    38
import java.util.LinkedList;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    39
import java.util.Map;
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
    40
import java.util.Objects;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    41
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
    42
abstract class GraphProtocol<Graph, Node, NodeClass, Edges, Block, ResolvedJavaMethod, ResolvedJavaField, Signature, NodeSourcePosition, Location> implements Closeable {
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    43
    private static final Charset UTF8 = Charset.forName("UTF-8");
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    44
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    45
    private static final int CONSTANT_POOL_MAX_SIZE = 8000;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    46
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    47
    private static final int BEGIN_GROUP = 0x00;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    48
    private static final int BEGIN_GRAPH = 0x01;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    49
    private static final int CLOSE_GROUP = 0x02;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    50
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    51
    private static final int POOL_NEW = 0x00;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    52
    private static final int POOL_STRING = 0x01;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    53
    private static final int POOL_ENUM = 0x02;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    54
    private static final int POOL_CLASS = 0x03;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    55
    private static final int POOL_METHOD = 0x04;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    56
    private static final int POOL_NULL = 0x05;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    57
    private static final int POOL_NODE_CLASS = 0x06;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    58
    private static final int POOL_FIELD = 0x07;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    59
    private static final int POOL_SIGNATURE = 0x08;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    60
    private static final int POOL_NODE_SOURCE_POSITION = 0x09;
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
    61
    private static final int POOL_NODE = 0x0a;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    62
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    63
    private static final int PROPERTY_POOL = 0x00;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    64
    private static final int PROPERTY_INT = 0x01;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    65
    private static final int PROPERTY_LONG = 0x02;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    66
    private static final int PROPERTY_DOUBLE = 0x03;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    67
    private static final int PROPERTY_FLOAT = 0x04;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    68
    private static final int PROPERTY_TRUE = 0x05;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    69
    private static final int PROPERTY_FALSE = 0x06;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    70
    private static final int PROPERTY_ARRAY = 0x07;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    71
    private static final int PROPERTY_SUBGRAPH = 0x08;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    72
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    73
    private static final int KLASS = 0x00;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    74
    private static final int ENUM_KLASS = 0x01;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    75
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    76
    private static final byte[] MAGIC_BYTES = {'B', 'I', 'G', 'V'};
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    77
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    78
    private final ConstantPool constantPool;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    79
    private final ByteBuffer buffer;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    80
    private final WritableByteChannel channel;
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    81
    private final boolean embedded;
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
    82
    final int versionMajor;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
    83
    final int versionMinor;
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    84
    private boolean printing;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    85
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    86
    GraphProtocol(WritableByteChannel channel, int major, int minor, boolean embedded) throws IOException {
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
    87
        if (major > 6 || (major == 6 && minor > 0)) {
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
    88
            throw new IllegalArgumentException("Unrecognized version " + major + "." + minor);
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    89
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    90
        this.versionMajor = major;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    91
        this.versionMinor = minor;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    92
        this.constantPool = new ConstantPool();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    93
        this.buffer = ByteBuffer.allocateDirect(256 * 1024);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    94
        this.channel = channel;
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    95
        this.embedded = embedded;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    96
        if (!embedded) {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    97
            writeVersion();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    98
            flushEmbedded();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    99
        }
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   100
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   101
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   102
    GraphProtocol(GraphProtocol<?, ?, ?, ?, ?, ?, ?, ?, ?, ?> parent) {
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   103
        this.versionMajor = parent.versionMajor;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   104
        this.versionMinor = parent.versionMinor;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   105
        this.constantPool = parent.constantPool;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   106
        this.buffer = parent.buffer;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   107
        this.channel = parent.channel;
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   108
        this.embedded = parent.embedded;
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   109
    }
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   110
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   111
    @SuppressWarnings("all")
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   112
    public final void print(Graph graph, Map<? extends Object, ? extends Object> properties, int id, String format, Object... args) throws IOException {
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   113
        printing = true;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   114
        try {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   115
            writeByte(BEGIN_GRAPH);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   116
            if (versionMajor >= 3) {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   117
                writeInt(id);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   118
                writeString(format);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   119
                writeInt(args.length);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   120
                for (Object a : args) {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   121
                    writePropertyObject(graph, a);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   122
                }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   123
            } else {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   124
                writePoolObject(formatTitle(graph, id, format, args));
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   125
            }
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   126
            writeGraph(graph, properties);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   127
            flushEmbedded();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   128
            flush();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   129
        } finally {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   130
            printing = false;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   131
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   132
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   133
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   134
    public final void beginGroup(Graph noGraph, String name, String shortName, ResolvedJavaMethod method, int bci, Map<? extends Object, ? extends Object> properties) throws IOException {
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   135
        printing = true;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   136
        try {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   137
            writeByte(BEGIN_GROUP);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   138
            writePoolObject(name);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   139
            writePoolObject(shortName);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   140
            writePoolObject(method);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   141
            writeInt(bci);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   142
            writeProperties(noGraph, properties);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   143
            flushEmbedded();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   144
        } finally {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   145
            printing = false;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   146
        }
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   147
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   148
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   149
    public final void endGroup() throws IOException {
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   150
        printing = true;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   151
        try {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   152
            writeByte(CLOSE_GROUP);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   153
            flushEmbedded();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   154
        } finally {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   155
            printing = false;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   156
        }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   157
    }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   158
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   159
    final int write(ByteBuffer src) throws IOException {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   160
        if (printing) {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   161
            throw new IllegalStateException("Trying to write during graph print.");
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   162
        }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   163
        constantPool.reset();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   164
        return writeBytesRaw(src);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   165
    }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   166
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   167
    final boolean isOpen() {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   168
        return channel.isOpen();
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   169
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   170
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   171
    @Override
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   172
    public final void close() {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   173
        try {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   174
            flush();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   175
            channel.close();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   176
        } catch (IOException ex) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   177
            throw new Error(ex);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   178
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   179
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   180
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   181
    protected abstract Graph findGraph(Graph current, Object obj);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   182
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   183
    protected abstract ResolvedJavaMethod findMethod(Object obj);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   184
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   185
    /**
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   186
     * Attempts to recognize the provided object as a node. Used to encode it with
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   187
     * {@link #POOL_NODE} pool type.
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   188
     *
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   189
     * @param obj any object
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   190
     * @return <code>null</code> if it is not a node object, non-null otherwise
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   191
     */
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   192
    protected abstract Node findNode(Object obj);
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   193
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   194
    /**
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   195
     * Determines whether the provided object is node class or not.
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   196
     *
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   197
     * @param obj object to check
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   198
     * @return {@code null} if {@code obj} does not represent a NodeClass otherwise the NodeClass
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   199
     *         represented by {@code obj}
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   200
     */
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   201
    protected abstract NodeClass findNodeClass(Object obj);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   202
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   203
    /**
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   204
     * Returns the NodeClass for a given Node {@code obj}.
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   205
     *
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   206
     * @param obj instance of node
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   207
     * @return non-{@code null} instance of the node's class object
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   208
     */
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   209
    protected abstract NodeClass findClassForNode(Node obj);
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   210
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   211
    /**
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   212
     * Find a Java class. The returned object must be acceptable by
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   213
     * {@link #findJavaTypeName(java.lang.Object)} and return valid name for the class.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   214
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   215
     * @param clazz node class object
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   216
     * @return object representing the class, for example {@link Class}
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   217
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   218
    protected abstract Object findJavaClass(NodeClass clazz);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   219
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   220
    protected abstract Object findEnumClass(Object enumValue);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   221
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   222
    protected abstract String findNameTemplate(NodeClass clazz);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   223
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   224
    protected abstract Edges findClassEdges(NodeClass nodeClass, boolean dumpInputs);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   225
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   226
    protected abstract int findNodeId(Node n);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   227
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   228
    protected abstract void findExtraNodes(Node node, Collection<? super Node> extraNodes);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   229
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   230
    protected abstract boolean hasPredecessor(Node node);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   231
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   232
    protected abstract int findNodesCount(Graph info);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   233
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   234
    protected abstract Iterable<? extends Node> findNodes(Graph info);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   235
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   236
    protected abstract void findNodeProperties(Node node, Map<String, Object> props, Graph info);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   237
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   238
    protected abstract Collection<? extends Node> findBlockNodes(Graph info, Block block);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   239
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   240
    protected abstract int findBlockId(Block sux);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   241
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   242
    protected abstract Collection<? extends Block> findBlocks(Graph graph);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   243
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   244
    protected abstract Collection<? extends Block> findBlockSuccessors(Block block);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   245
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   246
    protected abstract String formatTitle(Graph graph, int id, String format, Object... args);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   247
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   248
    protected abstract int findSize(Edges edges);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   249
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   250
    protected abstract boolean isDirect(Edges edges, int i);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   251
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   252
    protected abstract String findName(Edges edges, int i);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   253
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   254
    protected abstract Object findType(Edges edges, int i);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   255
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   256
    protected abstract Collection<? extends Node> findNodes(Graph graph, Node node, Edges edges, int i);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   257
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   258
    protected abstract int findEnumOrdinal(Object obj);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   259
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   260
    protected abstract String[] findEnumTypeValues(Object clazz);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   261
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   262
    protected abstract String findJavaTypeName(Object obj);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   263
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   264
    protected abstract byte[] findMethodCode(ResolvedJavaMethod method);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   265
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   266
    protected abstract int findMethodModifiers(ResolvedJavaMethod method);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   267
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   268
    protected abstract Signature findMethodSignature(ResolvedJavaMethod method);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   269
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   270
    protected abstract String findMethodName(ResolvedJavaMethod method);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   271
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   272
    protected abstract Object findMethodDeclaringClass(ResolvedJavaMethod method);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   273
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   274
    protected abstract int findFieldModifiers(ResolvedJavaField field);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   275
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   276
    protected abstract String findFieldTypeName(ResolvedJavaField field);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   277
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   278
    protected abstract String findFieldName(ResolvedJavaField field);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   279
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   280
    protected abstract Object findFieldDeclaringClass(ResolvedJavaField field);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   281
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   282
    protected abstract ResolvedJavaField findJavaField(Object object);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   283
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   284
    protected abstract Signature findSignature(Object object);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   285
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   286
    protected abstract int findSignatureParameterCount(Signature signature);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   287
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   288
    protected abstract String findSignatureParameterTypeName(Signature signature, int index);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   289
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   290
    protected abstract String findSignatureReturnTypeName(Signature signature);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   291
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   292
    protected abstract NodeSourcePosition findNodeSourcePosition(Object object);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   293
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   294
    protected abstract ResolvedJavaMethod findNodeSourcePositionMethod(NodeSourcePosition pos);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   295
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   296
    protected abstract NodeSourcePosition findNodeSourcePositionCaller(NodeSourcePosition pos);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   297
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   298
    protected abstract int findNodeSourcePositionBCI(NodeSourcePosition pos);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   299
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   300
    protected abstract Iterable<Location> findLocation(ResolvedJavaMethod method, int bci, NodeSourcePosition pos);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   301
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   302
    protected abstract String findLocationFile(Location loc) throws IOException;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   303
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   304
    protected abstract int findLocationLine(Location loc);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   305
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   306
    protected abstract URI findLocationURI(Location loc) throws URISyntaxException;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   307
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   308
    protected abstract String findLocationLanguage(Location loc);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   309
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   310
    protected abstract int findLocationStart(Location loc);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   311
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   312
    protected abstract int findLocationEnd(Location loc);
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   313
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   314
    private void writeVersion() throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   315
        writeBytesRaw(MAGIC_BYTES);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   316
        writeByte(versionMajor);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   317
        writeByte(versionMinor);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   318
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   319
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   320
    private void flushEmbedded() throws IOException {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   321
        if (embedded) {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   322
            flush();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   323
            constantPool.reset();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   324
        }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   325
    }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   326
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   327
    private void flush() throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   328
        buffer.flip();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   329
        /*
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   330
         * Try not to let interrupted threads abort the write. There's still a race here but an
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   331
         * interrupt that's been pending for a long time shouldn't stop this writing.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   332
         */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   333
        boolean interrupted = Thread.interrupted();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   334
        try {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   335
            channel.write(buffer);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   336
        } finally {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   337
            if (interrupted) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   338
                Thread.currentThread().interrupt();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   339
            }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   340
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   341
        buffer.compact();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   342
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   343
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   344
    private void ensureAvailable(int i) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   345
        assert buffer.capacity() >= i : "Can not make " + i + " bytes available, buffer is too small";
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   346
        while (buffer.remaining() < i) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   347
            flush();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   348
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   349
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   350
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   351
    private void writeByte(int b) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   352
        ensureAvailable(1);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   353
        buffer.put((byte) b);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   354
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   355
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   356
    private void writeInt(int b) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   357
        ensureAvailable(4);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   358
        buffer.putInt(b);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   359
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   360
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   361
    private void writeLong(long b) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   362
        ensureAvailable(8);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   363
        buffer.putLong(b);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   364
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   365
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   366
    private void writeDouble(double b) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   367
        ensureAvailable(8);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   368
        buffer.putDouble(b);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   369
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   370
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   371
    private void writeFloat(float b) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   372
        ensureAvailable(4);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   373
        buffer.putFloat(b);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   374
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   375
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   376
    private void writeShort(char b) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   377
        ensureAvailable(2);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   378
        buffer.putChar(b);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   379
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   380
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   381
    private void writeString(String str) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   382
        byte[] bytes = str.getBytes(UTF8);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   383
        writeBytes(bytes);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   384
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   385
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   386
    private void writeBytes(byte[] b) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   387
        if (b == null) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   388
            writeInt(-1);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   389
        } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   390
            writeInt(b.length);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   391
            writeBytesRaw(b);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   392
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   393
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   394
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   395
    private void writeBytesRaw(byte[] b) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   396
        int bytesWritten = 0;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   397
        while (bytesWritten < b.length) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   398
            int toWrite = Math.min(b.length - bytesWritten, buffer.capacity());
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   399
            ensureAvailable(toWrite);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   400
            buffer.put(b, bytesWritten, toWrite);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   401
            bytesWritten += toWrite;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   402
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   403
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   404
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   405
    private int writeBytesRaw(ByteBuffer b) throws IOException {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   406
        int limit = b.limit();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   407
        int written = 0;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   408
        while (b.position() < limit) {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   409
            int toWrite = Math.min(limit - b.position(), buffer.capacity());
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   410
            ensureAvailable(toWrite);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   411
            b.limit(b.position() + toWrite);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   412
            try {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   413
                buffer.put(b);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   414
                written += toWrite;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   415
            } finally {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   416
                b.limit(limit);
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   417
            }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   418
        }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   419
        return written;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   420
    }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   421
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   422
    private void writeInts(int[] b) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   423
        if (b == null) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   424
            writeInt(-1);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   425
        } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   426
            writeInt(b.length);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   427
            int sizeInBytes = b.length * 4;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   428
            ensureAvailable(sizeInBytes);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   429
            buffer.asIntBuffer().put(b);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   430
            buffer.position(buffer.position() + sizeInBytes);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   431
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   432
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   433
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   434
    private void writeDoubles(double[] b) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   435
        if (b == null) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   436
            writeInt(-1);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   437
        } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   438
            writeInt(b.length);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   439
            int sizeInBytes = b.length * 8;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   440
            ensureAvailable(sizeInBytes);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   441
            buffer.asDoubleBuffer().put(b);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   442
            buffer.position(buffer.position() + sizeInBytes);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   443
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   444
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   445
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   446
    private void writePoolObject(Object obj) throws IOException {
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   447
        Object object = obj;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   448
        if (object == null) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   449
            writeByte(POOL_NULL);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   450
            return;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   451
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   452
        Character id = constantPool.get(object);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   453
        if (id == null) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   454
            addPoolEntry(object);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   455
        } else {
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   456
            int type = findPoolType(object, null);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   457
            writeByte(type);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   458
            writeShort(id.charValue());
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   459
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   460
    }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   461
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   462
    private int findPoolType(Object obj, Object[] found) throws IOException {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   463
        Object object = obj;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   464
        if (object == null) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   465
            return POOL_NULL;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   466
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   467
        if (isFound(findJavaField(object), found)) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   468
            return POOL_FIELD;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   469
        } else if (isFound(findSignature(object), found)) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   470
            return POOL_SIGNATURE;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   471
        } else if (versionMajor >= 4 && isFound(findNodeSourcePosition(object), found)) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   472
            return POOL_NODE_SOURCE_POSITION;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   473
        } else {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   474
            final Node node = findNode(object);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   475
            if (versionMajor == 4 && node != null) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   476
                object = classForNode(node);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   477
            }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   478
            if (isFound(findNodeClass(object), found)) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   479
                return POOL_NODE_CLASS;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   480
            } else if (versionMajor >= 5 && isFound(node, found)) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   481
                return POOL_NODE;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   482
            } else if (isFound(findMethod(object), found)) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   483
                return POOL_METHOD;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   484
            } else if (object instanceof Enum<?>) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   485
                if (found != null) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   486
                    found[0] = ((Enum<?>) object).ordinal();
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   487
                }
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   488
                return POOL_ENUM;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   489
            } else {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   490
                int val = findEnumOrdinal(object);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   491
                if (val >= 0) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   492
                    if (found != null) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   493
                        found[0] = val;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   494
                    }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   495
                    return POOL_ENUM;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   496
                } else if (object instanceof Class<?>) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   497
                    if (found != null) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   498
                        found[0] = ((Class<?>) object).getName();
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   499
                    }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   500
                    return POOL_CLASS;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   501
                } else if (isFound(findJavaTypeName(object), found)) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   502
                    return POOL_CLASS;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   503
                } else {
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   504
                    return POOL_STRING;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   505
                }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   506
            }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   507
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   508
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   509
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   510
    private void writeGraph(Graph graph, Map<? extends Object, ? extends Object> properties) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   511
        writeProperties(graph, properties);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   512
        writeNodes(graph);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   513
        writeBlocks(findBlocks(graph), graph);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   514
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   515
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   516
    private void writeNodes(Graph info) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   517
        Map<String, Object> props = new HashMap<>();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   518
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   519
        final int size = findNodesCount(info);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   520
        writeInt(size);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   521
        int cnt = 0;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   522
        for (Node node : findNodes(info)) {
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   523
            NodeClass nodeClass = classForNode(node);
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   524
            findNodeProperties(node, props, info);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   525
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   526
            writeInt(findNodeId(node));
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   527
            writePoolObject(nodeClass);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   528
            writeByte(hasPredecessor(node) ? 1 : 0);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   529
            writeProperties(info, props);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   530
            writeEdges(info, node, true);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   531
            writeEdges(info, node, false);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   532
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   533
            props.clear();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   534
            cnt++;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   535
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   536
        if (size != cnt) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   537
            throw new IOException("Expecting " + size + " nodes, but found " + cnt);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   538
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   539
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   540
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   541
    private void writeEdges(Graph graph, Node node, boolean dumpInputs) throws IOException {
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   542
        NodeClass clazz = classForNode(node);
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   543
        Edges edges = findClassEdges(clazz, dumpInputs);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   544
        int size = findSize(edges);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   545
        for (int i = 0; i < size; i++) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   546
            Collection<? extends Node> list = findNodes(graph, node, edges, i);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   547
            if (isDirect(edges, i)) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   548
                if (list != null && list.size() != 1) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   549
                    throw new IOException("Edge " + i + " in " + edges + " is direct, but list isn't singleton: " + list);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   550
                }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   551
                Node n = null;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   552
                if (list != null && !list.isEmpty()) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   553
                    n = list.iterator().next();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   554
                }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   555
                writeNodeRef(n);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   556
            } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   557
                if (list == null) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   558
                    writeShort((char) 0);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   559
                } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   560
                    int listSize = list.size();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   561
                    assert listSize == ((char) listSize);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   562
                    writeShort((char) listSize);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   563
                    for (Node edge : list) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   564
                        writeNodeRef(edge);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   565
                    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   566
                }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   567
            }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   568
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   569
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   570
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   571
    private NodeClass classForNode(Node node) throws IOException {
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   572
        NodeClass clazz = findClassForNode(node);
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   573
        if (clazz == null) {
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   574
            throw new IOException("No class for " + node);
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   575
        }
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   576
        return clazz;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   577
    }
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   578
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   579
    private void writeNodeRef(Node node) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   580
        writeInt(findNodeId(node));
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   581
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   582
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   583
    private void writeBlocks(Collection<? extends Block> blocks, Graph info) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   584
        if (blocks != null) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   585
            for (Block block : blocks) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   586
                Collection<? extends Node> nodes = findBlockNodes(info, block);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   587
                if (nodes == null) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   588
                    writeInt(0);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   589
                    return;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   590
                }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   591
            }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   592
            writeInt(blocks.size());
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   593
            for (Block block : blocks) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   594
                Collection<? extends Node> nodes = findBlockNodes(info, block);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   595
                writeInt(findBlockId(block));
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   596
                writeInt(nodes.size());
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   597
                for (Node node : nodes) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   598
                    writeInt(findNodeId(node));
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   599
                }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   600
                final Collection<? extends Block> successors = findBlockSuccessors(block);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   601
                writeInt(successors.size());
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   602
                for (Block sux : successors) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   603
                    writeInt(findBlockId(sux));
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   604
                }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   605
            }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   606
        } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   607
            writeInt(0);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   608
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   609
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   610
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   611
    private void writeEdgesInfo(NodeClass nodeClass, boolean dumpInputs) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   612
        Edges edges = findClassEdges(nodeClass, dumpInputs);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   613
        int size = findSize(edges);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   614
        writeShort((char) size);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   615
        for (int i = 0; i < size; i++) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   616
            writeByte(isDirect(edges, i) ? 0 : 1);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   617
            writePoolObject(findName(edges, i));
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   618
            if (dumpInputs) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   619
                writePoolObject(findType(edges, i));
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   620
            }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   621
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   622
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   623
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   624
    @SuppressWarnings("unchecked")
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   625
    private void addPoolEntry(Object obj) throws IOException {
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   626
        Object object = obj;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   627
        char index = constantPool.add(object);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   628
        writeByte(POOL_NEW);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   629
        writeShort(index);
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   630
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   631
        Object[] found = {null};
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   632
        int type = findPoolType(object, found);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   633
        writeByte(type);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   634
        switch (type) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   635
            case POOL_FIELD: {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   636
                ResolvedJavaField field = (ResolvedJavaField) found[0];
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   637
                Objects.nonNull(field);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   638
                writePoolObject(findFieldDeclaringClass(field));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   639
                writePoolObject(findFieldName(field));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   640
                writePoolObject(findFieldTypeName(field));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   641
                writeInt(findFieldModifiers(field));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   642
                break;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   643
            }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   644
            case POOL_SIGNATURE: {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   645
                Signature signature = (Signature) found[0];
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   646
                int args = findSignatureParameterCount(signature);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   647
                writeShort((char) args);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   648
                for (int i = 0; i < args; i++) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   649
                    writePoolObject(findSignatureParameterTypeName(signature, i));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   650
                }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   651
                writePoolObject(findSignatureReturnTypeName(signature));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   652
                break;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   653
            }
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   654
            case POOL_NODE_SOURCE_POSITION: {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   655
                NodeSourcePosition pos = (NodeSourcePosition) found[0];
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   656
                Objects.nonNull(pos);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   657
                ResolvedJavaMethod method = findNodeSourcePositionMethod(pos);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   658
                writePoolObject(method);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   659
                final int bci = findNodeSourcePositionBCI(pos);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   660
                writeInt(bci);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   661
                Iterator<Location> ste = findLocation(method, bci, pos).iterator();
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   662
                if (versionMajor >= 6) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   663
                    while (ste.hasNext()) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   664
                        Location loc = ste.next();
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   665
                        URI uri;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   666
                        try {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   667
                            uri = findLocationURI(loc);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   668
                        } catch (URISyntaxException ex) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   669
                            throw new IOException(ex);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   670
                        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   671
                        if (uri == null) {
50330
2cbc42a5764b 8202670: Update Graal
dlong
parents: 49873
diff changeset
   672
                            continue;
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   673
                        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   674
                        String l = findLocationLanguage(loc);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   675
                        if (l == null) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   676
                            continue;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   677
                        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   678
                        writePoolObject(uri.toString());
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   679
                        writeString(l);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   680
                        writeInt(findLocationLine(loc));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   681
                        writeInt(findLocationStart(loc));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   682
                        writeInt(findLocationEnd(loc));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   683
                    }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   684
                    writePoolObject(null);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   685
                } else {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   686
                    Location first = ste.hasNext() ? ste.next() : null;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   687
                    String fileName = first != null ? findLocationFile(first) : null;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   688
                    if (fileName != null) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   689
                        writePoolObject(fileName);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   690
                        writeInt(findLocationLine(first));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   691
                    } else {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   692
                        writePoolObject(null);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   693
                    }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   694
                }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   695
                writePoolObject(findNodeSourcePositionCaller(pos));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   696
                break;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   697
            }
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   698
            case POOL_NODE: {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   699
                Node node = (Node) found[0];
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   700
                Objects.nonNull(node);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   701
                writeInt(findNodeId(node));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   702
                writePoolObject(classForNode(node));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   703
                break;
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   704
            }
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   705
            case POOL_NODE_CLASS: {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   706
                NodeClass nodeClass = (NodeClass) found[0];
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   707
                final Object clazz = findJavaClass(nodeClass);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   708
                if (versionMajor >= 3) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   709
                    writePoolObject(clazz);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   710
                    writeString(findNameTemplate(nodeClass));
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   711
                } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   712
                    writeString(((Class<?>) clazz).getSimpleName());
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   713
                    String nameTemplate = findNameTemplate(nodeClass);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   714
                    writeString(nameTemplate);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   715
                }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   716
                writeEdgesInfo(nodeClass, true);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   717
                writeEdgesInfo(nodeClass, false);
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   718
                break;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   719
            }
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   720
            case POOL_CLASS: {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   721
                String typeName = (String) found[0];
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   722
                Objects.nonNull(typeName);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   723
                writeString(typeName);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   724
                String[] enumValueNames = findEnumTypeValues(object);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   725
                if (enumValueNames != null) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   726
                    writeByte(ENUM_KLASS);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   727
                    writeInt(enumValueNames.length);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   728
                    for (String o : enumValueNames) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   729
                        writePoolObject(o);
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   730
                    }
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   731
                } else {
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   732
                    writeByte(KLASS);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   733
                }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   734
                break;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   735
            }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   736
            case POOL_METHOD: {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   737
                ResolvedJavaMethod method = (ResolvedJavaMethod) found[0];
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   738
                Objects.nonNull(method);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   739
                writePoolObject(findMethodDeclaringClass(method));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   740
                writePoolObject(findMethodName(method));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   741
                final Signature methodSignature = findMethodSignature(method);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   742
                if (findSignature(methodSignature) == null) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   743
                    throw new IOException("Should be recognized as signature: " + methodSignature + " for " + method);
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47667
diff changeset
   744
                }
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   745
                writePoolObject(methodSignature);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   746
                writeInt(findMethodModifiers(method));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   747
                writeBytes(findMethodCode(method));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   748
                break;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   749
            }
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   750
            case POOL_ENUM: {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   751
                int enumOrdinal = (int) found[0];
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   752
                writePoolObject(findEnumClass(object));
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   753
                writeInt(enumOrdinal);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   754
                break;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   755
            }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   756
            case POOL_STRING: {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   757
                writeString(object.toString());
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   758
                break;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   759
            }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   760
            default:
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   761
                throw new IllegalStateException();
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   762
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   763
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   764
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   765
    private void writePropertyObject(Graph graph, Object obj) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   766
        if (obj instanceof Integer) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   767
            writeByte(PROPERTY_INT);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   768
            writeInt(((Integer) obj).intValue());
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   769
        } else if (obj instanceof Long) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   770
            writeByte(PROPERTY_LONG);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   771
            writeLong(((Long) obj).longValue());
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   772
        } else if (obj instanceof Double) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   773
            writeByte(PROPERTY_DOUBLE);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   774
            writeDouble(((Double) obj).doubleValue());
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   775
        } else if (obj instanceof Float) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   776
            writeByte(PROPERTY_FLOAT);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   777
            writeFloat(((Float) obj).floatValue());
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   778
        } else if (obj instanceof Boolean) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   779
            if (((Boolean) obj).booleanValue()) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   780
                writeByte(PROPERTY_TRUE);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   781
            } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   782
                writeByte(PROPERTY_FALSE);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   783
            }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   784
        } else if (obj != null && obj.getClass().isArray()) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   785
            Class<?> componentType = obj.getClass().getComponentType();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   786
            if (componentType.isPrimitive()) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   787
                if (componentType == Double.TYPE) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   788
                    writeByte(PROPERTY_ARRAY);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   789
                    writeByte(PROPERTY_DOUBLE);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   790
                    writeDoubles((double[]) obj);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   791
                } else if (componentType == Integer.TYPE) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   792
                    writeByte(PROPERTY_ARRAY);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   793
                    writeByte(PROPERTY_INT);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   794
                    writeInts((int[]) obj);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   795
                } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   796
                    writeByte(PROPERTY_POOL);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   797
                    writePoolObject(obj);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   798
                }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   799
            } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   800
                writeByte(PROPERTY_ARRAY);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   801
                writeByte(PROPERTY_POOL);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   802
                Object[] array = (Object[]) obj;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   803
                writeInt(array.length);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   804
                for (Object o : array) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   805
                    writePoolObject(o);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   806
                }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   807
            }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   808
        } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   809
            Graph g = findGraph(graph, obj);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   810
            if (g == null) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   811
                writeByte(PROPERTY_POOL);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   812
                writePoolObject(obj);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   813
            } else {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   814
                writeByte(PROPERTY_SUBGRAPH);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   815
                writeGraph(g, null);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   816
            }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   817
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   818
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   819
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   820
    private void writeProperties(Graph graph, Map<? extends Object, ? extends Object> props) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   821
        if (props == null) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   822
            writeShort((char) 0);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   823
            return;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   824
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   825
        final int size = props.size();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   826
        // properties
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   827
        writeShort((char) size);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   828
        int cnt = 0;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   829
        for (Map.Entry<? extends Object, ? extends Object> entry : props.entrySet()) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   830
            String key = entry.getKey().toString();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   831
            writePoolObject(key);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   832
            writePropertyObject(graph, entry.getValue());
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   833
            cnt++;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   834
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   835
        if (size != cnt) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   836
            throw new IOException("Expecting " + size + " properties, but found only " + cnt);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   837
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   838
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   839
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   840
    private static boolean isFound(Object obj, Object[] found) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   841
        if (obj == null) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   842
            return false;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   843
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   844
        if (found != null) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   845
            found[0] = obj;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   846
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   847
        return true;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   848
    }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   849
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   850
    private static final class ConstantPool extends LinkedHashMap<Object, Character> {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   851
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   852
        private final LinkedList<Character> availableIds;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   853
        private char nextId;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   854
        private static final long serialVersionUID = -2676889957907285681L;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   855
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   856
        ConstantPool() {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   857
            super(50, 0.65f);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   858
            availableIds = new LinkedList<>();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   859
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   860
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   861
        @Override
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   862
        protected boolean removeEldestEntry(java.util.Map.Entry<Object, Character> eldest) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   863
            if (size() > CONSTANT_POOL_MAX_SIZE) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   864
                availableIds.addFirst(eldest.getValue());
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   865
                return true;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   866
            }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   867
            return false;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   868
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   869
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   870
        private Character nextAvailableId() {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   871
            if (!availableIds.isEmpty()) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   872
                return availableIds.removeFirst();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   873
            }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   874
            return nextId++;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   875
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   876
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   877
        public char add(Object obj) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   878
            Character id = nextAvailableId();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   879
            put(obj, id);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   880
            return id;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   881
        }
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   882
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   883
        void reset() {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   884
            clear();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   885
            availableIds.clear();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   886
            nextId = 0;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
   887
        }
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   888
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   889
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   890
}