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);
  }

// run

// Copyright 2009 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// Test literal syntax for basic types.

package main

var nbad int

func assert(cond bool, msg string) {
	if !cond {
		if nbad == 0 {
			print("BUG")
		}
		nbad++
		print(" ", msg)
	}
}

func equal(a, b float32) bool {
	return a == b
}

                <td><literal>project.reporting.apiDocTitle</literal></td>
            </tr>
            <tr>
                <td>header</td>
                <td><literal>null</literal></td>
            </tr>
            <tr>
                <td>footer</td>
                <td><literal>null</literal></td>
            </tr>
            <tr>
                <td>overviewText</td>
                <td><literal>null</literal></td>

                <td><literal>false</literal></td>
            </tr>
            <tr>
                <td>deprecation</td>
                <td><literal>false</literal></td>
            </tr>
            <tr>
                <td>warnings</td>
                <td><literal>true</literal></td>
            </tr>
            <tr>
                <td>encoding</td>
                <td><literal>null</literal></td>
            </tr>

                <td><literal>[:]</literal></td>
            </tr>
            <tr>
                <td>parameters</td>
                <td><literal>false</literal></td>
            </tr>
            <tr>
                <td>stubDir</td>
                <td><literal>null</literal></td>
            </tr>
            <tr>
                <td>fileExtensions</td>
                <td><literal>["java", "groovy"]</literal></td>

                <td><literal>[]</literal></td>
            </tr>
            <tr>
                <td>applicationDistribution</td>
                <td>A copy spec that includes all of the contents of <literal>src/dist</literal>, copies the start scripts into <literal>bin</literal>, and copies the built jar and all dependencies into <literal>lib</literal></td>
            </tr>
            <tr>
                <td>executableDir</td>

            <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>

 * <li>Meta-data about the plugins, in the form of an XML file.</li>
 * <li>{@code sourceFile} - A main docbook template file containing the introductory material and a list of classes to document.</li>
 * <li>{@code classDocbookDir} - A directory that should contain docbook template for each class referenced in main docbook template.</li>
 * </ul>
 *
 * Produces the following:

                <tr>
                    <td>Name</td>
                    <td>Default with <literal>ear</literal> plugin <overrides>Default with <literal>java</literal> plugin</overrides></td>
                </tr>
            </thead>
            <tr>
                <td>source</td>
                <td><literal>[project.appDir]</literal>, not transitive</td>
            </tr>
            <tr>
                <td>libDirName</td>