avail/avail.descriptor.methods/MethodDescriptor/o_SemanticRestrictions

o_SemanticRestrictions

open override fun o_SemanticRestrictions(self: AvailObject): A_Set
Content copied to clipboard

Return the method's tuple of FunctionDescriptor that statically restrict call sites by argument type.

Return

The semantic restrictions.

Parameters

self

The method.