Method CompilerEnvironment()->PikeCompiler()->push_type_attribute()
- Method
push_type_attribute
bool
|type
push_type_attribute(string
attribute
,type
a
,type
b
,mapping
|void
state
)- Description
Type attribute handler.
Called during type checking when
a <= b
andb
had the type attributeattribute
before the comparison.The default implementation implements the
"deprecated"
and"experimental"
attributes.- Returns
Returns one of:
type
An alternative type for
b
against whicha
will be matched again.int(1)
Allow the check (ie
a <= __attribute__(attribute, b)
).int(0)
Do not allow the check.
- See also