*/
public static String dumpJavelinLog()
{
String fileName = "";
// Javelin���O�t�@�C�����o�͂���B
JavelinFileGenerator generator = new JavelinFileGenerator(config__);
CallTree callTree = CallTreeRecorder.getInstance().getCallTree();
if (callTree == null)
{
return fileName;
}
CallTreeNode root = callTree.getRootNode();
if (root != null)
{
fileName = generator.generateJaveinFile(callTree,
recordStrategy__.createCallback(),
null,
0);
}
return fileName;