get_extension


Description:

public unowned Extension? get_extension (PluginInfo info)

Returns the [alias@Extension] object corresponding to info.

If the plugin doesn't provide such an extension, it returns null.

Parameters:

this

A ExtensionSet

info

a PluginInfo

Returns:

a reference to a Extension




2022 vala-language.org