Extracted from Pike v8.0 release 164 as of 2016-04-05.
   

Method CompilerEnvironment()->PikeCompiler()->push_type_attribute()


Method push_type_attribute

bool push_type_attribute(string attribute, type a, type b)

Description

Type attribute handler.

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

The default implementation implements the "deprecated" attribute.

Returns

Returns 1 if the type check should be allowed (ie a <= __attribute__(attribute, b)), and 0 (zero) otherwise.

See also

pop_type_attribute()