src/jdk.internal.vm.compiler/share/classes/org.graalvm.graphio/src/org/graalvm/graphio/GraphOutput.java
author dlong
Tue, 24 Apr 2018 09:04:57 -0700
changeset 49873 26ebfe8ce852
parent 47798 9fe9292f5931
child 50858 2d3e99a72541
permissions -rw-r--r--
8199755: 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
/*
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
     2
 * Copyright (c) 2011, 2017, Oracle and/or its affiliates. All rights reserved.
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
 */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    23
package org.graalvm.graphio;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    24
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    25
import java.io.Closeable;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    26
import java.io.IOException;
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
    27
import java.net.URI;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
    28
import java.net.URISyntaxException;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    29
import java.nio.channels.WritableByteChannel;
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
    30
import java.util.Collections;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    31
import java.util.Map;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    32
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    33
/**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    34
 * Instance of output to dump informations about a compiler compilations.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    35
 *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    36
 * @param <G> the type of graph this instance handles
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    37
 * @param <M> the type of methods this instance handles
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    38
 */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    39
public final class GraphOutput<G, M> implements Closeable {
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
    40
    private final GraphProtocol<G, ?, ?, ?, ?, M, ?, ?, ?, ?> printer;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    41
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
    42
    private GraphOutput(GraphProtocol<G, ?, ?, ?, ?, M, ?, ?, ?, ?> p) {
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    43
        this.printer = p;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    44
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    45
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    46
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    47
     * Creates new builder to configure a future instance of {@link GraphOutput}.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    48
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    49
     * @param <G> the type of the graph
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    50
     * @param <N> the type of the nodes
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    51
     * @param <C> the type of the node classes
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    52
     * @param <P> the type of the ports
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    53
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    54
     * @param structure description of the structure of the graph
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    55
     * @return the builder to configure
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    56
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    57
    public static <G, N, C, P> Builder<G, N, ?> newBuilder(GraphStructure<G, N, C, P> structure) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    58
        return new Builder<>(structure);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    59
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    60
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    61
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    62
     * Begins a compilation group.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    63
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    64
     * @param forGraph
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    65
     * @param name
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    66
     * @param shortName
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    67
     * @param method
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    68
     * @param bci
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    69
     * @param properties
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    70
     * @throws IOException
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    71
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    72
    public void beginGroup(G forGraph, String name, String shortName, M method, int bci, Map<? extends Object, ? extends Object> properties) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    73
        printer.beginGroup(forGraph, name, shortName, method, bci, properties);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    74
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    75
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    76
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    77
     * Prints a single graph.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    78
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    79
     * @param graph
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    80
     * @param properties
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    81
     * @param id
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    82
     * @param format
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    83
     * @param args
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    84
     * @throws IOException
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    85
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    86
    public void print(G graph, Map<? extends Object, ? extends Object> properties, int id, String format, Object... args) throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    87
        printer.print(graph, properties, id, format, args);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    88
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    89
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    90
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    91
     * Ends compilation group.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    92
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    93
     * @throws IOException
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    94
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    95
    public void endGroup() throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    96
        printer.endGroup();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    97
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    98
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    99
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   100
     * Closes the output. Closes allocated resources and associated output channel.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   101
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   102
    @Override
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   103
    public void close() {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   104
        printer.close();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   105
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   106
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   107
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   108
     * Builder to configure and create an instance of {@link GraphOutput}.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   109
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   110
     * @param <G> the type of the (root element of) graph
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   111
     * @param <N> the type of the nodes
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   112
     * @param <M> the type of the methods
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   113
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   114
    public static final class Builder<G, N, M> {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   115
        private final GraphStructure<G, N, ?, ?> structure;
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   116
        private ElementsAndLocations<M, ?, ?> elementsAndLocations;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   117
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   118
        private GraphTypes types = DefaultGraphTypes.DEFAULT;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   119
        private GraphBlocks<G, ?, N> blocks = DefaultGraphBlocks.empty();
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   120
        private int major = 4;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   121
        private int minor = 0;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   122
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   123
        Builder(GraphStructure<G, N, ?, ?> structure) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   124
            this.structure = structure;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   125
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   126
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   127
        /**
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   128
         * Chooses which version of the protocol to use. The default version is <code>4.0</code>
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   129
         * (when the {@link GraphOutput} & co. classes were introduced). The default can be changed
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   130
         * to other known versions manually by calling this method.
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   131
         *
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   132
         * @param majorVersion by default 4, newer version may be known
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   133
         * @param minorVersion usually 0
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   134
         * @return this builder
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   135
         * @since 0.28
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   136
         */
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   137
        public Builder<G, N, M> protocolVersion(int majorVersion, int minorVersion) {
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   138
            this.major = majorVersion;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   139
            this.minor = minorVersion;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   140
            return this;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   141
        }
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   142
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   143
        /**
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   144
         * Associates different implementation of types.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   145
         *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   146
         * @param graphTypes implementation of types and enum recognition
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   147
         * @return this builder
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   148
         */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   149
        public Builder<G, N, M> types(GraphTypes graphTypes) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   150
            this.types = graphTypes;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   151
            return this;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   152
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   153
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   154
        /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   155
         * Associates implementation of blocks.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   156
         *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   157
         * @param graphBlocks the blocks implementation
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   158
         * @return this builder
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   159
         */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   160
        public Builder<G, N, M> blocks(GraphBlocks<G, ?, N> graphBlocks) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   161
            this.blocks = graphBlocks;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   162
            return this;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   163
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   164
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   165
        /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   166
         * Associates implementation of graph elements.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   167
         *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   168
         * @param graphElements the elements implementation
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   169
         * @return this builder
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   170
         */
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   171
        public <E, P> Builder<G, N, E> elements(GraphElements<E, ?, ?, P> graphElements) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   172
            StackLocations<E, P> loc = new StackLocations<>(graphElements);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   173
            return elementsAndLocations(graphElements, loc);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   174
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   175
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   176
        /**
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   177
         * Associates implementation of graph elements and an advanced way to interpret their
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   178
         * locations.
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   179
         *
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   180
         * @param graphElements the elements implementation
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   181
         * @param graphLocations the locations for the elements
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   182
         * @return this builder
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   183
         * @since 0.33 GraalVM 0.33
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   184
         */
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   185
        @SuppressWarnings({"unchecked", "rawtypes"})
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   186
        public <E, P> Builder<G, N, E> elementsAndLocations(GraphElements<E, ?, ?, P> graphElements, GraphLocations<E, P, ?> graphLocations) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   187
            ElementsAndLocations both = new ElementsAndLocations<>(graphElements, graphLocations);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   188
            this.elementsAndLocations = both;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   189
            return (Builder<G, N, E>) this;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   190
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   191
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   192
        /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   193
         * Creates new {@link GraphOutput} to output to provided channel. The output will use
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   194
         * interfaces currently associated with this builder.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   195
         *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   196
         * @param channel the channel to output to
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   197
         * @return new graph output
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   198
         * @throws IOException if something goes wrong when writing to the channel
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   199
         */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   200
        public GraphOutput<G, M> build(WritableByteChannel channel) throws IOException {
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   201
            return buildImpl(elementsAndLocations, channel);
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   202
        }
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   203
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   204
        /**
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   205
         * Support for nesting heterogenous graphs. The newly created output uses all the interfaces
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   206
         * currently associated with this builder, but shares with {@code parent} the output
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   207
         * {@code channel}, internal constant pool and {@link #protocolVersion(int, int) protocol
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   208
         * version}.
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   209
         * <p>
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   210
         * Both GraphOutput (the {@code parent} and the returned one) has to be used in
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   211
         * synchronization - e.g. only one
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   212
         * {@link #beginGroup(java.lang.Object, java.lang.String, java.lang.String, java.lang.Object, int, java.util.Map)
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   213
         * begin}, {@link #endGroup() end} of group or
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   214
         * {@link #print(java.lang.Object, java.util.Map, int, java.lang.String, java.lang.Object...)
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   215
         * printing} can be on at a given moment.
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   216
         *
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   217
         * @param parent the output to inherit {@code channel} and protocol version from
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   218
         * @return new output sharing {@code channel} and other internals with {@code parent}
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   219
         */
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   220
        public GraphOutput<G, M> build(GraphOutput<?, ?> parent) {
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   221
            return buildImpl(elementsAndLocations, parent);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   222
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   223
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   224
        private <L, P> GraphOutput<G, M> buildImpl(ElementsAndLocations<M, L, P> e, WritableByteChannel channel) throws IOException {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   225
            // @formatter:off
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   226
            ProtocolImpl<G, N, ?, ?, ?, M, ?, ?, ?, ?> p = new ProtocolImpl<>(
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   227
                major, minor, structure, types, blocks,
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   228
                e == null ? null : e.elements,
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   229
                e == null ? null : e.locations, channel
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   230
            );
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   231
            // @formatter:on
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   232
            return new GraphOutput<>(p);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   233
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   234
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   235
        private <L, P> GraphOutput<G, M> buildImpl(ElementsAndLocations<M, L, P> e, GraphOutput<?, ?> parent) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   236
            // @formatter:off
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   237
            ProtocolImpl<G, N, ?, ?, ?, M, ?, ?, ?, ?> p = new ProtocolImpl<>(
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   238
                parent.printer, structure, types, blocks,
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   239
                e == null ? null : e.elements,
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   240
                e == null ? null : e.locations
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   241
            );
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   242
            // @formatter:on
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   243
            return new GraphOutput<>(p);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   244
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   245
    }
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   246
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   247
    private static final class ElementsAndLocations<M, P, L> {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   248
        final GraphElements<M, ?, ?, P> elements;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   249
        final GraphLocations<M, P, L> locations;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   250
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   251
        ElementsAndLocations(GraphElements<M, ?, ?, P> elements, GraphLocations<M, P, L> locations) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   252
            elements.getClass();
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   253
            locations.getClass();
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   254
            this.elements = elements;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   255
            this.locations = locations;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   256
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   257
    }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   258
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   259
    private static final class StackLocations<M, P> implements GraphLocations<M, P, StackTraceElement> {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   260
        private final GraphElements<M, ?, ?, P> graphElements;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   261
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   262
        StackLocations(GraphElements<M, ?, ?, P> graphElements) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   263
            this.graphElements = graphElements;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   264
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   265
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   266
        @Override
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   267
        public Iterable<StackTraceElement> methodLocation(M method, int bci, P pos) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   268
            StackTraceElement ste = this.graphElements.methodStackTraceElement(method, bci, pos);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   269
            return Collections.singleton(ste);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   270
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   271
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   272
        @Override
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   273
        public URI locationURI(StackTraceElement location) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   274
            String path = location.getFileName();
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   275
            try {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   276
                return path == null ? null : new URI(null, null, path, null);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   277
            } catch (URISyntaxException ex) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   278
                throw new IllegalArgumentException(ex);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   279
            }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   280
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   281
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   282
        @Override
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   283
        public int locationLineNumber(StackTraceElement location) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   284
            return location.getLineNumber();
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   285
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   286
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   287
        @Override
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   288
        public String locationLanguage(StackTraceElement location) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   289
            return "Java";
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   290
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   291
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   292
        @Override
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   293
        public int locationOffsetStart(StackTraceElement location) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   294
            return -1;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   295
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   296
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   297
        @Override
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   298
        public int locationOffsetEnd(StackTraceElement location) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   299
            return -1;
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   300
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47798
diff changeset
   301
    }
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   302
}