else if (type == Type.Throws)
{
// System.out.printf( "adding to t.descr (%s): %s\n", name, s );
Thrown t = ((Message) m).getThrown( name );
if (t != null)
t.descr().add( s );
else
System.out.printf( "*** warning: cannot document thrown %s of %s\n", name, m.name() );
}
else if (type != Type.None)
{