renameNode resource newName

Renames the given resource with the given newName and returns string

Example:

> renameNode resource "NewName"
"Successfully renamed oldName to NewName"

or error if failed

renameMBNode entity newName

Renames the given entity with the given newName and returns string

Example:

> renameMBNode entity "NewName"
"Successfully renamed oldName to NewName"

or error if failed

findFreshName name container

Finds fresh and unused name with proposition name under the given container and returns the freshName

Example:

freshName = findFreshName "Model" currentProject ()

getSafeName resource

Gets safe name for the given resource and returns the name

Example:

name = getSafeName (toResource model)