我是 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], color=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],color=sun.swing.PrintColorUIResource[r=51,g=51,b=51]]]
输入：CH/ifa/draw/application/DrawApplication.paletteUserOver---[CH.ifa.draw.standard.ToolButton[,304,1,24x24,disabled,alignmentX=0.0,alignmentY=0.5,border=javax.swing。 border.CompoundBorder@1308786,flags=296,maximumSize=,minimumSize=,preferredSize=,defaultIcon=javax.swing.ImageIcon@1f647e2,disabledIcon=sun.swing.ImageIconUIResource@d253d9,disabledSelectedIcon=,margin=javax.swing.plaf。 InsetsUIResource[top=2,left=14,bottom=2,right=14],paintBorder=true,paintFocus=true,pressedIcon=javax.swing.ImageIcon@924039,rolloverEnabled=true,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=javax .swing.ImageIcon@5c7d2e,text=,defaultCapable=false], false]
我的问题是：
1）我想知道为什么参数有时在变量\值对中详细说明（如第一行中的 PrintColorUIResource 对象），有时作为参考给出ImageIcon@924039？
根据他的文档参数应该输出所有方法参数。
2）当参数为复杂类型时，TPTP如何描述其内容？例如，在第一行中，函数的参数是 sun.java2d.SunGraphics2D 类型的对象。这个对象由两个值描述，字体和颜色，每一个都是隐性定义的。从文档（下面的链接）中，我可以看到对象 SunGraphics2D 有几十个局部变量，其中一个称为字体，但没有一个称为颜色。构造函数确实有两个参数颜色和字体，但也有另外两个参数。
同样，在同一函数调用末尾的对象 sun.swing.PrintColorUIResource 描述为 wrt 3 valuse, r,g,b。我在文档中找不到这些变量。
3) 为什么有时会省略值或变量名？例如：maximumSize=,minimumSize=, ... 或在第三次 fct 调用结束时：=false], false]
4) 有没有我可以参考的文档以更好地理解跟踪内容？
感谢您的帮助和善意的考虑。