NET PARSER. The parse_type feature from CW_DOTNET_PARSER inspects now – besides public constructors, public fields, and public methods –explicit interface member implementations. The query has_interface_methods checks if the type being parsed has an interface with at least one public method. (This is true for TextWriter and StringWriter: they have an interface IDISPOSABLE with the public method dispose.) If has_interface_methods returns true the parser calls the procedure inspect_interface_methods. The feature inspect_interface_methods loops through all interfaces that comply with the Common Language Specifiaction (CLS) of the actual type. For every interface it inspects all its methods. If the type does not already have a method with the same return type and arguments as the inspected method, the parser appends the method to the AST as a private feature. Whether the feature is appended as procedure or as function depends on the feature’s return type: if the return type is void, the procedure appends it as a procedure, otherwise as a function. The appended features conform to the explicit interface member implementations.
