Method CompilerEnvironment()->PikeCompiler()->pop_type_attribute()

Method pop_type_attribute

bool|type pop_type_attribute(string attribute, type a, type b, mapping|void state)

Description

Type attribute handler.

Called during type checking when a <= b and a had the type attribute attribute before the comparison.

The default implementation implements the "deprecated" attribute.

Returns

Returns one of:

`type`	An alternative type for `a` against which `b` will be matched again.
`int(1)`	Allow the check (ie `__attribute__(attribute, a) <= b`).
`int(0)`	Do not allow the check.