Package cruise.umple.nusmv

Class CounterExampleTable

java.lang.Object

cruise.umple.nusmv.CounterExampleTable

public class CounterExampleTable
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	NL
static java.lang.String	TEXT_0
static java.lang.String	TEXT_1
static java.lang.String	TEXT_2
static java.lang.String	TEXT_3
static java.lang.String	TEXT_4

Constructor Summary

Constructors

Constructor	Description
CounterExampleTable(java.lang.String aSourceMachine, java.lang.String aSourceClass, ModuleElement aRequirement)

Method Summary

Modifier and Type	Method	Description
java.lang.StringBuilder	_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
boolean	addCounterExampleColumn(CounterExampleColumn aCounterExampleColumn)
boolean	addCounterExampleColumnAt(CounterExampleColumn aCounterExampleColumn, int index)
boolean	addOrMoveCounterExampleColumnAt(CounterExampleColumn aCounterExampleColumn, int index)
boolean	addRowLabel(java.lang.String aRowLabel)
java.util.List<ColumnEntry>	buildColumnEntries(java.util.List<java.lang.String> stateValues)	Please do not modify the following method.
java.util.List<java.lang.String>	buildStateValuesFromColumnEntries(java.util.List<ColumnEntry> entries)	Please do not modify the following method.
void	delete()
java.util.List<CounterExampleColumn>	editColumnContents()	To facilitate ease of reading, editing the table to eliminate repetitive values are necessary...
CounterExampleTable	editTable()	To facilitate ease of reading, editing the table to eliminate repetitive values are necessary...
CounterExampleColumn	getCounterExampleColumn(int index)
java.util.List<CounterExampleColumn>	getCounterExampleColumns()
ModuleElement	getRequirement()
java.lang.String	getRowLabel(int index)
java.lang.String[]	getRowLabels()
java.lang.String	getSourceClass()
java.lang.String	getSourceMachine()
boolean	hasCounterExampleColumns()
boolean	hasRowLabels()
int	indexOfCounterExampleColumn(CounterExampleColumn aCounterExampleColumn)
int	indexOfRowLabel(java.lang.String aRowLabel)
static int	minimumNumberOfCounterExampleColumns()
int	numberOfCounterExampleColumns()
int	numberOfRowLabels()
java.lang.String	printArray(java.util.List<java.lang.String> input)	Please do not modify the following method.
java.lang.String	printRequirement()
boolean	removeCounterExampleColumn(CounterExampleColumn aCounterExampleColumn)
boolean	removeRowLabel(java.lang.String aRowLabel)
boolean	setRequirement(ModuleElement aNewRequirement)
void	setRowLabels(java.util.List<java.lang.String> values)
boolean	setSourceClass(java.lang.String aSourceClass)
boolean	setSourceMachine(java.lang.String aSourceMachine)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Details

NL

public static final java.lang.String NL

TEXT_0

public static final java.lang.String TEXT_0

TEXT_1

public static final java.lang.String TEXT_1

TEXT_2

public static final java.lang.String TEXT_2

TEXT_3

public static final java.lang.String TEXT_3

TEXT_4

public static final java.lang.String TEXT_4

Constructor Details

CounterExampleTable

public CounterExampleTable(java.lang.String aSourceMachine, java.lang.String aSourceClass, ModuleElement aRequirement)

Method Details

addRowLabel

public boolean addRowLabel(java.lang.String aRowLabel)

removeRowLabel

public boolean removeRowLabel(java.lang.String aRowLabel)

setSourceMachine

public boolean setSourceMachine(java.lang.String aSourceMachine)

setSourceClass

public boolean setSourceClass(java.lang.String aSourceClass)

getRowLabel

public java.lang.String getRowLabel(int index)

getRowLabels

public java.lang.String[] getRowLabels()

numberOfRowLabels

public int numberOfRowLabels()

hasRowLabels

public boolean hasRowLabels()

indexOfRowLabel

public int indexOfRowLabel(java.lang.String aRowLabel)

getSourceMachine

public java.lang.String getSourceMachine()

getSourceClass

public java.lang.String getSourceClass()

getRequirement

public ModuleElement getRequirement()

getCounterExampleColumn

public CounterExampleColumn getCounterExampleColumn(int index)

getCounterExampleColumns

public java.util.List<CounterExampleColumn> getCounterExampleColumns()

numberOfCounterExampleColumns

public int numberOfCounterExampleColumns()

hasCounterExampleColumns

public boolean hasCounterExampleColumns()

indexOfCounterExampleColumn

public int indexOfCounterExampleColumn(CounterExampleColumn aCounterExampleColumn)

setRequirement

public boolean setRequirement(ModuleElement aNewRequirement)

minimumNumberOfCounterExampleColumns

public static int minimumNumberOfCounterExampleColumns()

addCounterExampleColumn

public boolean addCounterExampleColumn(CounterExampleColumn aCounterExampleColumn)

removeCounterExampleColumn

public boolean removeCounterExampleColumn(CounterExampleColumn aCounterExampleColumn)

addCounterExampleColumnAt

public boolean addCounterExampleColumnAt(CounterExampleColumn aCounterExampleColumn, int index)

addOrMoveCounterExampleColumnAt

public boolean addOrMoveCounterExampleColumnAt(CounterExampleColumn aCounterExampleColumn, int index)

delete

public void delete()

printRequirement

public java.lang.String printRequirement()

setRowLabels

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

editColumnContents

public java.util.List<CounterExampleColumn> editColumnContents()

To facilitate ease of reading, editing the table to eliminate repetitive values are necessary...

editTable

public CounterExampleTable editTable()

To facilitate ease of reading, editing the table to eliminate repetitive values are necessary...

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