Package cruise.umple.nusmv

Class VarDeclaration

java.lang.Object

cruise.umple.nusmv.ModuleElement

cruise.umple.nusmv.VarDeclaration

public class VarDeclaration
extends ModuleElement

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

Constructor Summary

Constructors

Constructor	Description
VarDeclaration(VariableSpecifier... allVariableSpecifiers)

Method Summary

Modifier and Type	Method	Description
java.lang.StringBuilder	_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
boolean	addOrMoveVariableSpecifierAt(VariableSpecifier aVariableSpecifier, int index)
boolean	addVariableSpecifier(VariableSpecifier aVariableSpecifier)
boolean	addVariableSpecifierAt(VariableSpecifier aVariableSpecifier, int index)
void	delete()
VariableSpecifier	getVariableSpecifier(int index)
java.util.List<VariableSpecifier>	getVariableSpecifiers()
boolean	hasVariableSpecifiers()
int	indexOfVariableSpecifier(VariableSpecifier aVariableSpecifier)
static int	minimumNumberOfVariableSpecifiers()
int	numberOfVariableSpecifiers()
boolean	removeVariableSpecifier(VariableSpecifier aVariableSpecifier)
boolean	setVariableSpecifiers(VariableSpecifier... newVariableSpecifiers)
java.lang.String	toString()

Methods inherited from class cruise.umple.nusmv.ModuleElement

getHeader, setHeader

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

See Also:

Constant Field Values

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

Constructor Details

VarDeclaration

public VarDeclaration(VariableSpecifier... allVariableSpecifiers)

Method Details

getVariableSpecifier

public VariableSpecifier getVariableSpecifier(int index)

getVariableSpecifiers

public java.util.List<VariableSpecifier> getVariableSpecifiers()

numberOfVariableSpecifiers

public int numberOfVariableSpecifiers()

hasVariableSpecifiers

public boolean hasVariableSpecifiers()

indexOfVariableSpecifier

public int indexOfVariableSpecifier(VariableSpecifier aVariableSpecifier)

minimumNumberOfVariableSpecifiers

public static int minimumNumberOfVariableSpecifiers()

addVariableSpecifier

public boolean addVariableSpecifier(VariableSpecifier aVariableSpecifier)

removeVariableSpecifier

public boolean removeVariableSpecifier(VariableSpecifier aVariableSpecifier)

setVariableSpecifiers

public boolean setVariableSpecifiers(VariableSpecifier... newVariableSpecifiers)

addVariableSpecifierAt

public boolean addVariableSpecifierAt(VariableSpecifier aVariableSpecifier, int index)

addOrMoveVariableSpecifierAt

public boolean addOrMoveVariableSpecifierAt(VariableSpecifier aVariableSpecifier, int index)

delete

public void delete()

Overrides:

delete in class ModuleElement

_toString

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

toString

public java.lang.String toString()

Overrides:

toString in class ModuleElement