org.aya.util.binop.Assoc Maven / Gradle / Ivy

Go to download

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

The Aya proof assistant

There is a newer version: 0.36.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.binop;

public enum Assoc {
  /** infix */
  Infix,
  /** infix, left-associative */
  InfixL,
  /** infix, right-associative */
  InfixR,
  /** prefix operators */
  FixL,
  /** postfix operators */
  FixR,

  Unspecified;

  public boolean isBinary() {
    return this == Infix || this == InfixL || this == InfixR;
  }

  public boolean isUnary() {
    return this == FixL || this == FixR;
  }

  public boolean leftAssoc() {
    return this == InfixL || this == FixL;
  }

  public boolean noAssoc() {
    return this == Infix;
  }

  public static boolean assocAmbiguous(Assoc a, Assoc b) {
    //noinspection ConstantConditions: I know, I know. But we should also plan for the future.
    return a != b || a.noAssoc() || b.noAssoc();
  }
}