checksetcontains

Purpose

Check whether a named set contains a given value

Synopsis

function xreflect~checksetcontains( entityname:string, value:xreflect~basicvalue ):boolean

Arguments

entityname	The name of the public entity to access
value	basicvalue containing value to look for

Example

The following:

public declarations
  myvar=1..5,
end-declarations
writeln('contains 6=',checksetcontains('myvar',basicvalue(6)))

produces this output:

copntains 6=false

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 of a supported type, the model will terminate with a runtime error.

3. If the supplied basicvalue does not contain a value of the same type as the specified set, the model will terminate with a runtime error.