Я новичок в профайле 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 [г = 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 [г = 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 =, PreferredSize =, 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) Я хотел бы знать, почему параметры иногда детализируются в парах переменных \value (например, в объекте PrintColorUIResource в первой строке), а иногда в качестве ссылки, например, [email protected]?
В соответствии с аргументом doc args должны выводиться все аргументы метода.
2) Когда параметр является сложным типом, как TPTP описывает его содержимое? Например, в первой строке параметр функции является объектом типа sun.java2d.SunGraphics2D. Этот объект описывается двумя значениями, шрифтом и цветом, каждый из которых рецессивно определен. Из документации (ссылка ниже) я вижу, что объект SunGraphics2D имеет десятки локальных переменных, один из которых называется шрифтом, но ни один из них не называется цветом. Конструктор имеет два параметра: цвет и шрифт, а также два других параметра.
Аналогично объект sun.swing.PrintColorUIRsource в конце того же вызова функции описан w.r.t. 3 valuse, r, g, b. Я не могу найти эту переменную в документации.
3) Почему иногда иногда возникает значение или имя переменной? например: maximumSize =, minimumSize =,... или в конце третьего вызова fct: = false], false]
4) Есть ли какая-либо документация, на которую я могу ссылаться, чтобы лучше понять содержание трассировки?
Благодарим вас за помощь и ваше внимание.
