edu.nyu.acsys.CVC4.TypeConstant Maven / Gradle / Ivy

/* ----------------------------------------------------------------------------
 * This file was automatically generated by SWIG (http://www.swig.org).
 * Version 4.0.1
 *
 * Do not make changes to this file unless you know what you are doing--modify
 * the SWIG interface file instead.
 * ----------------------------------------------------------------------------- */

package edu.nyu.acsys.CVC4;

public final class TypeConstant {
  public final static TypeConstant BUILTIN_OPERATOR_TYPE = new TypeConstant("BUILTIN_OPERATOR_TYPE");
  public final static TypeConstant BOOLEAN_TYPE = new TypeConstant("BOOLEAN_TYPE");
  public final static TypeConstant REAL_TYPE = new TypeConstant("REAL_TYPE");
  public final static TypeConstant INTEGER_TYPE = new TypeConstant("INTEGER_TYPE");
  public final static TypeConstant ROUNDINGMODE_TYPE = new TypeConstant("ROUNDINGMODE_TYPE");
  public final static TypeConstant STRING_TYPE = new TypeConstant("STRING_TYPE");
  public final static TypeConstant REGEXP_TYPE = new TypeConstant("REGEXP_TYPE");
  public final static TypeConstant BOUND_VAR_LIST_TYPE = new TypeConstant("BOUND_VAR_LIST_TYPE");
  public final static TypeConstant INST_PATTERN_TYPE = new TypeConstant("INST_PATTERN_TYPE");
  public final static TypeConstant INST_PATTERN_LIST_TYPE = new TypeConstant("INST_PATTERN_LIST_TYPE");
  public final static TypeConstant RRHB_TYPE = new TypeConstant("RRHB_TYPE");
  public final static TypeConstant LAST_TYPE = new TypeConstant("LAST_TYPE");

  public final int swigValue() {
    return swigValue;
  }

  public String toString() {
    return swigName;
  }

  public static TypeConstant swigToEnum(int swigValue) {
    if (swigValue < swigValues.length && swigValue >= 0 && swigValues[swigValue].swigValue == swigValue)
      return swigValues[swigValue];
    for (int i = 0; i < swigValues.length; i++)
      if (swigValues[i].swigValue == swigValue)
        return swigValues[i];
    throw new IllegalArgumentException("No enum " + TypeConstant.class + " with value " + swigValue);
  }

  private TypeConstant(String swigName) {
    this.swigName = swigName;
    this.swigValue = swigNext++;
  }

  private TypeConstant(String swigName, int swigValue) {
    this.swigName = swigName;
    this.swigValue = swigValue;
    swigNext = swigValue+1;
  }

  private TypeConstant(String swigName, TypeConstant swigEnum) {
    this.swigName = swigName;
    this.swigValue = swigEnum.swigValue;
    swigNext = this.swigValue+1;
  }

  private static TypeConstant[] swigValues = { BUILTIN_OPERATOR_TYPE, BOOLEAN_TYPE, REAL_TYPE, INTEGER_TYPE, ROUNDINGMODE_TYPE, STRING_TYPE, REGEXP_TYPE, BOUND_VAR_LIST_TYPE, INST_PATTERN_TYPE, INST_PATTERN_LIST_TYPE, RRHB_TYPE, LAST_TYPE };
  private static int swigNext = 0;
  private final int swigValue;
  private final String swigName;
}