Package cruise.umple.nusmv

Class CounterExampleColumn

java.lang.Object
cruise.umple.nusmv.CounterExampleColumn
public class CounterExampleColumn
extends java.lang.Object

  • Field Details

  • Constructor Details

  • Method Details

    • setIndex

      public boolean setIndex​(int aIndex)

    • addStateValue

      public boolean addStateValue​(java.lang.String aStateValue)

    • removeStateValue

      public boolean removeStateValue​(java.lang.String aStateValue)

    • setHeader

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

    • getIndex

      public int getIndex()

    • getStateValue

      public java.lang.String getStateValue​(int index)

    • getStateValues

      public java.lang.String[] getStateValues()

    • numberOfStateValues

      public int numberOfStateValues()

    • hasStateValues

      public boolean hasStateValues()

    • indexOfStateValue

      public int indexOfStateValue​(java.lang.String aStateValue)

    • getHeader

      public java.lang.String getHeader()

    • getColumnEntry

      public ColumnEntry getColumnEntry​(int index)

    • getColumnEntries

      public java.util.List<ColumnEntry> getColumnEntries()

    • numberOfColumnEntries

      public int numberOfColumnEntries()

    • hasColumnEntries

      public boolean hasColumnEntries()

    • indexOfColumnEntry

      public int indexOfColumnEntry​(ColumnEntry aColumnEntry)

    • minimumNumberOfColumnEntries

      public static int minimumNumberOfColumnEntries()

    • addColumnEntry

      public boolean addColumnEntry​(ColumnEntry aColumnEntry)

    • removeColumnEntry

      public boolean removeColumnEntry​(ColumnEntry aColumnEntry)

    • addColumnEntryAt

      public boolean addColumnEntryAt​(ColumnEntry aColumnEntry, int index)

    • addOrMoveColumnEntryAt

      public boolean addOrMoveColumnEntryAt​(ColumnEntry aColumnEntry, int index)

    • delete

      public void delete()

    • printColumnEntries

      public java.lang.String printColumnEntries()

    • setStateValues

      public void setStateValues​(java.util.List<java.lang.String> values)

    • printArray

      public java.lang.String printArray​(java.util.List<java.lang.String> input)
      Please do not modify the following method. The following method comes from trait MyUtility. Trait MyUtility has been used in classes: 'NuSMVModule' 'CounterExampleTable' 'CounterExampleColumn' 'VariableSpecifier' this method prints elements of the input list in a comma-separated manner

    • buildColumnEntries

      public java.util.List<ColumnEntry> buildColumnEntries​(java.util.List<java.lang.String> stateValues)
      Please do not modify the following method. The following method comes from trait MyUtility. Trait MyUtility has been used in classes: 'NuSMVModule' 'CounterExampleTable' 'CounterExampleColumn' 'VariableSpecifier'

    • buildStateValuesFromColumnEntries

      public java.util.List<java.lang.String> buildStateValuesFromColumnEntries​(java.util.List<ColumnEntry> entries)
      Please do not modify the following method. The following method comes from trait MyUtility. Trait MyUtility has been used in classes: 'NuSMVModule' 'CounterExampleTable' 'CounterExampleColumn' 'VariableSpecifier'

    • _toString

      public java.lang.StringBuilder _toString​(java.lang.Integer numSpaces, java.lang.StringBuilder sb)

    • toString

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