All Downloads are FREE. Search and download functionalities are using the official Maven repository.

cdm.base.math.QuantifierEnum Maven / Gradle / Ivy

There is a newer version: 6.0.0-dev.89
Show newest version
package cdm.base.math;

import cdm.base.math.QuantifierEnum;
import com.rosetta.model.lib.annotations.RosettaEnum;
import com.rosetta.model.lib.annotations.RosettaEnumValue;
import java.util.Collections;
import java.util.Map;
import java.util.concurrent.ConcurrentHashMap;


/**
 * Represents the enumerated values to specify a logical quantification, i.e. either All or Any.
 * @version 6.0.0-dev.72
 */
@RosettaEnum("QuantifierEnum")
public enum QuantifierEnum {

	/**
	 * Specifies that the condition in the scope of the quantifier is true of every member of the domain i.e. every one of the elements in scope.
	 */
	@RosettaEnumValue(value = "All") 
	ALL("All", null),
	
	/**
	 * Specifies that the condition in the scope of the quantifier is true of at least one member of the domain i.e. one or more of the elements in scope.
	 */
	@RosettaEnumValue(value = "Any") 
	ANY("Any", null)
;
	private static Map values;
	static {
        Map map = new ConcurrentHashMap<>();
		for (QuantifierEnum instance : QuantifierEnum.values()) {
			map.put(instance.toDisplayString(), instance);
		}
		values = Collections.unmodifiableMap(map);
    }

	private final String rosettaName;
	private final String displayName;

	QuantifierEnum(String rosettaName, String displayName) {
		this.rosettaName = rosettaName;
		this.displayName = displayName;
	}

	public static QuantifierEnum fromDisplayName(String name) {
		QuantifierEnum value = values.get(name);
		if (value == null) {
			throw new IllegalArgumentException("No enum constant with display name \"" + name + "\".");
		}
		return value;
	}

	@Override
	public String toString() {
		return toDisplayString();
	}

	public String toDisplayString() {
		return displayName != null ?  displayName : rosettaName;
	}
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy