finaliseset

Purpose

Finalise a named set

Synopsis

procedure xreflect~finaliseset(entityname:string)

Argument

entityname

The name of the public entity to access

Example

The following:

public declarations
  myvar: set of integer,
end-declarations
myvar := {1,2,3}
finaliseset('myvar')

will prevent any further changes to myvar

Further information

1. If the specified entity name cannot be found, the model will terminate with a runtime error.

2. If the specified entity is not a set, the model will terminate with a runtime error.

3. If the specified set is already finalised, this function will do nothing