了解eclipse的TPTP分析工具跟踪格式

Question

我是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 [家族=对话框,名称=对话框,风格=粗体,大小= 12],颜色= 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,旗帜= 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.构造函数确实有两个参数颜色和字体,还有两个其他参数.

http://grepcode.com/file/repository.grepcode.com/java/root/jdk/openjdk/6-b27/sun/java2d/SunGraphics2D.java

同样,对象sun.swing.PrintColorUIResource在同一函数调用结束时描述为wrt 3 valuse,r,g,b.我在文档中找不到这些变量.

http://grepcode.com/file/repository.grepcode.com/java/root/jdk/openjdk/6-b14/sun/swing/PrintColorUIResource.java#PrintColorUIResource

3)为什么值或变量名有时会被忽略？例如:maximumSize =,minimumSize =,...或在第3次fct调用结束时:= false],false]

4)有没有我可以参考的文件来更好地理解跟踪内容？

感谢您的帮助和您的善意考虑.