Package cruise.umple.nusmv

Class Assign

java.lang.Object

cruise.umple.nusmv.Assign

Direct Known Subclasses:

InitAssign, NextAssign, SimpleAssign

public class Assign
extends java.lang.Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	delete()
BasicExpression	getBasicExpression()
java.lang.String	getIdentifier()
boolean	setBasicExpression(BasicExpression aNewBasicExpression)
boolean	setIdentifier(java.lang.String aIdentifier)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Assign

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

Method Details

setIdentifier

public boolean setIdentifier(java.lang.String aIdentifier)

getIdentifier

public java.lang.String getIdentifier()

getBasicExpression

public BasicExpression getBasicExpression()

setBasicExpression

public boolean setBasicExpression(BasicExpression aNewBasicExpression)

delete

public void delete()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object