我是eclipse的TPTP分析工具的新手。我收到了TPTP跟踪，我需要帮助才能理解所提供的内容。 包含函数调用条目的跟踪与条目函数调用的参数一起存在。它来自JHotDraw，一个Java程序。以下是跟踪示例：
输入：CH / ifa / draw / standard / ToolButton.paint --- [sun.java2d.SunGraphics2D [font = javax.swing.plaf.FontUIResource [family = Dialog，name = Dialog，style = bold，size = 12]，颜色= sun.swing.PrintColorUIResource [R = 51，G = 51，b = 51]]] 退出：CH / ifa / draw / standard / ToolButton.paint --- [sun.java2d.SunGraphics2D [font = javax.swing.plaf.FontUIResource [family = Dialog，name = Dialog，style = bold，size = 12]，颜色= sun.swing.PrintColorUIResource [R = 51，G = 51，b = 51]]]
输入：CH / ifa / draw / application / DrawApplication.paletteUserOver --- [CH.ifa.draw.standard.ToolButton [，304,1,24x24，禁用，alignmentX = 0.0，alignmentY = 0.5，border = javax .swing.border.CompoundBorder @ 1308786，旗帜= 296，MAXIMUMSIZE =，=的minimumSize，首选大小=，=的DefaultIcon @ javax.swing.ImageIcon中1f647e2，disabledIcon = sun.swing.ImageIconUIResource @ d253d9，disabledSelectedIcon =，余量= javax.swing中.plaf.InsetsUIResource [顶= 2，左= 14，底= 2，右= 14]，的paintBorder =真，paintFocus =真，pressedIcon = javax.swing.ImageIcon中@ 924039，rolloverEnabled =真，rolloverIcon =，rolloverSelectedIcon =， selectedIcon = javax.swing.ImageIcon @ 5c7d2e，text =，defaultCapable = false]，false]
我的问题是：
1）我想知道为什么参数有时在变量\值对中详细说明（如第一行中的PrintColorUIResource对象），有时作为ImageIcon@924039之类的参考给出？
根据他的说法，args应输出所有方法参数。
2）当参数是复杂类型时，TPTP如何描述其内容？例如，在第一行中，函数的参数是sun.java2d.SunGraphics2D类型的对象。该对象由两个值描述，字体和颜色，每个值都是隐式定义的。从文档（下面的链接），我可以看到对象SunGraphics2D有几十个局部变量，其中一个叫做font，但没有一个叫做color。构造函数确实有两个参数颜色和字体，还有两个其他参数。
同样的对象sun.swing.PrintColorUIResource在同一函数调用结束时描述为w.r.t. 3 valuse，r，g，b。我在文档中找不到这些变量。
3）为什么值或变量名有时会被忽略？例如：maximumSize =，minimumSize =，...或在第3次fct调用结束时：= false]，false]
4）我是否有可以参考的文件来更好地理解跟踪内容？
感谢您的帮助和您的善意考虑。