public interface MutableOOState extends OOState, MutableState
MutableState
extension OOState
.
Allows adding new objects (ObjectInstance
), removing them, and renaming them.Modifier and Type | Method and Description |
---|---|
MutableOOState |
addObject(ObjectInstance o)
Adds object instance o to this state.
|
MutableOOState |
removeObject(java.lang.String oname)
Removes the object instance with the name oname from this state.
|
MutableOOState |
renameObject(java.lang.String objectName,
java.lang.String newName)
Renames the identifier for object instance o in this state to newName.
|
numObjects, object, objects, objectsOfClass
set
copy, get, variableKeys
MutableOOState addObject(ObjectInstance o)
o
- the object instance to be added to this state.MutableOOState removeObject(java.lang.String oname)
oname
- the name of the object instance to remove.MutableOOState renameObject(java.lang.String objectName, java.lang.String newName)
objectName
- the current object namenewName
- the new name of the object instance