RESPEC

RESPEC changes the attributes of the expression x to the type t without changing the bit value of the expression.

Read syntax diagramSkip visual syntax diagramRESPEC(:t,x:)
t
Name of a scalar type
p
A scalar expression

x must have the same size as t, and if either x or t is UNALIGNED BIT, both must be UNALIGNED BIT (in which case the function is somewhat uninteresting because it would do nothing).

As an example, if t is a type with the attributes LIMITED ENTRY, RESPEC( t, sysnull() ) would return a "null" function pointer.