function getSourceFile input TypeName class_; output String filename "empty on failure"; end getSourceFile;