src/jdk.internal.vm.compiler/share/classes/org.graalvm.graphio/src/org/graalvm/graphio/GraphOutput.java
author dlong
Mon, 06 Nov 2017 20:29:49 -0800
changeset 47798 9fe9292f5931
parent 47216 71c04702a3d5
child 49873 26ebfe8ce852
permissions -rw-r--r--
8190710: 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;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    27
import java.nio.channels.WritableByteChannel;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    28
import java.util.Map;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    29
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    30
/**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    31
 * Instance of output to dump informations about a compiler compilations.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    32
 *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    33
 * @param <G> the type of graph this instance handles
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    34
 * @param <M> the type of methods this instance handles
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    35
 */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    36
public final class GraphOutput<G, M> implements Closeable {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    37
    private final GraphProtocol<G, ?, ?, ?, ?, M, ?, ?, ?> printer;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    38
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    39
    private GraphOutput(GraphProtocol<G, ?, ?, ?, ?, M, ?, ?, ?> p) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    40
        this.printer = p;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    41
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    42
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    43
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    44
     * Creates new builder to configure a future instance of {@link GraphOutput}.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    45
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    46
     * @param <G> the type of the graph
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    47
     * @param <N> the type of the nodes
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    48
     * @param <C> the type of the node classes
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    49
     * @param <P> the type of the ports
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    50
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    51
     * @param structure description of the structure of the graph
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    52
     * @return the builder to configure
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    53
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    54
    public static <G, N, C, P> Builder<G, N, ?> newBuilder(GraphStructure<G, N, C, P> structure) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    55
        return new Builder<>(structure);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    56
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    57
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    58
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    59
     * Begins a compilation group.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    60
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    61
     * @param forGraph
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    62
     * @param name
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    63
     * @param shortName
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    64
     * @param method
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    65
     * @param bci
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    66
     * @param properties
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    67
     * @throws IOException
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    68
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    69
    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
    70
        printer.beginGroup(forGraph, name, shortName, method, bci, properties);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    71
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    72
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    73
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    74
     * Prints a single graph.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    75
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    76
     * @param graph
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    77
     * @param properties
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    78
     * @param id
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    79
     * @param format
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    80
     * @param args
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    81
     * @throws IOException
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    82
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    83
    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
    84
        printer.print(graph, properties, id, format, args);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    85
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    86
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    87
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    88
     * Ends compilation group.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    89
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    90
     * @throws IOException
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    91
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    92
    public void endGroup() throws IOException {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    93
        printer.endGroup();
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    94
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    95
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    96
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    97
     * Closes the output. Closes allocated resources and associated output channel.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    98
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
    99
    @Override
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   100
    public void close() {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   101
        printer.close();
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
    /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   105
     * Builder to configure and create an instance of {@link GraphOutput}.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   106
     *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   107
     * @param <G> the type of the (root element of) graph
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   108
     * @param <N> the type of the nodes
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   109
     * @param <M> the type of the methods
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   110
     */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   111
    public static final class Builder<G, N, M> {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   112
        private final GraphStructure<G, N, ?, ?> structure;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   113
        private GraphElements<M, ?, ?, ?> elements = null;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   114
        private GraphTypes types = DefaultGraphTypes.DEFAULT;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   115
        private GraphBlocks<G, ?, N> blocks = DefaultGraphBlocks.empty();
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   116
        private int major = 4;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   117
        private int minor = 0;
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   118
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   119
        Builder(GraphStructure<G, N, ?, ?> structure) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   120
            this.structure = structure;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   121
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   122
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   123
        /**
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   124
         * 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
   125
         * (when the {@link GraphOutput} & co. classes were introduced). The default can be changed
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   126
         * to other known versions manually by calling this method.
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   127
         *
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   128
         * @param majorVersion by default 4, newer version may be known
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   129
         * @param minorVersion usually 0
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   130
         * @return this builder
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   131
         * @since 0.28
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   132
         */
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   133
        public Builder<G, N, M> protocolVersion(int majorVersion, int minorVersion) {
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   134
            this.major = majorVersion;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   135
            this.minor = minorVersion;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   136
            return this;
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   137
        }
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   138
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   139
        /**
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   140
         * Associates different implementation of types.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   141
         *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   142
         * @param graphTypes implementation of types and enum recognition
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   143
         * @return this builder
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   144
         */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   145
        public Builder<G, N, M> types(GraphTypes graphTypes) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   146
            this.types = graphTypes;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   147
            return this;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   148
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   149
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   150
        /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   151
         * Associates implementation of blocks.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   152
         *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   153
         * @param graphBlocks the blocks implementation
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   154
         * @return this builder
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   155
         */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   156
        public Builder<G, N, M> blocks(GraphBlocks<G, ?, N> graphBlocks) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   157
            this.blocks = graphBlocks;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   158
            return this;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   159
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   160
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   161
        /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   162
         * Associates implementation of graph elements.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   163
         *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   164
         * @param graphElements the elements implementation
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   165
         * @return this builder
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   166
         */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   167
        @SuppressWarnings({"unchecked", "rawtypes"})
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   168
        public <E> Builder<G, N, E> elements(GraphElements<E, ?, ?, ?> graphElements) {
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   169
            this.elements = (GraphElements) graphElements;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   170
            return (Builder<G, N, E>) this;
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   171
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   172
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   173
        /**
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   174
         * Creates new {@link GraphOutput} to output to provided channel. The output will use
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   175
         * interfaces currently associated with this builder.
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   176
         *
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   177
         * @param channel the channel to output to
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   178
         * @return new graph output
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   179
         * @throws IOException if something goes wrong when writing to the channel
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   180
         */
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   181
        public GraphOutput<G, M> build(WritableByteChannel channel) throws IOException {
47798
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   182
            ProtocolImpl<G, N, ?, ?, ?, M, ?, ?, ?> p = new ProtocolImpl<>(major, minor, structure, types, blocks, elements, channel);
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   183
            return new GraphOutput<>(p);
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   184
        }
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   185
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   186
        /**
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   187
         * Support for nesting heterogenous graphs. The newly created output uses all the interfaces
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   188
         * currently associated with this builder, but shares with {@code parent} the output
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   189
         * {@code channel}, internal constant pool and {@link #protocolVersion(int, int) protocol
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   190
         * version}.
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   191
         * <p>
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   192
         * Both GraphOutput (the {@code parent} and the returned one) has to be used in
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   193
         * synchronization - e.g. only one
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   194
         * {@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
   195
         * begin}, {@link #endGroup() end} of group or
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   196
         * {@link #print(java.lang.Object, java.util.Map, int, java.lang.String, java.lang.Object...)
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   197
         * printing} can be on at a given moment.
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   198
         *
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   199
         * @param parent the output to inherit {@code channel} and protocol version from
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   200
         * @return new output sharing {@code channel} and other internals with {@code parent}
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   201
         */
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   202
        public GraphOutput<G, M> build(GraphOutput<?, ?> parent) {
9fe9292f5931 8190710: Update Graal
dlong
parents: 47216
diff changeset
   203
            ProtocolImpl<G, N, ?, ?, ?, M, ?, ?, ?> p = new ProtocolImpl<>(parent.printer, structure, types, blocks, elements);
46762
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   204
            return new GraphOutput<>(p);
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   205
        }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   206
    }
f7defa99f173 8185829: Update Graal
dlong
parents:
diff changeset
   207
}