home *** CD-ROM | disk | FTP | other *** search
- package com.sun.java.swing.text.html;
-
- import com.sun.java.swing.BorderFactory;
- import com.sun.java.swing.border.Border;
- import com.sun.java.swing.text.AttributeSet;
- import com.sun.java.swing.text.BadLocationException;
- import com.sun.java.swing.text.Element;
- import com.sun.java.swing.text.StyleConstants;
- import com.sun.java.swing.text.View;
- import java.awt.Graphics;
- import java.awt.Insets;
- import java.awt.Rectangle;
- import java.awt.Shape;
-
- class HRuleView extends View {
- private Border bevel;
- private float margin_left;
- private float margin_right;
- private int alignment = 0;
- private String noshade;
- private int size;
- private int hrwidth;
-
- public HRuleView(Element var1) {
- super(var1);
- AttributeSet var2 = var1.getAttributes();
- if (var2 != null) {
- this.margin_left = StyleConstants.getLeftIndent(var2);
- this.margin_right = StyleConstants.getRightIndent(var2);
- if (this.margin_left <= 0.0F) {
- this.margin_left = 15.0F;
- }
-
- if (this.margin_right <= 0.0F) {
- this.margin_right = 15.0F;
- }
-
- this.alignment = StyleConstants.getAlignment(var2);
- this.noshade = (String)var2.getAttribute("noshade");
- String var3 = (String)var2.getAttribute("size");
- if (var3 != null) {
- this.size = Integer.valueOf(var3);
- }
-
- String var4 = (String)var2.getAttribute("width");
- if (var4 != null) {
- this.hrwidth = Integer.valueOf(var4);
- }
- }
-
- this.bevel = BorderFactory.createLoweredBevelBorder();
- }
-
- public void paint(Graphics var1, Shape var2) {
- Rectangle var3 = var2.getBounds();
- int var4 = 0;
- int var5 = var3.y;
- int var6 = var3.width - (int)(this.margin_left + this.margin_right);
- if (this.hrwidth > 0) {
- var6 = this.hrwidth;
- }
-
- int var7 = var3.height;
- if (this.size > 0) {
- var7 = this.size;
- }
-
- switch (this.alignment) {
- case 0:
- default:
- var4 = var3.x + (int)this.margin_left;
- break;
- case 1:
- var4 = var3.x + var3.width / 2 - var6 / 2;
- break;
- case 2:
- var4 = var3.x + var3.width - this.hrwidth - (int)this.margin_right;
- }
-
- if (this.noshade == "#DEFAULT") {
- var1.fillRect(var4, var5, var6, var7);
- } else {
- this.bevel.paintBorder(((View)this).getContainer(), var1, var4, var5, var6, var7);
- }
- }
-
- public float getPreferredSpan(int var1) {
- Insets var2 = this.bevel.getBorderInsets(((View)this).getContainer());
- switch (var1) {
- case 0:
- return (float)(var2.left + var2.right);
- case 1:
- if (this.size > 0) {
- return (float)this.size;
- } else {
- if (this.noshade == "#DEFAULT") {
- return 1.0F;
- }
-
- return (float)(var2.top + var2.bottom);
- }
- default:
- throw new IllegalArgumentException("Invalid axis: " + var1);
- }
- }
-
- public int getResizeWeight(int var1) {
- if (var1 == 0) {
- return 1;
- } else {
- return var1 == 1 ? 0 : 0;
- }
- }
-
- public Shape modelToView(int var1, Shape var2) throws BadLocationException {
- int var3 = ((View)this).getStartOffset();
- int var4 = ((View)this).getEndOffset();
- if (var1 >= var3 && var1 < var4) {
- Rectangle var5 = new Rectangle(var2.getBounds());
- var5.width = 0;
- return var5;
- } else {
- return null;
- }
- }
-
- public int viewToModel(float var1, float var2, Shape var3) {
- var3.getBounds();
- return ((View)this).getStartOffset();
- }
- }
-