Package cruise.umple.nusmv

Class ColumnEntry

java.lang.Object
cruise.umple.nusmv.ColumnEntry
All Implemented Interfaces:
StateTableEntry
public class ColumnEntry
extends java.lang.Object
implements StateTableEntry

  • Constructor Summary

    Constructors 
    Constructor Description
    ColumnEntry​(java.lang.String aValue)  

  • Method Summary

    Modifier and Type Method Description
    void delete()  
    boolean getIsDerived()
    local variables
    java.lang.String getValue()  
    java.lang.StringBuilder htmlString()
    Output this state cell as html - appears in counterexample table
    boolean isIsDerived()  
    boolean setIsDerived​(boolean aIsDerived)  
    boolean setValue​(java.lang.String aValue)  
    java.lang.String toString()  

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • ColumnEntry

      public ColumnEntry​(java.lang.String aValue)

  • Method Details

    • setIsDerived

      public boolean setIsDerived​(boolean aIsDerived)

    • setValue

      public boolean setValue​(java.lang.String aValue)

    • getIsDerived

      public boolean getIsDerived()
      local variables

    • getValue

      public java.lang.String getValue()

    • isIsDerived

      public boolean isIsDerived()

    • delete

      public void delete()

    • htmlString

      public java.lang.StringBuilder htmlString()
      Output this state cell as html - appears in counterexample table
      Specified by:
      htmlString in interface StateTableEntry

    • toString

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