write_file


Description:

public void write_file (CodeContext context, string filename)

Writes the public interface of the specified code context into the specified file.

Parameters:

context

a code context

filename

a relative or absolute filename