Class ModuleHeader

java.lang.Object
es.ucm.maude.bindings.ModuleHeader
public class ModuleHeader extends Object
Module header information.

  • Constructor Details

    • ModuleHeader

      public ModuleHeader()

  • Method Details

    • delete

      public void delete()

    • getType

      public Module.ModuleType getType()
      Type of the module (see Module class)

    • getName

      public String getName()
      Name of the module

    • toString

      public String toString()
      Overrides:
      toString in class Object