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