home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.text.html;
-
- import java.awt.Graphics;
- import java.awt.Rectangle;
- import java.awt.Shape;
- import javax.swing.SizeRequirements;
- import javax.swing.text.AttributeSet;
- import javax.swing.text.CompositeView;
- import javax.swing.text.Element;
- import javax.swing.text.TableView;
- import javax.swing.text.View;
- import javax.swing.text.html.HTML.Attribute;
-
- class TableView$CellView extends TableView.TableCell {
- // $FF: synthetic field
- private final javax.swing.text.html.TableView this$0;
- private AttributeSet attr;
- private StyleSheet.BoxPainter painter;
-
- public TableView$CellView(javax.swing.text.html.TableView var1, Element var2) {
- super(var1, var2);
- this.this$0 = var1;
- StyleSheet var3 = this.getStyleSheet();
- this.attr = var3.getViewAttributes(this);
- }
-
- protected SizeRequirements calculateMajorAxisRequirements(int var1, SizeRequirements var2) {
- SizeRequirements var3 = super.calculateMajorAxisRequirements(var1, var2);
- var3.maximum = Integer.MAX_VALUE;
- return var3;
- }
-
- public AttributeSet getAttributes() {
- return this.attr;
- }
-
- public int getColumnCount() {
- AttributeSet var1 = ((View)this).getElement().getAttributes();
- String var2 = (String)var1.getAttribute(Attribute.COLSPAN);
- if (var2 != null) {
- try {
- return Integer.parseInt(var2);
- } catch (NumberFormatException var3) {
- return 1;
- }
- } else {
- return 1;
- }
- }
-
- public int getRowCount() {
- AttributeSet var1 = ((View)this).getElement().getAttributes();
- String var2 = (String)var1.getAttribute(Attribute.ROWSPAN);
- if (var2 != null) {
- try {
- return Integer.parseInt(var2);
- } catch (NumberFormatException var3) {
- return 1;
- }
- } else {
- return 1;
- }
- }
-
- protected StyleSheet getStyleSheet() {
- HTMLDocument var1 = (HTMLDocument)((View)this).getDocument();
- return var1.getStyleSheet();
- }
-
- protected void layoutMajorAxis(int var1, int var2, int[] var3, int[] var4) {
- super.layoutMajorAxis(var1, var2, var3, var4);
- int var5 = 0;
- int var6 = var4.length;
-
- for(int var7 = 0; var7 < var6; ++var7) {
- var5 += var4[var7];
- }
-
- int var8 = 0;
- if (var5 < var1) {
- String var9 = (String)((View)this).getElement().getAttributes().getAttribute(Attribute.VALIGN);
- if (var9 == null) {
- AttributeSet var10 = ((View)this).getElement().getParentElement().getAttributes();
- var9 = (String)var10.getAttribute(Attribute.VALIGN);
- }
-
- if (var9 != null && !var9.equals("middle")) {
- if (var9.equals("bottom")) {
- var8 = var1 - var5;
- }
- } else {
- var8 = (var1 - var5) / 2;
- }
- }
-
- if (var8 != 0) {
- for(int var11 = 0; var11 < var6; ++var11) {
- var3[var11] += var8;
- }
- }
-
- }
-
- public void paint(Graphics var1, Shape var2) {
- Rectangle var3 = (Rectangle)var2;
- this.painter.paint(var1, (float)var3.x, (float)var3.y, (float)var3.width, (float)var3.height, this);
- super.paint(var1, var3);
- }
-
- public void setParent(View var1) {
- super.setParent(var1);
- StyleSheet var2 = this.getStyleSheet();
- this.painter = var2.getBoxPainter(this.attr);
- this.setPropertiesFromAttributes();
- }
-
- protected void setPropertiesFromAttributes() {
- if (this.attr != null) {
- ((CompositeView)this).setInsets((short)((int)this.painter.getInset(1, this)), (short)((int)this.painter.getInset(2, this)), (short)((int)this.painter.getInset(3, this)), (short)((int)this.painter.getInset(4, this)));
- }
-
- }
- }
-