Package cruise.umple.nusmv

Class AssignConstraint

java.lang.Object

cruise.umple.nusmv.ModuleElement

cruise.umple.nusmv.AssignConstraint

public class AssignConstraint
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
static java.lang.String	TEXT_4

Constructor Summary

Constructors

Constructor	Description
AssignConstraint(Assign... allAssigns)

Method Summary

Modifier and Type	Method	Description
java.lang.StringBuilder	_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
boolean	addAssign(Assign aAssign)
boolean	addAssignAt(Assign aAssign, int index)
boolean	addOrMoveAssignAt(Assign aAssign, int index)
void	delete()
Assign	getAssign(int index)
java.util.List<Assign>	getAssigns()	Association Definition
boolean	hasAssigns()
int	indexOfAssign(Assign aAssign)
static int	minimumNumberOfAssigns()
int	numberOfAssigns()
boolean	removeAssign(Assign aAssign)
boolean	setAssigns(Assign... newAssigns)
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

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

AssignConstraint

public AssignConstraint(Assign... allAssigns)

Method Details

getAssign

public Assign getAssign(int index)

getAssigns

public java.util.List<Assign> getAssigns()

Association Definition

numberOfAssigns

public int numberOfAssigns()

hasAssigns

public boolean hasAssigns()

indexOfAssign

public int indexOfAssign(Assign aAssign)

minimumNumberOfAssigns

public static int minimumNumberOfAssigns()

addAssign

public boolean addAssign(Assign aAssign)

removeAssign

public boolean removeAssign(Assign aAssign)

setAssigns

public boolean setAssigns(Assign... newAssigns)

addAssignAt

public boolean addAssignAt(Assign aAssign, int index)

addOrMoveAssignAt

public boolean addOrMoveAssignAt(Assign aAssign, 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