org.aya.util.error.Global Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tools Show documentation

The Aya proof assistant

There is a newer version: 0.34.0

// Copyright (c) 2020-2024 Tesla (Yinsen) Zhang.
// Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
package org.aya.util.error;

import org.jetbrains.annotations.ApiStatus;
import org.jetbrains.annotations.TestOnly;
import org.jetbrains.annotations.VisibleForTesting;

/**
 * @author kiva
 */
@ApiStatus.Internal
@TestOnly
@VisibleForTesting
public final class Global {
  public static boolean UNITE_SOURCE_POS = false;
  public static boolean NO_RANDOM_NAME = false;
  public static boolean DELETE_JIT_JAVA_SOURCE = true;

  public static void reset() {
    UNITE_SOURCE_POS = false;
    NO_RANDOM_NAME = false;
    DELETE_JIT_JAVA_SOURCE = true;
  }
}