Returns the filename of the class.
function getSourceFile input TypeName class_; output String filename "empty on failure"; end getSourceFile;