has_extension

Description:

public bool has_extension (string extension_name)

Checks whether this has an SourceExtension with the given name.

Parameters:

this

an Source
extension_name

an extension name

Returns:

true if this has such an extension, false if not