Enum ModelType

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<ModelType>

    public enum ModelType
    extends java.lang.Enum<ModelType>
    List of possible models which can be stored via the Model class.
    Author:
    Kapeluch, El-Sharkawy
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.lang.String denotation  
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private ModelType​(java.lang.String denotation)
      Sole constructor for this class.
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getDenotation()
      Getter for the section name of this ModelType.
      static ModelType valueOf​(java.lang.String name)
      Returns the enum constant of this type with the specified name.
      static ModelType[] values()
      Returns an array containing the constants of this enum type, in the order they are declared.
      • Methods inherited from class java.lang.Enum

        clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • Enum Constant Detail

      • PREDECESSORS

        public static final ModelType PREDECESSORS
      • SUCCESSORS

        public static final ModelType SUCCESSORS
      • SETTINGS

        public static final ModelType SETTINGS
        Further project settings, like debug on/off.
      • REASONERS

        public static final ModelType REASONERS
        Settings of the reasoner configuration.
      • INSTANTIATORS

        public static final ModelType INSTANTIATORS
        Stores the chosen instantiators related to file types.
    • Field Detail

      • denotation

        private java.lang.String denotation
    • Constructor Detail

      • ModelType

        private ModelType​(java.lang.String denotation)
        Sole constructor for this class.
        Parameters:
        denotation - The name for a section/table name for storing the model of the specified type.
    • Method Detail

      • values

        public static ModelType[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
        for (ModelType c : ModelType.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static ModelType valueOf​(java.lang.String name)
        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null
      • getDenotation

        public java.lang.String getDenotation()
        Getter for the section name of this ModelType.
        Returns:
        The section name of this ModelType