write_string


Description:

public void write_string (string s)

Writes the specified string.

Parameters:

s

a string