Package cruise.umple.nusmv

Class DefineDeclaration

java.lang.Object

cruise.umple.nusmv.ModuleElement

cruise.umple.nusmv.DefineDeclaration

public class DefineDeclaration
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
DefineDeclaration(DefineBody... allDefineBodies)

Method Summary

Modifier and Type	Method	Description
java.lang.StringBuilder	_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
boolean	addDefineBody(DefineBody aDefineBody)
boolean	addDefineBodyAt(DefineBody aDefineBody, int index)
boolean	addOrMoveDefineBodyAt(DefineBody aDefineBody, int index)
void	delete()
java.util.List<DefineBody>	getDefineBodies()
DefineBody	getDefineBody(int index)
boolean	hasDefineBodies()
int	indexOfDefineBody(DefineBody aDefineBody)
static int	minimumNumberOfDefineBodies()
int	numberOfDefineBodies()
boolean	removeDefineBody(DefineBody aDefineBody)
boolean	setDefineBodies(DefineBody... newDefineBodies)
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

See Also:

Constant Field Values

Constructor Details

DefineDeclaration

public DefineDeclaration(DefineBody... allDefineBodies)

Method Details

getDefineBody

public DefineBody getDefineBody(int index)

getDefineBodies

public java.util.List<DefineBody> getDefineBodies()

numberOfDefineBodies

public int numberOfDefineBodies()

hasDefineBodies

public boolean hasDefineBodies()

indexOfDefineBody

public int indexOfDefineBody(DefineBody aDefineBody)

minimumNumberOfDefineBodies

public static int minimumNumberOfDefineBodies()

addDefineBody

public boolean addDefineBody(DefineBody aDefineBody)

removeDefineBody

public boolean removeDefineBody(DefineBody aDefineBody)

setDefineBodies

public boolean setDefineBodies(DefineBody... newDefineBodies)

addDefineBodyAt

public boolean addDefineBodyAt(DefineBody aDefineBody, int index)

addOrMoveDefineBodyAt

public boolean addOrMoveDefineBodyAt(DefineBody aDefineBody, 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