org.aya.util.Version 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-2023 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;

import org.jetbrains.annotations.Contract;
import org.jetbrains.annotations.NotNull;

import java.io.Serializable;
import java.math.BigInteger;
import java.util.regex.Pattern;

public record Version(
  @NotNull BigInteger major,
  @NotNull BigInteger minor,
  @NotNull BigInteger patch
) implements Comparable, Serializable {
  private static final @NotNull Pattern DOT = Pattern.compile("\\.");
  @Contract(value = "_ -> new", pure = true)
  public static @NotNull Version create(@NotNull String version) {
    // TODO: parse semver in the future, this is a workaround.
    if (version.endsWith("-SNAPSHOT")) version = version.substring(0, version.length() - "-SNAPSHOT".length());
    var split = DOT.split(version.trim());
    return switch (split.length) {
      case 0 -> throw new IllegalArgumentException(STR."Invalid version: \{version}");
      case 1 -> new Version(new BigInteger(split[0]), BigInteger.ZERO, BigInteger.ZERO);
      case 2 -> new Version(new BigInteger(split[0]), new BigInteger(split[1]), BigInteger.ZERO);
      default -> new Version(new BigInteger(split[0]), new BigInteger(split[1]), new BigInteger(split[2]));
    };
  }

  public Version(String major, String minor, String patch) {
    this(new BigInteger(major), new BigInteger(minor), new BigInteger(patch));
  }

  public Version(long major, long minor, long patch) {
    this(BigInteger.valueOf(major), BigInteger.valueOf(minor), BigInteger.valueOf(patch));
  }

  @Contract(pure = true)
  public @NotNull String getLongString() {
    return STR."\{major}.\{minor}.\{patch}";
  }

  @Override public String toString() {
    return BigInteger.ZERO.equals(patch)
      ? BigInteger.ZERO.equals(minor)
      ? major.toString()
      : STR."\{major}.\{minor}"
      : STR."\{major}.\{minor}.\{patch}";
  }

  @Override public int compareTo(Version o) {
    int i = major.compareTo(o.major);
    if (i != 0) return i;
    int j = minor.compareTo(o.minor);
    return j != 0 ? j : patch.compareTo(o.patch);
  }
}