void Exit();

  // Steps down one parallel nesting level (i.e. increase parallel id size
  // by 1).
  void Down();

  // Steps laterally between parallel nesting levels.
  void Lateral();

  // Steps up one parallel nesting level.
  void Up();

  // Transitions nesting levels from `from` to `to`.
  void Transition(ParallelIdsMap from, ParallelIdsMap to);

    absl::flat_hash_set<Operation*> last_writes = GetLastWrites(resource);
    stack_down_.back()[resource] = last_writes;
  }
  Enter();
}

void SideEffectAnalysisInfo::Lateral() {
  Exit();
  Enter();
}

void SideEffectAnalysisInfo::Up() {
  Exit();
  for (const auto& [resource, last_writes] : stack_up_.back()) {
    SetLastWrites(resource, last_writes);
  }

            <tr>
                <td>dsl</td>
                <td><literal>defaults to 'groovy'</literal></td>
            </tr>
            <tr>
                <td>useIncubating</td>
                <td><literal>defaults to 'false'</literal></td>
            </tr>
            <tr>
                <td>insecureProtocol</td>
                <td><literal>defaults to 'warn'</literal></td>
            </tr>
            <tr>

                dependency.accessRules.add(new AccessRule('accessible', 'literal-accessible'))
                dependency.accessRules.add(new AccessRule('nonaccessible', 'literal-nonaccessible'))
                dependency.accessRules.add(new AccessRule('discouraged', 'literal-discouraged'))
            }
        """

        when:
        EclipseProject project = loadToolingModel(EclipseProject)

    }

    /**
     * コピー元の{@literal Map}を新しい{@literal Map}のインスタンスにコピーして返します。
     *
     * @param <T> コピー先となる{@literal Map}の型
     * @param src コピー元の{@literal Map}。{@literal null}であってはいけません
     * @param destClass コピー先となる{@literal Map}の型。{@literal null}であってはいけません
     * @param options コピーのオプション。{@literal null}であってはいけません
     * @return コピーされた新しい{@literal Map}
     * @see CopyOptionsUtil
     */

                property(a, literal(1))
                    literal(1)
                element(addingNested, [literal(1)], content.size = 1)
                    literal(1)
                    property(a, literal(2))
                        literal(2)
                property(b, literal(5))
                    literal(5)
                element(addingNested, [literal(1)], content.size = 1)
                    literal(1)

    /**
     * {@literal public}メソッドの場合は{@literal true}を返します。
     *
     * @return {@literal public}メソッドの場合は{@literal true}
     */
    boolean isPublic();

    /**
     * {@literal static}メソッドの場合は{@literal true}を返します。
     *
     * @return {@literal static}メソッドの場合は{@literal true}
     */
    boolean isStatic();

    /**
     * {@literal final}メソッドの場合は{@literal true}を返します。
     *

     * <tr>
     * <th>JavaBeansのプロパティ名</th>
     * <th>{@literal Map}のプロパティ名</th>
     * </tr>
     * <tr>
     * <td>{@literal foo}</td>
     * <td>{@literal foo}</td>
     * </tr>
     * <tr>
     * <td>{@literal foo_bar}</td>
     * <td>{@literal foo.bar}</td>
     * </tr>
     * <tr>
     * <td>{@literal foo_bar_baz}</td>
     * <td>{@literal foo.bar.baz}</td>
     * </tr>
     * </table>
     *

    }

    /**
     * 指定のエンコーディングでXMLの内容を {@link InputStream}として取得します。
     *
     * @param contents
     *            コンテンツ。{@literal null}であってはいけません
     * @param encoding
     *            エンコーディング。{@literal null}の場合はプラットフォームのデフォルトエンコーディングが使われます
     * @return {@link InputStream}
     */
    public static InputStream getContentsAsStream(final String contents, final String encoding) {

            throw new IORuntimeException(e);
        }
    }

    /**
     * ファイルチャネル{@literal from}を{@literal to}へ転送します。
     *
     * @param from
     *            転送元のファイルチャネル。{@literal null}であってはいけません
     * @param to
     *            転送先のファイルチャネル。{@literal null}であってはいけません
     * @return 転送されたバイト数
     */
    public static long transfer(final FileChannel from, final FileChannel to) {