Package cruise.umple.nusmv

Class SimpleAssign

java.lang.Object

cruise.umple.nusmv.Assign

cruise.umple.nusmv.SimpleAssign

public class SimpleAssign
extends Assign

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

Constructor Summary

Constructors

Constructor	Description
SimpleAssign(java.lang.String aIdentifier, BasicExpression aBasicExpression)

Method Summary

Modifier and Type	Method	Description
java.lang.StringBuilder	_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
void	delete()
java.lang.String	toString()

Methods inherited from class cruise.umple.nusmv.Assign

getBasicExpression, getIdentifier, setBasicExpression, setIdentifier

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

Constructor Details

SimpleAssign

public SimpleAssign(java.lang.String aIdentifier, BasicExpression aBasicExpression)

Method Details

delete

public void delete()

Overrides:

delete in class Assign

_toString

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

toString

public java.lang.String toString()

Overrides:

toString in class Assign