Package cruise.umple.nusmv

Class NuSMVModule

java.lang.Object

cruise.umple.nusmv.NuSMVModule

public class NuSMVModule
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
NuSMVModule(java.lang.String aIdentifier, ModuleBody aModuleBody)

Method Summary

Modifier and Type	Method	Description
java.lang.StringBuilder	_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
boolean	addParameter(java.lang.String aParameter)
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.lang.String	getIdentifier()
ModuleBody	getModuleBody()
java.lang.String	getParameter(int index)
java.lang.String[]	getParameters()
boolean	hasParameters()
int	indexOfParameter(java.lang.String aParameter)
int	numberOfParameters()
java.lang.String	printArray(java.util.List<java.lang.String> input)	Please do not modify the following method.
boolean	removeParameter(java.lang.String aParameter)
boolean	setIdentifier(java.lang.String aIdentifier)
boolean	setModuleBody(ModuleBody aNewModuleBody)
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

See Also:

Constant Field Values

TEXT_3

public static final java.lang.String TEXT_3

See Also:

Constant Field Values

TEXT_4

public static final java.lang.String TEXT_4

See Also:

Constant Field Values

Constructor Details

NuSMVModule

public NuSMVModule(java.lang.String aIdentifier, ModuleBody aModuleBody)

Method Details

setIdentifier

public boolean setIdentifier(java.lang.String aIdentifier)

addParameter

public boolean addParameter(java.lang.String aParameter)

removeParameter

public boolean removeParameter(java.lang.String aParameter)

getIdentifier

public java.lang.String getIdentifier()

getParameter

public java.lang.String getParameter(int index)

getParameters

public java.lang.String[] getParameters()

numberOfParameters

public int numberOfParameters()

hasParameters

public boolean hasParameters()

indexOfParameter

public int indexOfParameter(java.lang.String aParameter)

getModuleBody

public ModuleBody getModuleBody()

setModuleBody

public boolean setModuleBody(ModuleBody aNewModuleBody)

delete

public void delete()

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