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