Class Module.ModuleType

java.lang.Object
es.ucm.maude.bindings.Module.ModuleType
Enclosing class:
Module
public static final class Module.ModuleType extends Object
Module or theory type (function, system or strategy).

  • Field Details

    • FUNCTIONAL_MODULE

      public static final Module.ModuleType FUNCTIONAL_MODULE
      Functional module (fmod)

    • SYSTEM_MODULE

      public static final Module.ModuleType SYSTEM_MODULE
      System module (mod)

    • STRATEGY_MODULE

      public static final Module.ModuleType STRATEGY_MODULE
      Strategy module (smod)

    • FUNCTIONAL_THEORY

      public static final Module.ModuleType FUNCTIONAL_THEORY
      Functional theory (fth)

    • SYSTEM_THEORY

      public static final Module.ModuleType SYSTEM_THEORY
      System theory (th)

    • STRATEGY_THEORY

      public static final Module.ModuleType STRATEGY_THEORY
      Strategy theory (sth)

    • OBJECT_ORIENTED_MODULE

      public static final Module.ModuleType OBJECT_ORIENTED_MODULE
      Object-oriented module (omod)

    • OBJECT_ORIENTED_THEORY

      public static final Module.ModuleType OBJECT_ORIENTED_THEORY
      Object-oriented theory (oth)

  • Method Details

    • swigValue

      public final int swigValue()

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • swigToEnum

      public static Module.ModuleType swigToEnum(int swigValue)