Package cruise.umple.nusmv

Class ModuleElement

java.lang.Object
cruise.umple.nusmv.ModuleElement
Direct Known Subclasses:
AssignConstraint, CTLSpecification, DefineDeclaration, InitConstraint, InvarConstraint, IVarDeclaration, TransConstraint, VarDeclaration
public class ModuleElement
extends java.lang.Object

  • Constructor Summary

    Constructors 
    Constructor Description
    ModuleElement()  

  • Method Summary

    Modifier and Type Method Description
    void delete()  
    java.lang.String getHeader()  
    boolean setHeader​(java.lang.String aHeader)  
    java.lang.String toString()  

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

  • Method Details

    • setHeader

      public boolean setHeader​(java.lang.String aHeader)

    • getHeader

      public java.lang.String getHeader()

    • delete

      public void delete()

    • toString

      public java.lang.String toString()
      Overrides:
      toString in class java.lang.Object