1. /*

  2.  * @(#)StyleSheet.java	1.84 04/07/23

  3.  *

  4.  * Copyright 2004 Sun Microsystems, Inc. All rights reserved.

  5.  * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.

  6.  */

  7. package javax.swing.text.html;

  8. 

  9. import com.sun.java.swing.SwingUtilities2;

  10. import java.util.*;

  11. import java.awt.*;

  12. import java.io.*;

  13. import java.net.*;

  14. import javax.swing.Icon;

  15. import javax.swing.ImageIcon;

  16. import javax.swing.border.*;

  17. import javax.swing.event.ChangeListener;

  18. import javax.swing.text.*;

  19. 

  20. /**

  21.  * Support for defining the visual characteristics of

  22.  * HTML views being rendered.  The StyleSheet is used to

  23.  * translate the HTML model into visual characteristics.

  24.  * This enables views to be customized by a look-and-feel,

  25.  * multiple views over the same model can be rendered

  26.  * differently, etc.  This can be thought of as a CSS

  27.  * rule repository.  The key for CSS attributes is an

  28.  * object of type CSS.Attribute.  The type of the value

  29.  * is up to the StyleSheet implementation, but the

  30.  * <code>toString</code> method is required

  31.  * to return a string representation of CSS value.

  32.  * <p>

  33.  * The primary entry point for HTML View implementations

  34.  * to get their attributes is the 

  35.  * <a href="#getViewAttributes">getViewAttributes</a>

  36.  * method.  This should be implemented to establish the

  37.  * desired policy used to associate attributes with the view.

  38.  * Each HTMLEditorKit (i.e. and therefore each associated

  39.  * JEditorPane) can have its own StyleSheet, but by default one

  40.  * sheet will be shared by all of the HTMLEditorKit instances.

  41.  * HTMLDocument instance can also have a StyleSheet, which

  42.  * holds the document-specific CSS specifications.

  43.  * <p>

  44.  * In order for Views to store less state and therefore be

  45.  * more lightweight, the StyleSheet can act as a factory for

  46.  * painters that handle some of the rendering tasks.  This allows

  47.  * implementations to determine what they want to cache

  48.  * and have the sharing potentially at the level that a

  49.  * selector is common to multiple views.  Since the StyleSheet

  50.  * may be used by views over multiple documents and typically

  51.  * the HTML attributes don't effect the selector being used,

  52.  * the potential for sharing is significant.

  53.  * <p>

  54.  * The rules are stored as named styles, and other information

  55.  * is stored to translate the context of an element to a 

  56.  * rule quickly.  The following code fragment will display

  57.  * the named styles, and therefore the CSS rules contained.

  58.  * <code><pre>

  59.  *   

  60.  *   import java.util.*;

  61.  *   import javax.swing.text.*;

  62.  *   import javax.swing.text.html.*;

  63.  *   

  64.  *   public class ShowStyles {

  65.  *   

  66.  *       public static void main(String[] args) {

  67.  *   	HTMLEditorKit kit = new HTMLEditorKit();

  68.  *   	HTMLDocument doc = (HTMLDocument) kit.createDefaultDocument();

  69.  *   	StyleSheet styles = doc.getStyleSheet();

  70.  *   	

  71.  *   	Enumeration rules = styles.getStyleNames();

  72.  *   	while (rules.hasMoreElements()) {

  73.  *   	    String name = (String) rules.nextElement();

  74.  *   	    Style rule = styles.getStyle(name);

  75.  *   	    System.out.println(rule.toString());

  76.  *   	}

  77.  *   	System.exit(0);

  78.  *       }

  79.  *   }

  80.  *   

  81.  * </pre></code>

  82.  * <p>

  83.  * The semantics for when a CSS style should overide visual attributes

  84.  * defined by an element are not well defined. For example, the html

  85.  * <code><body bgcolor=red></code> makes the body have a red

  86.  * background. But if the html file also contains the CSS rule

  87.  * <code>body { background: blue }</code> it becomes less clear as to

  88.  * what color the background of the body should be. The current

  89.  * implemention gives visual attributes defined in the element the

  90.  * highest precedence, that is they are always checked before any styles.

  91.  * Therefore, in the previous example the background would have a

  92.  * red color as the body element defines the background color to be red.

  93.  * <p>

  94.  * As already mentioned this supports CSS. We don't support the full CSS

  95.  * spec. Refer to the javadoc of the CSS class to see what properties

  96.  * we support. The two major CSS parsing related

  97.  * concepts we do not currently

  98.  * support are pseudo selectors, such as <code>A:link { color: red }</code>,

  99.  * and the <code>important</code> modifier.

  100.  * <p>

  101.  * <font color="red">Note: This implementation is currently

  102.  * incomplete.  It can be replaced with alternative implementations

  103.  * that are complete.  Future versions of this class will provide

  104.  * better CSS support.</font>

  105.  *

  106.  * @author  Timothy Prinzing

  107.  * @author  Sunita Mani

  108.  * @author  Sara Swanson

  109.  * @author  Jill Nakata

  110.  * @version 1.84 07/23/04

  111.  */

  112. public class StyleSheet extends StyleContext {

  113.     // As the javadoc states, this class maintains a mapping between

  114.     // a CSS selector (such as p.bar) and a Style.

  115.     // This consists of a number of parts:

  116.     // . Each selector is broken down into its constituent simple selectors,

  117.     //   and stored in an inverted graph, for example:

  118.     //     p { color: red } ol p { font-size: 10pt } ul p { font-size: 12pt }

  119.     //   results in the graph:

  120.     //          root

  121.     //           |

  122.     //           p

  123.     //          / \

  124.     //         ol ul

  125.     //   each node (an instance of SelectorMapping) has an associated

  126.     //   specificity and potentially a Style.

  127.     // . Every rule that is asked for (either by way of getRule(String) or

  128.     //   getRule(HTML.Tag, Element)) results in a unique instance of

  129.     //   ResolvedStyle. ResolvedStyles contain the AttributeSets from the

  130.     //   SelectorMapping.

  131.     // . When a new rule is created it is inserted into the graph, and

  132.     //   the AttributeSets of each ResolvedStyles are updated appropriately.

  133.     // . This class creates special AttributeSets, LargeConversionSet and

  134.     //   SmallConversionSet, that maintain a mapping between StyleConstants

  135.     //   and CSS so that developers that wish to use the StyleConstants

  136.     //   methods can do so.

  137.     // . When one of the AttributeSets is mutated by way of a

  138.     //   StyleConstants key, all the associated CSS keys are removed. This is

  139.     //   done so that the two representations don't get out of sync. For

  140.     //   example, if the developer adds StyleConsants.BOLD, FALSE to an

  141.     //   AttributeSet that contains HTML.Tag.B, the HTML.Tag.B entry will

  142.     //   be removed.

  143. 

  144.     /**

  145.      * Construct a StyleSheet

  146.      */

  147.     public StyleSheet() {

  148. 	super();

  149. 	selectorMapping = new SelectorMapping(0);

  150. 	resolvedStyles = new Hashtable();

  151. 	if (css == null) {

  152. 	    css = new CSS();

  153. 	}

  154.     }

  155. 

  156.     /**

  157.      * Fetches the style to use to render the given type

  158.      * of HTML tag.  The element given is representing

  159.      * the tag and can be used to determine the nesting

  160.      * for situations where the attributes will differ

  161.      * if nesting inside of elements.

  162.      *

  163.      * @param t the type to translate to visual attributes

  164.      * @param e the element representing the tag; the element

  165.      *  can be used to determine the nesting for situations where

  166.      *  the attributes will differ if nested inside of other

  167.      *  elements

  168.      * @return the set of CSS attributes to use to render

  169.      *  the tag

  170.      */

  171.     public Style getRule(HTML.Tag t, Element e) {

  172.         SearchBuffer sb = SearchBuffer.obtainSearchBuffer();

  173. 

  174.         try {

  175.             // Build an array of all the parent elements.

  176.             Vector searchContext = sb.getVector();

  177. 

  178.             for (Element p = e; p != null; p = p.getParentElement()) {

  179.                 searchContext.addElement(p);

  180.             }

  181. 

  182.             // Build a fully qualified selector.

  183.             int              n = searchContext.size();

  184.             StringBuffer     cacheLookup = sb.getStringBuffer();

  185.             AttributeSet     attr;

  186.             String           eName;

  187.             Object           name;

  188. 

  189.             // >= 1 as the HTML.Tag for the 0th element is passed in.

  190.             for (int counter = n - 1; counter >= 1; counter--) {

  191.                 e = (Element)searchContext.elementAt(counter);

  192.                 attr = e.getAttributes();

  193.                 name = attr.getAttribute(StyleConstants.NameAttribute);

  194. 		eName = name.toString();

  195.                 cacheLookup.append(eName);

  196.                 if (attr != null) {

  197.                     if (attr.isDefined(HTML.Attribute.ID)) {

  198.                         cacheLookup.append('#');

  199.                         cacheLookup.append(attr.getAttribute

  200. 					   (HTML.Attribute.ID));

  201.                     }

  202.                     else if (attr.isDefined(HTML.Attribute.CLASS)) {

  203.                         cacheLookup.append('.');

  204.                         cacheLookup.append(attr.getAttribute

  205. 					   (HTML.Attribute.CLASS));

  206.                     }

  207.                 }

  208.                 cacheLookup.append(' ');

  209.             }

  210.             cacheLookup.append(t.toString());

  211. 	    e = (Element)searchContext.elementAt(0);

  212. 	    attr = e.getAttributes();

  213. 	    if (e.isLeaf()) {

  214. 		// For leafs, we use the second tier attributes.

  215. 		Object testAttr = attr.getAttribute(t);

  216. 		if (testAttr instanceof AttributeSet) {

  217. 		    attr = (AttributeSet)testAttr;

  218. 		}

  219. 		else {

  220. 		    attr = null;

  221. 		}

  222. 	    }

  223.             if (attr != null) {

  224.                 if (attr.isDefined(HTML.Attribute.ID)) {

  225.                     cacheLookup.append('#');

  226.                     cacheLookup.append(attr.getAttribute(HTML.Attribute.ID));

  227.                 }

  228.                 else if (attr.isDefined(HTML.Attribute.CLASS)) {

  229.                     cacheLookup.append('.');

  230.                     cacheLookup.append(attr.getAttribute

  231. 				       (HTML.Attribute.CLASS));

  232.                 }

  233.             }

  234. 

  235.             Style style = getResolvedStyle(cacheLookup.toString(),

  236. 					   searchContext, t);

  237. 	    return style;

  238.         }

  239.         finally {

  240.             SearchBuffer.releaseSearchBuffer(sb);

  241.         }

  242.     }

  243. 

  244.     /**

  245.      * Fetches the rule that best matches the selector given

  246.      * in string form. Where <code>selector</code> is a space separated

  247.      * String of the element names. For example, <code>selector</code>

  248.      * might be 'html body tr td''<p>

  249.      * The attributes of the returned Style will change

  250.      * as rules are added and removed. That is if you to ask for a rule

  251.      * with a selector "table p" and a new rule was added with a selector

  252.      * of "p" the returned Style would include the new attributes from

  253.      * the rule "p".

  254.      */

  255.     public Style getRule(String selector) {

  256. 	selector = cleanSelectorString(selector);

  257. 	if (selector != null) {

  258. 	    Style style = getResolvedStyle(selector);

  259. 	    return style;

  260. 	}

  261. 	return null;

  262.     }

  263. 

  264.     /**

  265.      * Adds a set of rules to the sheet.  The rules are expected to

  266.      * be in valid CSS format.  Typically this would be called as

  267.      * a result of parsing a <style> tag.

  268.      */

  269.     public void addRule(String rule) {

  270. 	if (rule != null) {

  271.             //tweaks to control display properties

  272.             //see BasicEditorPaneUI

  273.             final String baseUnitsDisable = "BASE_SIZE_DISABLE";

  274.             final String baseUnits = "BASE_SIZE ";

  275.             final String w3cLengthUnitsEnable = "W3C_LENGTH_UNITS_ENABLE";

  276.             final String w3cLengthUnitsDisable = "W3C_LENGTH_UNITS_DISABLE";

  277.             if (rule == baseUnitsDisable) {

  278.                 sizeMap = sizeMapDefault;

  279.             } else if (rule.startsWith(baseUnits)) {

  280.                 rebaseSizeMap(Integer.

  281.                               parseInt(rule.substring(baseUnits.length())));

  282.             } else if (rule == w3cLengthUnitsEnable) {

  283.                 w3cLengthUnits = true;

  284.             } else if (rule == w3cLengthUnitsDisable) {

  285.                 w3cLengthUnits = false;

  286.             } else {

  287.                 CssParser parser = new CssParser();

  288.                 try {

  289.                     parser.parse(getBase(), new StringReader(rule), false, false);

  290.                 } catch (IOException ioe) { }

  291.             }

  292. 	}

  293.     }

  294. 

  295.     /**

  296.      * Translates a CSS declaration to an AttributeSet that represents

  297.      * the CSS declaration.  Typically this would be called as a

  298.      * result of encountering an HTML style attribute.

  299.      */

  300.     public AttributeSet getDeclaration(String decl) {

  301. 	if (decl == null) {

  302. 	    return SimpleAttributeSet.EMPTY;

  303. 	}

  304. 	CssParser parser = new CssParser();

  305. 	return parser.parseDeclaration(decl);

  306.     }

  307. 

  308.     /**

  309.      * Loads a set of rules that have been specified in terms of

  310.      * CSS1 grammar.  If there are collisions with existing rules,

  311.      * the newly specified rule will win.

  312.      *

  313.      * @param in the stream to read the CSS grammar from

  314.      * @param ref the reference URL.  This value represents the

  315.      *  location of the stream and may be null.  All relative

  316.      *  URLs specified in the stream will be based upon this

  317.      *  parameter.

  318.      */

  319.     public void loadRules(Reader in, URL ref) throws IOException {

  320. 	CssParser parser = new CssParser();

  321. 	parser.parse(ref, in, false, false);

  322.     }

  323. 

  324.     /**

  325.      * Fetches a set of attributes to use in the view for

  326.      * displaying.  This is basically a set of attributes that

  327.      * can be used for View.getAttributes.

  328.      */

  329.     public AttributeSet getViewAttributes(View v) {

  330. 	return new ViewAttributeSet(v);

  331.     }

  332. 

  333.     /**

  334.      * Removes a named style previously added to the document.

  335.      *

  336.      * @param nm  the name of the style to remove

  337.      */

  338.     public void removeStyle(String nm) {

  339. 	Style       aStyle = getStyle(nm);

  340. 

  341. 	if (aStyle != null) {

  342. 	    String selector = cleanSelectorString(nm);

  343. 	    String[] selectors = getSimpleSelectors(selector);

  344. 	    synchronized(this) {

  345. 		SelectorMapping mapping = getRootSelectorMapping();

  346. 		for (int i = selectors.length - 1; i >= 0; i--) {

  347. 		    mapping = mapping.getChildSelectorMapping(selectors[i],

  348.                                                               true);

  349. 		}

  350. 		Style rule = mapping.getStyle();

  351. 		if (rule != null) {

  352. 		    mapping.setStyle(null);

  353. 		    if (resolvedStyles.size() > 0) {

  354. 			Enumeration values = resolvedStyles.elements();

  355. 			while (values.hasMoreElements()) {

  356. 			    ResolvedStyle style = (ResolvedStyle)values.

  357. 				                    nextElement();

  358. 			    style.removeStyle(rule);

  359. 			}

  360. 		    }

  361. 		}

  362. 	    }

  363. 	}

  364. 	super.removeStyle(nm);

  365.     }

  366. 

  367.     /**

  368.      * Adds the rules from the StyleSheet <code>ss</code> to those of

  369.      * the receiver. <code>ss's</code> rules will override the rules of

  370.      * any previously added style sheets. An added StyleSheet will never

  371.      * override the rules of the receiving style sheet.

  372.      *

  373.      * @since 1.3

  374.      */

  375.     public void addStyleSheet(StyleSheet ss) {

  376. 	synchronized(this) {

  377. 	    if (linkedStyleSheets == null) {

  378. 		linkedStyleSheets = new Vector();

  379. 	    }

  380. 	    if (!linkedStyleSheets.contains(ss)) {

  381.                 int index = 0;

  382.                 if (ss instanceof javax.swing.plaf.UIResource

  383.                     && linkedStyleSheets.size() > 1) {

  384.                     index = linkedStyleSheets.size() - 1;

  385.                 }

  386. 		linkedStyleSheets.insertElementAt(ss, index);

  387. 		linkStyleSheetAt(ss, index);

  388. 	    }

  389. 	}

  390.     }

  391. 

  392.     /**

  393.      * Removes the StyleSheet <code>ss</code> from those of the receiver.

  394.      *

  395.      * @since 1.3

  396.      */

  397.     public void removeStyleSheet(StyleSheet ss) {

  398. 	synchronized(this) {

  399. 	    if (linkedStyleSheets != null) {

  400. 		int index = linkedStyleSheets.indexOf(ss);

  401. 		if (index != -1) {

  402. 		    linkedStyleSheets.removeElementAt(index);

  403. 		    unlinkStyleSheet(ss, index);

  404. 		    if (index == 0 && linkedStyleSheets.size() == 0) {

  405. 			linkedStyleSheets = null;

  406. 		    }

  407. 		}

  408. 	    }

  409. 	}

  410.     }

  411. 

  412.     //

  413.     // The following is used to import style sheets.

  414.     //

  415. 

  416.     /**

  417.      * Returns an array of the linked StyleSheets. Will return null

  418.      * if there are no linked StyleSheets.

  419.      *

  420.      * @since 1.3

  421.      */

  422.     public StyleSheet[] getStyleSheets() {

  423. 	StyleSheet[] retValue;

  424. 

  425. 	synchronized(this) {

  426. 	    if (linkedStyleSheets != null) {

  427. 		retValue = new StyleSheet[linkedStyleSheets.size()];

  428. 		linkedStyleSheets.copyInto(retValue);

  429. 	    }

  430. 	    else {

  431. 		retValue = null;

  432. 	    }

  433. 	}

  434. 	return retValue;

  435.     }

  436. 

  437.     /**

  438.      * Imports a style sheet from <code>url</code>. The resulting rules

  439.      * are directly added to the receiver. If you do not want the rules

  440.      * to become part of the receiver, create a new StyleSheet and use

  441.      * addStyleSheet to link it in.

  442.      *

  443.      * @since 1.3

  444.      */

  445.     public void importStyleSheet(URL url) {

  446. 	try {

  447. 	    InputStream is;

  448. 

  449. 	    is = url.openStream();

  450. 	    Reader r = new BufferedReader(new InputStreamReader(is));

  451. 	    CssParser parser = new CssParser();

  452. 	    parser.parse(url, r, false, true);

  453. 	    r.close();

  454. 	    is.close();

  455. 	} catch (Throwable e) {

  456. 	    // on error we simply have no styles... the html

  457. 	    // will look mighty wrong but still function.

  458. 	}

  459.     }

  460. 

  461.     /**

  462.      * Sets the base. All import statements that are relative, will be

  463.      * relative to <code>base</code>.

  464.      *

  465.      * @since 1.3

  466.      */

  467.     public void setBase(URL base) {

  468. 	this.base = base;

  469.     }

  470. 

  471.     /**

  472.      * Returns the base.

  473.      *

  474.      * @since 1.3

  475.      */

  476.     public URL getBase() {

  477. 	return base;

  478.     }

  479. 

  480.     /**

  481.      * Adds a CSS attribute to the given set.

  482.      *

  483.      * @since 1.3

  484.      */

  485.     public void addCSSAttribute(MutableAttributeSet attr, CSS.Attribute key,

  486. 				String value) {

  487. 	css.addInternalCSSValue(attr, key, value);

  488.     }

  489. 

  490.     /**

  491.      * Adds a CSS attribute to the given set.

  492.      *

  493.      * @since 1.3

  494.      */

  495.     public boolean addCSSAttributeFromHTML(MutableAttributeSet attr,

  496. 					   CSS.Attribute key, String value) {

  497. 	Object iValue = css.getCssValue(key, value);

  498. 	if (iValue != null) {

  499. 	    attr.addAttribute(key, iValue);

  500. 	    return true;

  501. 	}

  502. 	return false;

  503.     }

  504. 

  505.     // ---- Conversion functionality ---------------------------------

  506. 

  507.     /**

  508.      * Converts a set of HTML attributes to an equivalent

  509.      * set of CSS attributes.

  510.      *

  511.      * @param htmlAttrSet AttributeSet containing the HTML attributes.

  512.      */

  513.     public AttributeSet translateHTMLToCSS(AttributeSet htmlAttrSet) {

  514. 	AttributeSet cssAttrSet = css.translateHTMLToCSS(htmlAttrSet);

  515. 

  516. 	MutableAttributeSet cssStyleSet = addStyle(null, null);

  517. 	cssStyleSet.addAttributes(cssAttrSet);

  518. 

  519. 	return cssStyleSet;

  520.     }

  521. 

  522.     /**

  523.      * Adds an attribute to the given set, and returns

  524.      * the new representative set.  This is reimplemented to

  525.      * convert StyleConstant attributes to CSS prior to forwarding

  526.      * to the superclass behavior.  The StyleConstants attribute

  527.      * has no corresponding CSS entry, the StyleConstants attribute

  528.      * is stored (but will likely be unused).

  529.      *

  530.      * @param old the old attribute set

  531.      * @param key the non-null attribute key

  532.      * @param value the attribute value

  533.      * @return the updated attribute set

  534.      * @see MutableAttributeSet#addAttribute

  535.      */

  536.     public AttributeSet addAttribute(AttributeSet old, Object key,

  537. 				     Object value) {

  538. 	if (css == null) {

  539. 	    // supers constructor will call this before returning,

  540. 	    // and we need to make sure CSS is non null.

  541. 	    css = new CSS();

  542. 	}

  543. 	if (key instanceof StyleConstants) {

  544.             HTML.Tag tag = HTML.getTagForStyleConstantsKey(

  545.                                 (StyleConstants)key);

  546. 

  547.             if (tag != null && old.isDefined(tag)) {

  548.                 old = removeAttribute(old, tag);

  549.             }

  550. 

  551. 	    Object cssValue = css.styleConstantsValueToCSSValue

  552. 		              ((StyleConstants)key, value);

  553. 	    if (cssValue != null) {

  554. 		Object cssKey = css.styleConstantsKeyToCSSKey

  555. 		                    ((StyleConstants)key);

  556. 		if (cssKey != null) {

  557. 		    return super.addAttribute(old, cssKey, cssValue);

  558. 		}

  559. 	    }

  560. 	}

  561. 	return super.addAttribute(old, key, value);

  562.     }

  563. 

  564.     /**

  565.      * Adds a set of attributes to the element.  If any of these attributes

  566.      * are StyleConstants attributes, they will be converted to CSS prior

  567.      * to forwarding to the superclass behavior.

  568.      *

  569.      * @param old the old attribute set

  570.      * @param attr the attributes to add

  571.      * @return the updated attribute set

  572.      * @see MutableAttributeSet#addAttribute

  573.      */

  574.     public AttributeSet addAttributes(AttributeSet old, AttributeSet attr) {

  575.         if (!(attr instanceof HTMLDocument.TaggedAttributeSet)) {

  576.             old = removeHTMLTags(old, attr);

  577.         }

  578. 	return super.addAttributes(old, convertAttributeSet(attr));

  579.     }

  580. 

  581.     /**

  582.      * Removes an attribute from the set.  If the attribute is a StyleConstants

  583.      * attribute, the request will be converted to a CSS attribute prior to 

  584.      * forwarding to the superclass behavior.

  585.      *

  586.      * @param old the old set of attributes

  587.      * @param key the non-null attribute name

  588.      * @return the updated attribute set

  589.      * @see MutableAttributeSet#removeAttribute

  590.      */

  591.     public AttributeSet removeAttribute(AttributeSet old, Object key) {

  592. 	if (key instanceof StyleConstants) {

  593.             HTML.Tag tag = HTML.getTagForStyleConstantsKey(

  594.                                    (StyleConstants)key);

  595.             if (tag != null) {

  596.                 old = super.removeAttribute(old, tag);

  597.             }

  598. 

  599. 	    Object cssKey = css.styleConstantsKeyToCSSKey((StyleConstants)key);

  600. 	    if (cssKey != null) {

  601. 		return super.removeAttribute(old, cssKey);

  602. 	    }

  603. 	}

  604.         return super.removeAttribute(old, key);

  605.     }

  606. 

  607.     /**

  608.      * Removes a set of attributes for the element.  If any of the attributes

  609.      * is a StyleConstants attribute, the request will be converted to a CSS 

  610.      * attribute prior to forwarding to the superclass behavior.

  611.      *

  612.      * @param old the old attribute set

  613.      * @param names the attribute names

  614.      * @return the updated attribute set

  615.      * @see MutableAttributeSet#removeAttributes

  616.      */

  617.     public AttributeSet removeAttributes(AttributeSet old, Enumeration<?> names) {

  618.         // PENDING: Should really be doing something similar to 

  619.         // removeHTMLTags here, but it is rather expensive to have to

  620.         // clone names

  621.         return super.removeAttributes(old, names);

  622.     }

  623. 

  624.     /**

  625.      * Removes a set of attributes. If any of the attributes

  626.      * is a StyleConstants attribute, the request will be converted to a CSS 

  627.      * attribute prior to forwarding to the superclass behavior.

  628.      *

  629.      * @param old the old attribute set

  630.      * @param attrs the attributes

  631.      * @return the updated attribute set

  632.      * @see MutableAttributeSet#removeAttributes

  633.      */

  634.     public AttributeSet removeAttributes(AttributeSet old, AttributeSet attrs) {

  635.         if (old != attrs) {

  636.             old = removeHTMLTags(old, attrs);

  637.         }

  638. 	return super.removeAttributes(old, convertAttributeSet(attrs));

  639.     }

  640. 

  641.     /**

  642.      * Creates a compact set of attributes that might be shared.

  643.      * This is a hook for subclasses that want to alter the 

  644.      * behavior of SmallAttributeSet.  This can be reimplemented

  645.      * to return an AttributeSet that provides some sort of

  646.      * attribute conversion.

  647.      *

  648.      * @param a The set of attributes to be represented in the

  649.      *  the compact form.

  650.      */

  651.     protected SmallAttributeSet createSmallAttributeSet(AttributeSet a) {

  652. 	return new SmallConversionSet(a);

  653.     }

  654. 

  655.     /**

  656.      * Creates a large set of attributes that should trade off

  657.      * space for time.  This set will not be shared.  This is

  658.      * a hook for subclasses that want to alter the behavior

  659.      * of the larger attribute storage format (which is 

  660.      * SimpleAttributeSet by default).   This can be reimplemented

  661.      * to return a MutableAttributeSet that provides some sort of

  662.      * attribute conversion.

  663.      *

  664.      * @param a The set of attributes to be represented in the

  665.      *  the larger form.

  666.      */

  667.     protected MutableAttributeSet createLargeAttributeSet(AttributeSet a) {

  668.         return new LargeConversionSet(a);

  669.     }

  670. 

  671.     /**

  672.      * For any StyleConstants key in attr that has an associated HTML.Tag,

  673.      * it is removed from old. The resulting AttributeSet is then returned.

  674.      */

  675.     private AttributeSet removeHTMLTags(AttributeSet old, AttributeSet attr) {

  676.         if (!(attr instanceof LargeConversionSet) &&

  677.             !(attr instanceof SmallConversionSet)) {

  678.             Enumeration names = attr.getAttributeNames();

  679. 

  680.             while (names.hasMoreElements()) {

  681.                 Object key = names.nextElement();

  682. 

  683.                 if (key instanceof StyleConstants) {

  684.                     HTML.Tag tag = HTML.getTagForStyleConstantsKey(

  685.                         (StyleConstants)key);

  686. 

  687.                     if (tag != null && old.isDefined(tag)) {

  688.                         old = super.removeAttribute(old, tag);

  689.                     }

  690.                 }

  691.             }

  692.         }

  693. 	return old;

  694.     }

  695. 

  696.     /**

  697.      * Converts a set of attributes (if necessary) so that

  698.      * any attributes that were specified as StyleConstants

  699.      * attributes and have a CSS mapping, will be converted

  700.      * to CSS attributes.

  701.      */

  702.     AttributeSet convertAttributeSet(AttributeSet a) {

  703. 	if ((a instanceof LargeConversionSet) || 

  704. 	    (a instanceof SmallConversionSet)) {

  705. 	    // known to be converted.

  706. 	    return a;

  707. 	}

  708. 	// in most cases, there are no StyleConstants attributes

  709. 	// so we iterate the collection of keys to avoid creating

  710. 	// a new set.

  711. 	Enumeration names = a.getAttributeNames();

  712. 	while (names.hasMoreElements()) {

  713. 	    Object name = names.nextElement();

  714. 	    if (name instanceof StyleConstants) {

  715. 		// we really need to do a conversion, iterate again

  716. 		// building a new set.

  717. 		MutableAttributeSet converted = new LargeConversionSet();

  718. 		Enumeration keys = a.getAttributeNames();

  719. 		while (keys.hasMoreElements()) {

  720. 		    Object key = keys.nextElement();

  721. 		    Object cssValue = null;

  722. 		    if (key instanceof StyleConstants) {

  723. 			// convert the StyleConstants attribute if possible

  724. 			Object cssKey = css.styleConstantsKeyToCSSKey

  725. 			                    ((StyleConstants)key);

  726. 			if (cssKey != null) {

  727. 			    Object value = a.getAttribute(key);

  728. 			    cssValue = css.styleConstantsValueToCSSValue

  729. 				           ((StyleConstants)key, value);

  730. 			    if (cssValue != null) {

  731. 				converted.addAttribute(cssKey, cssValue);

  732. 			    }

  733. 			}

  734. 		    }

  735. 		    if (cssValue == null) {

  736. 			converted.addAttribute(key, a.getAttribute(key));

  737. 		    }

  738. 		}

  739. 		return converted;

  740.             }

  741. 	}

  742. 	return a;

  743.     }

  744. 

  745.     /**

  746.      * Large set of attributes that does conversion of requests

  747.      * for attributes of type StyleConstants.

  748.      */

  749.     class LargeConversionSet extends SimpleAttributeSet {

  750. 

  751. 	/**

  752. 	 * Creates a new attribute set based on a supplied set of attributes.

  753. 	 *

  754. 	 * @param source the set of attributes

  755. 	 */

  756.         public LargeConversionSet(AttributeSet source) {

  757. 	    super(source);

  758. 	}

  759. 

  760.         public LargeConversionSet() {

  761. 	    super();

  762. 	}

  763. 

  764.         /**

  765.          * Checks whether a given attribute is defined.

  766.          *

  767.          * @param key the attribute key

  768.          * @return true if the attribute is defined

  769.          * @see AttributeSet#isDefined

  770.          */

  771.         public boolean isDefined(Object key) {

  772. 	    if (key instanceof StyleConstants) {

  773. 		Object cssKey = css.styleConstantsKeyToCSSKey

  774. 		                    ((StyleConstants)key);

  775. 		if (cssKey != null) {

  776. 		    return super.isDefined(cssKey);

  777. 		}

  778. 	    }

  779. 	    return super.isDefined(key);

  780. 	}

  781. 

  782.         /**

  783.          * Gets the value of an attribute.

  784.          *

  785.          * @param key the attribute name

  786.          * @return the attribute value

  787.          * @see AttributeSet#getAttribute

  788.          */

  789.         public Object getAttribute(Object key) {

  790. 	    if (key instanceof StyleConstants) {

  791. 		Object cssKey = css.styleConstantsKeyToCSSKey

  792. 		                    ((StyleConstants)key);

  793. 		if (cssKey != null) {

  794. 		    Object value = super.getAttribute(cssKey);

  795. 		    if (value != null) {

  796. 			return css.cssValueToStyleConstantsValue

  797. 			                   ((StyleConstants)key, value);

  798. 		    }

  799. 		}

  800. 	    }

  801. 	    return super.getAttribute(key);

  802. 	}

  803.     }

  804. 

  805.     /**

  806.      * Small set of attributes that does conversion of requests

  807.      * for attributes of type StyleConstants.

  808.      */

  809.     class SmallConversionSet extends SmallAttributeSet {

  810. 

  811. 	/**

  812. 	 * Creates a new attribute set based on a supplied set of attributes.

  813. 	 *

  814. 	 * @param source the set of attributes

  815. 	 */

  816.         public SmallConversionSet(AttributeSet attrs) {

  817. 	    super(attrs);

  818. 	}

  819.  	

  820.         /**

  821.          * Checks whether a given attribute is defined.

  822.          *

  823.          * @param key the attribute key

  824.          * @return true if the attribute is defined

  825.          * @see AttributeSet#isDefined

  826.          */

  827.         public boolean isDefined(Object key) {

  828. 	    if (key instanceof StyleConstants) {

  829. 		Object cssKey = css.styleConstantsKeyToCSSKey

  830. 		                    ((StyleConstants)key);

  831. 		if (cssKey != null) {

  832. 		    return super.isDefined(cssKey);

  833. 		}

  834. 	    }

  835. 	    return super.isDefined(key);

  836. 	}

  837. 

  838.         /**

  839.          * Gets the value of an attribute.

  840.          *

  841.          * @param key the attribute name

  842.          * @return the attribute value

  843.          * @see AttributeSet#getAttribute

  844.          */

  845.         public Object getAttribute(Object key) {

  846. 	    if (key instanceof StyleConstants) {

  847. 		Object cssKey = css.styleConstantsKeyToCSSKey

  848. 		                    ((StyleConstants)key);

  849. 		if (cssKey != null) {

  850. 		    Object value = super.getAttribute(cssKey);

  851. 		    if (value != null) {

  852. 			return css.cssValueToStyleConstantsValue

  853. 			                   ((StyleConstants)key, value);

  854. 		    }

  855. 		}

  856. 	    }

  857. 	    return super.getAttribute(key);

  858. 	}

  859.     }

  860. 

  861.     // ---- Resource handling ----------------------------------------

  862. 

  863.     /**

  864.      * Fetches the font to use for the given set of attributes.

  865.      */

  866.     public Font getFont(AttributeSet a) {

  867. 	return css.getFont(this, a, 12, this);

  868.     }

  869. 

  870.     /**

  871.      * Takes a set of attributes and turn it into a foreground color

  872.      * specification.  This might be used to specify things

  873.      * like brighter, more hue, etc.

  874.      *

  875.      * @param a the set of attributes

  876.      * @return the color

  877.      */

  878.     public Color getForeground(AttributeSet a) {

  879. 	Color c = css.getColor(a, CSS.Attribute.COLOR);

  880. 	if (c == null) {

  881. 	    return Color.black;

  882. 	}

  883. 	return c;

  884.     }

  885. 

  886.     /**

  887.      * Takes a set of attributes and turn it into a background color

  888.      * specification.  This might be used to specify things

  889.      * like brighter, more hue, etc.

  890.      *

  891.      * @param a the set of attributes

  892.      * @return the color

  893.      */

  894.     public Color getBackground(AttributeSet a) {

  895. 	return css.getColor(a, CSS.Attribute.BACKGROUND_COLOR);

  896.     }

  897. 

  898.     /**

  899.      * Fetches the box formatter to use for the given set

  900.      * of CSS attributes.

  901.      */

  902.     public BoxPainter getBoxPainter(AttributeSet a) {

  903. 	return new BoxPainter(a, css, this);

  904.     }

  905. 

  906.     /**

  907.      * Fetches the list formatter to use for the given set

  908.      * of CSS attributes.

  909.      */

  910.     public ListPainter getListPainter(AttributeSet a) {

  911. 	return new ListPainter(a, this);

  912.     }

  913. 

  914.     /**

  915.      * Sets the base font size, with valid values between 1 and 7.

  916.      */

  917.     public void setBaseFontSize(int sz) {

  918. 	css.setBaseFontSize(sz);

  919.     }

  920. 

  921.     /**

  922.      * Sets the base font size from the passed in String. The string

  923.      * can either identify a specific font size, with legal values between

  924.      * 1 and 7, or identifiy a relative font size such as +1 or -2.

  925.      */

  926.     public void setBaseFontSize(String size) {

  927. 	css.setBaseFontSize(size);

  928.     }

  929. 

  930.     public static int getIndexOfSize(float pt) {

  931. 	return CSS.getIndexOfSize(pt, sizeMapDefault);

  932.     }

  933. 

  934.     /**

  935.      * Returns the point size, given a size index.

  936.      */

  937.     public float getPointSize(int index) {

  938. 	return css.getPointSize(index, this);

  939.     }

  940. 

  941.     /**

  942.      *  Given a string such as "+2", "-2", or "2",

  943.      *  returns a point size value.

  944.      */

  945.     public float getPointSize(String size) {

  946. 	return css.getPointSize(size, this);

  947.     }

  948. 

  949.     /**

  950.      * Converts a color string such as "RED" or "#NNNNNN" to a Color.

  951.      * Note: This will only convert the HTML3.2 color strings

  952.      *       or a string of length 7;

  953.      *       otherwise, it will return null.

  954.      */

  955.     public Color stringToColor(String string) {

  956. 	return CSS.stringToColor(string);

  957.     }

  958. 

  959.     /**

  960.      * Returns the ImageIcon to draw in the background for

  961.      * <code>attr</code>.

  962.      */

  963.     ImageIcon getBackgroundImage(AttributeSet attr) {

  964. 	Object value = attr.getAttribute(CSS.Attribute.BACKGROUND_IMAGE);

  965. 

  966. 	if (value != null) {

  967. 	    return ((CSS.BackgroundImage)value).getImage(getBase());

  968. 	}

  969. 	return null;

  970.     }

  971. 

  972.     /**

  973.      * Adds a rule into the StyleSheet.

  974.      *

  975.      * @param selector the selector to use for the rule.

  976.      *  This will be a set of simple selectors, and must

  977.      *  be a length of 1 or greater.

  978.      * @param declaration the set of CSS attributes that

  979.      *  make up the rule.

  980.      */

  981.     void addRule(String[] selector, AttributeSet declaration,

  982. 		 boolean isLinked) {

  983. 	int n = selector.length;

  984. 	StringBuffer sb = new StringBuffer();

  985. 	sb.append(selector[0]);

  986. 	for (int counter = 1; counter < n; counter++) {

  987. 	    sb.append(' ');

  988. 	    sb.append(selector[counter]);

  989. 	}

  990. 	String selectorName = sb.toString();

  991. 	Style rule = getStyle(selectorName);

  992. 	if (rule == null) {

  993. 	    // Notice how the rule is first created, and it not part of

  994. 	    // the synchronized block. It is done like this as creating

  995. 	    // a new rule will fire a ChangeEvent. We do not want to be

  996. 	    // holding the lock when calling to other objects, it can

  997. 	    // result in deadlock.

  998. 	    Style altRule = addStyle(selectorName, null);

  999. 	    synchronized(this) {

  1000. 		SelectorMapping mapping = getRootSelectorMapping();

  1001. 		for (int i = n - 1; i >= 0; i--) {

  1002. 		    mapping = mapping.getChildSelectorMapping

  1003.                                       (selector[i], true);

  1004. 		}

  1005. 		rule = mapping.getStyle();

  1006. 		if (rule == null) {

  1007.                     rule = altRule;

  1008.                     mapping.setStyle(rule);

  1009. 		    refreshResolvedRules(selectorName, selector, rule,

  1010. 					 mapping.getSpecificity());

  1011. 		}

  1012. 	    }

  1013. 	}

  1014. 	if (isLinked) {

  1015. 	    rule = getLinkedStyle(rule);

  1016. 	}

  1017. 	rule.addAttributes(declaration);

  1018.     }

  1019. 

  1020.     //

  1021.     // The following gaggle of methods is used in maintaing the rules from

  1022.     // the sheet.

  1023.     //

  1024. 

  1025.     /**

  1026.      * Updates the attributes of the rules to reference any related

  1027.      * rules in <code>ss</code>.

  1028.      */

  1029.     private synchronized void linkStyleSheetAt(StyleSheet ss, int index) {

  1030. 	if (resolvedStyles.size() > 0) {

  1031. 	    Enumeration values = resolvedStyles.elements();

  1032. 	    while (values.hasMoreElements()) {

  1033. 		ResolvedStyle rule = (ResolvedStyle)values.nextElement();

  1034. 		rule.insertExtendedStyleAt(ss.getRule(rule.getName()),

  1035. 					   index);

  1036. 	    }

  1037. 	}

  1038.     }

  1039. 

  1040.     /**

  1041.      * Removes references to the rules in <code>ss</code>.

  1042.      * <code>index</code> gives the index the StyleSheet was at, that is

  1043.      * how many StyleSheets had been added before it.

  1044.      */

  1045.     private synchronized void unlinkStyleSheet(StyleSheet ss, int index) {

  1046. 	if (resolvedStyles.size() > 0) {

  1047. 	    Enumeration values = resolvedStyles.elements();

  1048. 	    while (values.hasMoreElements()) {

  1049. 		ResolvedStyle rule = (ResolvedStyle)values.nextElement();

  1050. 		rule.removeExtendedStyleAt(index);

  1051. 	    }

  1052. 	}

  1053.     }

  1054. 

  1055.     /**

  1056.      * Returns the simple selectors that comprise selector.

  1057.      */

  1058.     /* protected */

  1059.     String[] getSimpleSelectors(String selector) {

  1060. 	selector = cleanSelectorString(selector);

  1061. 	SearchBuffer sb = SearchBuffer.obtainSearchBuffer();

  1062. 	Vector selectors = sb.getVector();

  1063. 	int lastIndex = 0;

  1064. 	int length = selector.length();

  1065. 	while (lastIndex != -1) {

  1066. 	    int newIndex = selector.indexOf(' ', lastIndex);

  1067. 	    if (newIndex != -1) {

  1068. 		selectors.addElement(selector.substring(lastIndex, newIndex));

  1069. 		if (++newIndex == length) {

  1070. 		    lastIndex = -1;

  1071. 		}

  1072. 		else {

  1073. 		    lastIndex = newIndex;

  1074. 		}

  1075. 	    }

  1076. 	    else {

  1077. 		selectors.addElement(selector.substring(lastIndex));

  1078. 		lastIndex = -1;

  1079. 	    }

  1080. 	}

  1081. 	String[] retValue = new String[selectors.size()];

  1082. 	selectors.copyInto(retValue);

  1083. 	SearchBuffer.releaseSearchBuffer(sb);

  1084. 	return retValue;

  1085.     }

  1086. 

  1087.     /**

  1088.      * Returns a string that only has one space between simple selectors,

  1089.      * which may be the passed in String.

  1090.      */

  1091.     /*protected*/ String cleanSelectorString(String selector) {

  1092. 	boolean lastWasSpace = true;

  1093. 	for (int counter = 0, maxCounter = selector.length();

  1094. 	     counter < maxCounter; counter++) {

  1095. 	    switch(selector.charAt(counter)) {

  1096. 	    case ' ':

  1097. 		if (lastWasSpace) {

  1098. 		    return _cleanSelectorString(selector);

  1099. 		}

  1100. 		lastWasSpace = true;

  1101. 		break;

  1102. 	    case '\n':

  1103. 	    case '\r':

  1104. 	    case '\t':

  1105. 		return _cleanSelectorString(selector);

  1106. 	    default:

  1107. 		lastWasSpace = false;

  1108. 	    }

  1109. 	}

  1110. 	if (lastWasSpace) {

  1111. 	    return _cleanSelectorString(selector);

  1112. 	}

  1113. 	// It was fine.

  1114. 	return selector;

  1115.     }

  1116. 

  1117.     /**

  1118.      * Returns a new String that contains only one space between non

  1119.      * white space characters.

  1120.      */

  1121.     private String _cleanSelectorString(String selector) {

  1122. 	SearchBuffer sb = SearchBuffer.obtainSearchBuffer();

  1123. 	StringBuffer buff = sb.getStringBuffer();

  1124. 	boolean lastWasSpace = true;

  1125. 	int lastIndex = 0;

  1126. 	char[] chars = selector.toCharArray();

  1127. 	int numChars = chars.length;

  1128. 	String retValue = null;

  1129. 	try {

  1130. 	    for (int counter = 0; counter < numChars; counter++) {

  1131. 		switch(chars[counter]) {

  1132. 		case ' ':

  1133. 		    if (!lastWasSpace) {

  1134. 			lastWasSpace = true;

  1135. 			if (lastIndex < counter) {

  1136. 			    buff.append(chars, lastIndex,

  1137. 					1 + counter - lastIndex);

  1138. 			}

  1139. 		    }

  1140. 		    lastIndex = counter + 1;

  1141. 		    break;

  1142. 		case '\n':

  1143. 		case '\r':

  1144. 		case '\t':

  1145. 		    if (!lastWasSpace) {

  1146. 			lastWasSpace = true;

  1147. 			if (lastIndex < counter) {

  1148. 			    buff.append(chars, lastIndex,

  1149. 					counter - lastIndex);

  1150. 			    buff.append(' ');

  1151. 			}

  1152. 		    }

  1153. 		    lastIndex = counter + 1;

  1154. 		    break;

  1155. 		default:

  1156. 		    lastWasSpace = false;

  1157. 		    break;

  1158. 		}

  1159. 	    }

  1160. 	    if (lastWasSpace && buff.length() > 0) {

  1161. 		// Remove last space.

  1162. 		buff.setLength(buff.length() - 1);

  1163. 	    }

  1164. 	    else if (lastIndex < numChars) {

  1165. 		buff.append(chars, lastIndex, numChars - lastIndex);

  1166. 	    }

  1167. 	    retValue = buff.toString();

  1168. 	}

  1169. 	finally {

  1170. 	    SearchBuffer.releaseSearchBuffer(sb);

  1171. 	}

  1172. 	return retValue;

  1173.     }

  1174. 

  1175.     /**

  1176.      * Returns the root selector mapping that all selectors are relative

  1177.      * to. This is an inverted graph of the selectors.

  1178.      */

  1179.     private SelectorMapping getRootSelectorMapping() {

  1180. 	return selectorMapping;

  1181.     }

  1182. 

  1183.     /**

  1184.      * Returns the specificity of the passed in String. It assumes the

  1185.      * passed in string doesn't contain junk, that is each selector is

  1186.      * separated by a space and each selector at most contains one . or one

  1187.      * #. A simple selector has a weight of 1, an id selector has a weight

  1188.      * of 100, and a class selector has a weight of 10000.

  1189.      */

  1190.     /*protected*/ static int getSpecificity(String selector) {

  1191.         int specificity = 0;

  1192.         boolean lastWasSpace = true;

  1193. 

  1194.         for (int counter = 0, maxCounter = selector.length();

  1195.              counter < maxCounter; counter++) {

  1196.             switch(selector.charAt(counter)) {

  1197.             case '.':

  1198.                 specificity += 100;

  1199.                 break;

  1200.             case '#':

  1201.                 specificity += 10000;

  1202.                 break;

  1203.             case ' ':

  1204.                 lastWasSpace = true;

  1205.                 break;

  1206.             default:

  1207.                 if (lastWasSpace) {

  1208.                     lastWasSpace = false;

  1209.                     specificity += 1;

  1210.                 }

  1211.             }

  1212.         }

  1213.         return specificity;

  1214.     }

  1215. 

  1216.     /**

  1217.      * Returns the style that linked attributes should be added to. This

  1218.      * will create the style if necessary.

  1219.      */

  1220.     private Style getLinkedStyle(Style localStyle) {

  1221. 	// NOTE: This is not synchronized, and the caller of this does

  1222. 	// not synchronize. There is the chance for one of the callers to

  1223. 	// overwrite the existing resolved parent, but it is quite rare.

  1224. 	// The reason this is left like this is because setResolveParent

  1225. 	// will fire a ChangeEvent. It is really, REALLY bad for us to

  1226. 	// hold a lock when calling outside of us, it may cause a deadlock.

  1227. 	Style retStyle = (Style)localStyle.getResolveParent();

  1228. 	if (retStyle == null) {

  1229. 	    retStyle = addStyle(null, null);

  1230. 	    localStyle.setResolveParent(retStyle);

  1231. 	}

  1232. 	return retStyle;

  1233.     }

  1234. 

  1235.     /**

  1236.      * Returns the resolved style for <code>selector</code>. This will

  1237.      * create the resolved style, if necessary.

  1238.      */

  1239.     private synchronized Style getResolvedStyle(String selector,

  1240. 						Vector elements,

  1241. 						HTML.Tag t) {

  1242. 	Style retStyle = (Style)resolvedStyles.get(selector);

  1243. 	if (retStyle == null) {

  1244. 	    retStyle = createResolvedStyle(selector, elements, t);

  1245. 	}

  1246. 	return retStyle;

  1247.     }

  1248. 

  1249.     /**

  1250.      * Returns the resolved style for <code>selector</code>. This will

  1251.      * create the resolved style, if necessary.

  1252.      */

  1253.     private synchronized Style getResolvedStyle(String selector) {

  1254. 	Style retStyle = (Style)resolvedStyles.get(selector);

  1255. 	if (retStyle == null) {

  1256. 	    retStyle = createResolvedStyle(selector);

  1257. 	}

  1258. 	return retStyle;

  1259.     }

  1260. 

  1261.     /**

  1262.      * Adds <code>mapping</code> to <code>elements</code>. It is added

  1263.      * such that <code>elements</code> will remain ordered by 

  1264.      * specificity.

  1265.      */

  1266.     private void addSortedStyle(SelectorMapping mapping, Vector elements) {

  1267. 	int       size = elements.size();

  1268. 

  1269. 	if (size > 0) {

  1270. 	    int     specificity = mapping.getSpecificity();

  1271. 

  1272. 	    for (int counter = 0; counter < size; counter++) {

  1273. 		if (specificity >= ((SelectorMapping)elements.elementAt

  1274.                                     (counter)).getSpecificity()) {

  1275. 		    elements.insertElementAt(mapping, counter);

  1276. 		    return;

  1277. 		}

  1278. 	    }

  1279. 	}

  1280. 	elements.addElement(mapping);

  1281.     }

  1282. 

  1283.     /**

  1284.      * Adds <code>parentMapping</code> to <code>styles</code>, and

  1285.      * recursively calls this method if <code>parentMapping</code> has

  1286.      * any child mappings for any of the Elements in <code>elements</code>.

  1287.      */

  1288.     private synchronized void getStyles(SelectorMapping parentMapping,

  1289.                            Vector styles,

  1290.                            String[] tags, String[] ids, String[] classes,

  1291.                            int index, int numElements,

  1292.                            Hashtable alreadyChecked) {

  1293. 	// Avoid desending the same mapping twice.

  1294. 	if (alreadyChecked.contains(parentMapping)) {

  1295. 	    return;

  1296. 	}

  1297. 	alreadyChecked.put(parentMapping, parentMapping);

  1298. 	Style style = parentMapping.getStyle();

  1299. 	if (style != null) {

  1300. 	    addSortedStyle(parentMapping, styles);

  1301. 	}

  1302. 	for (int counter = index; counter < numElements; counter++) {

  1303.             String tagString = tags[counter];

  1304.             if (tagString != null) {

  1305. 		SelectorMapping childMapping = parentMapping.

  1306.                                 getChildSelectorMapping(tagString, false);

  1307. 		if (childMapping != null) {

  1308. 		    getStyles(childMapping, styles, tags, ids, classes,

  1309.                               counter + 1, numElements, alreadyChecked);

  1310. 		}

  1311. 		if (classes[counter] != null) {

  1312. 		    String className = classes[counter];

  1313. 		    childMapping = parentMapping.getChildSelectorMapping(

  1314.                                          tagString + "." + className, false);

  1315. 		    if (childMapping != null) {

  1316. 			getStyles(childMapping, styles, tags, ids, classes,

  1317.                                   counter + 1, numElements, alreadyChecked);

  1318. 		    }

  1319. 		    childMapping = parentMapping.getChildSelectorMapping(

  1320.                                          "." + className, false);

  1321. 		    if (childMapping != null) {

  1322. 			getStyles(childMapping, styles, tags, ids, classes,

  1323.                                   counter + 1, numElements, alreadyChecked);

  1324. 		    }

  1325. 		}

  1326. 		if (ids[counter] != null) {

  1327. 		    String idName = ids[counter];

  1328. 		    childMapping = parentMapping.getChildSelectorMapping(

  1329.                                          tagString + "#" + idName, false);

  1330. 		    if (childMapping != null) {

  1331. 			getStyles(childMapping, styles, tags, ids, classes,

  1332.                                   counter + 1, numElements, alreadyChecked);

  1333. 		    }

  1334. 		    childMapping = parentMapping.getChildSelectorMapping(

  1335.                                    "#" + idName, false);

  1336. 		    if (childMapping != null) {

  1337. 			getStyles(childMapping, styles, tags, ids, classes,

  1338.                                   counter + 1, numElements, alreadyChecked);

  1339. 		    }

  1340. 		}

  1341. 	    }

  1342. 	}

  1343.     }

  1344. 

  1345.     /**

  1346.      * Creates and returns a Style containing all the rules that match

  1347.      *  <code>selector</code>.

  1348.      */

  1349.     private synchronized Style createResolvedStyle(String selector,

  1350. 				      String[] tags,

  1351. 				      String[] ids, String[] classes) {

  1352. 	SearchBuffer sb = SearchBuffer.obtainSearchBuffer();

  1353. 	Vector tempVector = sb.getVector();

  1354. 	Hashtable tempHashtable = sb.getHashtable();

  1355. 	// Determine all the Styles that are appropriate, placing them

  1356. 	// in tempVector

  1357. 	try {

  1358. 	    SelectorMapping mapping = getRootSelectorMapping();

  1359. 	    int numElements = tags.length;

  1360. 	    String tagString = tags[0];

  1361. 	    SelectorMapping childMapping = mapping.getChildSelectorMapping(

  1362.                                                    tagString, false);

  1363. 	    if (childMapping != null) {

  1364. 		getStyles(childMapping, tempVector, tags, ids, classes, 1,

  1365. 			  numElements, tempHashtable);

  1366. 	    }

  1367. 	    if (classes[0] != null) {

  1368. 		String className = classes[0];

  1369. 		childMapping = mapping.getChildSelectorMapping(

  1370.                                        tagString + "." + className, false);

  1371. 		if (childMapping != null) {

  1372. 		    getStyles(childMapping, tempVector, tags, ids, classes, 1,

  1373. 			      numElements, tempHashtable);

  1374. 		}

  1375. 		childMapping = mapping.getChildSelectorMapping(

  1376.                                        "." + className, false);

  1377. 		if (childMapping != null) {

  1378. 		    getStyles(childMapping, tempVector, tags, ids, classes,

  1379. 			      1, numElements, tempHashtable);

  1380. 		}

  1381. 	    }

  1382. 	    if (ids[0] != null) {

  1383. 		String idName = ids[0];

  1384. 		childMapping = mapping.getChildSelectorMapping(

  1385.                                        tagString + "#" + idName, false);

  1386. 		if (childMapping != null) {

  1387. 		    getStyles(childMapping, tempVector, tags, ids, classes,

  1388. 			      1, numElements, tempHashtable);

  1389. 		}

  1390. 		childMapping = mapping.getChildSelectorMapping(

  1391.                                        "#" + idName, false);

  1392. 		if (childMapping != null) {

  1393. 		    getStyles(childMapping, tempVector, tags, ids, classes,

  1394. 			      1, numElements, tempHashtable);

  1395. 		}

  1396. 	    }

  1397. 	    // Create a new Style that will delegate to all the matching

  1398. 	    // Styles.

  1399. 	    int numLinkedSS = (linkedStyleSheets != null) ?

  1400. 		              linkedStyleSheets.size() : 0;

  1401. 	    int numStyles = tempVector.size();

  1402. 	    AttributeSet[] attrs = new AttributeSet[numStyles + numLinkedSS];

  1403. 	    for (int counter = 0; counter < numStyles; counter++) {

  1404. 		attrs[counter] = ((SelectorMapping)tempVector.

  1405.                                   elementAt(counter)).getStyle();

  1406. 	    }

  1407. 	    // Get the AttributeSet from linked style sheets.

  1408. 	    for (int counter = 0; counter < numLinkedSS; counter++) {

  1409. 		AttributeSet attr = ((StyleSheet)linkedStyleSheets.

  1410. 				 elementAt(counter)).getRule(selector);

  1411. 		if (attr == null) {

  1412. 		    attrs[counter + numStyles] = SimpleAttributeSet.EMPTY;

  1413. 		}

  1414. 		else {

  1415. 		    attrs[counter + numStyles] = attr;

  1416. 		}

  1417. 	    }

  1418. 	    ResolvedStyle retStyle = new ResolvedStyle(selector, attrs,

  1419. 						       numStyles);

  1420. 	    resolvedStyles.put(selector, retStyle);

  1421. 	    return retStyle;

  1422. 	}

  1423. 	finally {

  1424. 	    SearchBuffer.releaseSearchBuffer(sb);

  1425. 	}

  1426.     }

  1427. 

  1428.     /**

  1429.      * Creates and returns a Style containing all the rules that

  1430.      * matches <code>selector</code>.

  1431.      *

  1432.      * @param elements  a Vector of all the Elements

  1433.      *                  the style is being asked for. The

  1434.      *                  first Element is the deepest Element, with the last Element

  1435.      *                  representing the root.

  1436.      * @param t         the Tag to use for

  1437.      *                  the first Element in <code>elements</code>

  1438.      */

  1439.     private Style createResolvedStyle(String selector, Vector elements,

  1440. 				      HTML.Tag t) {

  1441. 	int numElements = elements.size();

  1442.         // Build three arrays, one for tags, one for class's, and one for

  1443.         // id's

  1444.         String tags[] = new String[numElements];

  1445.         String ids[] = new String[numElements];

  1446.         String classes[] = new String[numElements];

  1447.         for (int counter = 0; counter < numElements; counter++) {

  1448.             Element e = (Element)elements.elementAt(counter);

  1449.             AttributeSet attr = e.getAttributes();

  1450. 	    if (counter == 0 && e.isLeaf()) {

  1451. 		// For leafs, we use the second tier attributes.

  1452. 		Object testAttr = attr.getAttribute(t);

  1453. 		if (testAttr instanceof AttributeSet) {

  1454. 		    attr = (AttributeSet)testAttr;

  1455. 		}

  1456. 		else {

  1457. 		    attr = null;

  1458. 		}

  1459. 	    }

  1460.             if (attr != null) {

  1461. 		HTML.Tag tag = (HTML.Tag)attr.getAttribute(StyleConstants.

  1462. 							   NameAttribute);

  1463.                 if (tag != null) {

  1464.                     tags[counter] = tag.toString();

  1465.                 }

  1466.                 else {

  1467.                     tags[counter] = null;

  1468.                 }

  1469. 		if (attr.isDefined(HTML.Attribute.CLASS)) {

  1470.                     classes[counter] = attr.getAttribute

  1471. 			              (HTML.Attribute.CLASS).toString();

  1472. 		}

  1473.                 else {

  1474.                     classes[counter] = null;

  1475.                 }

  1476. 		if (attr.isDefined(HTML.Attribute.ID)) {

  1477.                     ids[counter] = attr.getAttribute(HTML.Attribute.ID).

  1478. 			                toString();

  1479.                 }

  1480.                 else {

  1481.                     ids[counter] = null;

  1482.                 }

  1483.             }

  1484.             else {

  1485.                 tags[counter] = ids[counter] = classes[counter] = null;

  1486.             }

  1487.         }

  1488.         tags[0] = t.toString();

  1489. 	return createResolvedStyle(selector, tags, ids, classes);

  1490.     }

  1491. 

  1492.     /**

  1493.      * Creates and returns a Style containing all the rules that match

  1494.      *  <code>selector</code>. It is assumed that each simple selector

  1495.      * in <code>selector</code> is separated by a space.

  1496.      */

  1497.     private Style createResolvedStyle(String selector) {

  1498. 	SearchBuffer sb = SearchBuffer.obtainSearchBuffer();

  1499. 	// Will contain the tags, ids, and classes, in that order.

  1500. 	Vector elements = sb.getVector();

  1501. 	try {

  1502. 	    boolean done;

  1503. 	    int dotIndex = 0;

  1504. 	    int spaceIndex = 0;

  1505. 	    int poundIndex = 0;

  1506. 	    int lastIndex = 0;

  1507. 	    int length = selector.length();

  1508. 	    while (lastIndex < length) {

  1509. 		if (dotIndex == lastIndex) {

  1510. 		    dotIndex = selector.indexOf('.', lastIndex);

  1511. 		}

  1512. 		if (poundIndex == lastIndex) {

  1513. 		    poundIndex = selector.indexOf('#', lastIndex);

  1514. 		}

  1515. 		spaceIndex = selector.indexOf(' ', lastIndex);

  1516. 		if (spaceIndex == -1) {

  1517. 		    spaceIndex = length;

  1518. 		}

  1519. 		if (dotIndex != -1 && poundIndex != -1 &&

  1520. 		    dotIndex < spaceIndex && poundIndex < spaceIndex) {

  1521. 		    if (poundIndex < dotIndex) {

  1522. 			// #.

  1523. 			if (lastIndex == poundIndex) {

  1524. 			    elements.addElement("");

  1525. 			}

  1526. 			else {

  1527. 			    elements.addElement(selector.substring(lastIndex,

  1528. 								  poundIndex));

  1529. 			}

  1530. 			if ((dotIndex + 1) < spaceIndex) {

  1531. 			    elements.addElement(selector.substring

  1532. 						(dotIndex + 1, spaceIndex));

  1533. 			}

  1534. 			else {

  1535. 			    elements.addElement(null);

  1536. 			}

  1537. 			if ((poundIndex + 1) == dotIndex) {

  1538. 			    elements.addElement(null);

  1539. 			}

  1540. 			else {

  1541. 			    elements.addElement(selector.substring

  1542. 						(poundIndex + 1, dotIndex));

  1543. 			}

  1544. 		    }

  1545. 		    else if(poundIndex < spaceIndex) {

  1546. 			// .#

  1547. 			if (lastIndex == dotIndex) {

  1548. 			    elements.addElement("");

  1549. 			}

  1550. 			else {

  1551. 			    elements.addElement(selector.substring(lastIndex,

  1552. 								  dotIndex));

  1553. 			}

  1554. 			if ((dotIndex + 1) < poundIndex) {

  1555. 			    elements.addElement(selector.substring

  1556. 						(dotIndex + 1, poundIndex));

  1557. 			}

  1558. 			else {

  1559. 			    elements.addElement(null);

  1560. 			}

  1561. 			if ((poundIndex + 1) == spaceIndex) {

  1562. 			    elements.addElement(null);

  1563. 			}

  1564. 			else {

  1565. 			    elements.addElement(selector.substring

  1566. 						(poundIndex + 1, spaceIndex));

  1567. 			}

  1568. 		    }

  1569. 		    dotIndex = poundIndex = spaceIndex + 1;

  1570. 		}

  1571. 		else if (dotIndex != -1 && dotIndex < spaceIndex) {

  1572. 		    // .

  1573. 		    if (dotIndex == lastIndex) {

  1574. 			elements.addElement("");

  1575. 		    }

  1576. 		    else {

  1577. 			elements.addElement(selector.substring(lastIndex,

  1578. 							       dotIndex));

  1579. 		    }

  1580. 		    if ((dotIndex + 1) == spaceIndex) {

  1581. 			elements.addElement(null);

  1582. 		    }

  1583. 		    else {

  1584. 			elements.addElement(selector.substring(dotIndex + 1,

  1585. 							       spaceIndex));

  1586. 		    }

  1587. 		    elements.addElement(null);

  1588. 		    dotIndex = spaceIndex + 1;

  1589. 		}

  1590. 		else if (poundIndex != -1 && poundIndex < spaceIndex) {

  1591. 		    // #

  1592. 		    if (poundIndex == lastIndex) {

  1593. 			elements.addElement("");

  1594. 		    }

  1595. 		    else {

  1596. 			elements.addElement(selector.substring(lastIndex,

  1597. 							       poundIndex));

  1598. 		    }

  1599. 		    elements.addElement(null);

  1600. 		    if ((poundIndex + 1) == spaceIndex) {

  1601. 			elements.addElement(null);

  1602. 		    }

  1603. 		    else {

  1604. 			elements.addElement(selector.substring(poundIndex + 1,

  1605. 							       spaceIndex));

  1606. 		    }

  1607. 		    poundIndex = spaceIndex + 1;

  1608. 		}

  1609. 		else {

  1610. 		    // id

  1611. 		    elements.addElement(selector.substring(lastIndex,

  1612. 							   spaceIndex));

  1613. 		    elements.addElement(null);

  1614. 		    elements.addElement(null);

  1615. 		}

  1616. 		lastIndex = spaceIndex + 1;

  1617. 	    }

  1618. 	    // Create the tag, id, and class arrays.

  1619. 	    int total = elements.size();

  1620. 	    int numTags = total / 3;

  1621. 	    String[] tags = new String[numTags];

  1622. 	    String[] ids = new String[numTags];

  1623. 	    String[] classes = new String[numTags];

  1624. 	    for (int index = 0, eIndex = total - 3; index < numTags;

  1625. 		 index++, eIndex -= 3) {

  1626. 		tags[index] = (String)elements.elementAt(eIndex);

  1627. 		classes[index] = (String)elements.elementAt(eIndex + 1);

  1628. 		ids[index] = (String)elements.elementAt(eIndex + 2);

  1629. 	    }

  1630. 	    return createResolvedStyle(selector, tags, ids, classes);

  1631. 	}

  1632. 	finally {

  1633. 	    SearchBuffer.releaseSearchBuffer(sb);

  1634. 	}

  1635.     }

  1636. 

  1637.     /**

  1638.      * Should be invoked when a new rule is added that did not previously

  1639.      * exist. Goes through and refreshes the necessary resolved

  1640.      * rules.

  1641.      */

  1642.     private synchronized void refreshResolvedRules(String selectorName,

  1643. 						   String[] selector,

  1644. 						   Style newStyle,

  1645. 						   int specificity) {

  1646. 	if (resolvedStyles.size() > 0) {

  1647. 	    Enumeration values = resolvedStyles.elements();

  1648. 	    while (values.hasMoreElements()) {

  1649. 		ResolvedStyle style = (ResolvedStyle)values.nextElement();

  1650. 		if (style.matches(selectorName)) {

  1651. 		    style.insertStyle(newStyle, specificity);

  1652. 		}

  1653. 	    }

  1654. 	}

  1655.     }

  1656. 

  1657. 

  1658.     /**

  1659.      * A temporary class used to hold a Vector, a StringBuffer and a

  1660.      * Hashtable. This is used to avoid allocing a lot of garbage when

  1661.      * searching for rules. Use the static method obtainSearchBuffer and

  1662.      * releaseSearchBuffer to get a SearchBuffer, and release it when

  1663.      * done.

  1664.      */

  1665.     private static class SearchBuffer {

  1666. 	/** A stack containing instances of SearchBuffer. Used in getting

  1667. 	 * rules. */

  1668. 	static Stack searchBuffers = new Stack();

  1669. 	// A set of temporary variables that can be used in whatever way.

  1670.         Vector vector = null;

  1671.         StringBuffer stringBuffer = null;

  1672.         Hashtable hashtable = null;

  1673. 

  1674. 	/**

  1675. 	 * Returns an instance of SearchBuffer. Be sure and issue

  1676. 	 * a releaseSearchBuffer when done with it.

  1677. 	 */

  1678. 	static SearchBuffer obtainSearchBuffer() {

  1679. 	    SearchBuffer sb;

  1680. 	    try {

  1681. 		if(!searchBuffers.empty()) {

  1682. 		   sb = (SearchBuffer)searchBuffers.pop();

  1683. 		} else {

  1684. 		   sb = new SearchBuffer();

  1685. 		}

  1686. 	    } catch (EmptyStackException ese) {

  1687. 		sb = new SearchBuffer();

  1688. 	    }

  1689. 	    return sb;

  1690. 	}

  1691. 

  1692. 	/**

  1693. 	 * Adds <code>sb</code> to the stack of SearchBuffers that can

  1694. 	 * be used.

  1695. 	 */

  1696. 	static void releaseSearchBuffer(SearchBuffer sb) {

  1697. 	    sb.empty();

  1698. 	    searchBuffers.push(sb);

  1699. 	}

  1700. 

  1701. 	StringBuffer getStringBuffer() {

  1702. 	    if (stringBuffer == null) {

  1703. 		stringBuffer = new StringBuffer();

  1704. 	    }

  1705. 	    return stringBuffer;

  1706. 	}

  1707. 

  1708. 	Vector getVector() {

  1709. 	    if (vector == null) {

  1710. 		vector = new Vector();

  1711. 	    }

  1712. 	    return vector;

  1713. 	}

  1714. 

  1715. 	Hashtable getHashtable() {

  1716. 	    if (hashtable == null) {

  1717. 		hashtable = new Hashtable();

  1718. 	    }

  1719. 	    return hashtable;

  1720. 	}

  1721. 

  1722.         void empty() {

  1723. 	    if (stringBuffer != null) {

  1724. 		stringBuffer.setLength(0);

  1725. 	    }

  1726.             if (vector != null) {

  1727.                 vector.removeAllElements();

  1728.             }

  1729.             if (hashtable != null) {

  1730.                 hashtable.clear();

  1731.             }

  1732.         }

  1733.     }

  1734. 

  1735. 

  1736.     static final Border noBorder = new EmptyBorder(0,0,0,0);

  1737. 

  1738.     /**

  1739.      * Class to carry out some of the duties of

  1740.      * CSS formatting.  Implementations of this

  1741.      * class enable views to present the CSS formatting

  1742.      * while not knowing anything about how the CSS values

  1743.      * are being cached.

  1744.      * <p>

  1745.      * As a delegate of Views, this object is responsible for

  1746.      * the insets of a View and making sure the background

  1747.      * is maintained according to the CSS attributes.

  1748.      */

  1749.     public static class BoxPainter implements Serializable {

  1750. 

  1751. 	BoxPainter(AttributeSet a, CSS css, StyleSheet ss) {

  1752. 	    this.ss = ss;

  1753. 	    this.css = css;

  1754. 	    border = getBorder(a);

  1755. 	    binsets = border.getBorderInsets(null);

  1756. 	    topMargin = getLength(CSS.Attribute.MARGIN_TOP, a);

  1757. 	    bottomMargin = getLength(CSS.Attribute.MARGIN_BOTTOM, a);

  1758. 	    leftMargin = getLength(CSS.Attribute.MARGIN_LEFT, a);

  1759. 	    rightMargin = getLength(CSS.Attribute.MARGIN_RIGHT, a);

  1760. 	    bg = ss.getBackground(a);

  1761. 	    if (ss.getBackgroundImage(a) != null) {

  1762. 		bgPainter = new BackgroundImagePainter(a, css, ss);

  1763. 	    }

  1764. 	}

  1765. 

  1766. 	/**

  1767. 	 * Fetches a border to render for the given attributes.

  1768. 	 * PENDING(prinz) This is pretty badly hacked at the 

  1769. 	 * moment.

  1770. 	 */

  1771. 	Border getBorder(AttributeSet a) {

  1772. 	    Border b = noBorder;

  1773. 	    Object o = a.getAttribute(CSS.Attribute.BORDER_STYLE);

  1774. 	    if (o != null) {

  1775. 		String bstyle = o.toString();

  1776. 		int bw = (int) getLength(CSS.Attribute.BORDER_TOP_WIDTH, a);

  1777. 		if (bw > 0) {

  1778. 		    if (bstyle.equals("inset")) {

  1779. 			Color c = getBorderColor(a);

  1780. 			b = new BevelBorder(BevelBorder.LOWERED, c.brighter(), c.darker());

  1781. 		    } else if (bstyle.equals("outset")) {

  1782. 			Color c = getBorderColor(a);

  1783. 			b = new BevelBorder(BevelBorder.RAISED, c.brighter(), c.darker());

  1784. 		    } else if (bstyle.equals("solid")) {

  1785. 			Color c = getBorderColor(a);

  1786. 			b = new LineBorder(c);

  1787. 		    }

  1788. 		}

  1789. 	    }

  1790. 	    return b;

  1791. 	}

  1792. 

  1793. 	/**

  1794. 	 * Fetches the color to use for borders.  This will either be

  1795. 	 * the value specified by the border-color attribute (which

  1796. 	 * is not inherited), or it will default to the color attribute

  1797. 	 * (which is inherited).

  1798. 	 */

  1799. 	Color getBorderColor(AttributeSet a) {

  1800. 	    Color color = css.getColor(a, CSS.Attribute.BORDER_COLOR);

  1801. 	    if (color == null) {

  1802. 		color = css.getColor(a, CSS.Attribute.COLOR);

  1803. 		if (color == null) {

  1804. 		    return Color.black;

  1805. 		}

  1806. 	    }

  1807. 	    return color;

  1808. 	}

  1809. 

  1810. 	/**

  1811. 	 * Fetches the inset needed on a given side to

  1812. 	 * account for the margin, border, and padding.

  1813. 	 *

  1814. 	 * @param side The size of the box to fetch the

  1815. 	 *  inset for.  This can be View.TOP,

  1816. 	 *  View.LEFT, View.BOTTOM, or View.RIGHT.

  1817. 	 * @param v the view making the request.  This is

  1818. 	 *  used to get the AttributeSet, and may be used to

  1819. 	 *  resolve percentage arguments.

  1820. 	 * @exception IllegalArgumentException for an invalid direction

  1821. 	 */

  1822.         public float getInset(int side, View v) {

  1823. 	    AttributeSet a = v.getAttributes();

  1824. 	    float inset = 0;

  1825. 	    switch(side) {

  1826. 	    case View.LEFT:

  1827. 		inset += leftMargin;

  1828. 		inset += binsets.left;

  1829. 		inset += getLength(CSS.Attribute.PADDING_LEFT, a);

  1830. 		break;

  1831. 	    case View.RIGHT:

  1832. 		inset += rightMargin;

  1833. 		inset += binsets.right;

  1834. 		inset += getLength(CSS.Attribute.PADDING_RIGHT, a);

  1835. 		break;

  1836. 	    case View.TOP:

  1837. 		inset += topMargin;

  1838. 		inset += binsets.top;

  1839. 		inset += getLength(CSS.Attribute.PADDING_TOP, a);

  1840. 		break;

  1841. 	    case View.BOTTOM:

  1842. 		inset += bottomMargin;

  1843. 		inset += binsets.bottom;

  1844. 		inset += getLength(CSS.Attribute.PADDING_BOTTOM, a);

  1845. 		break;

  1846. 	    default:

  1847. 		throw new IllegalArgumentException("Invalid side: " + side);

  1848. 	    }

  1849. 	    return inset;

  1850. 	}

  1851. 

  1852. 	/**

  1853. 	 * Paints the CSS box according to the attributes

  1854. 	 * given.  This should paint the border, padding,

  1855. 	 * and background.

  1856. 	 *

  1857. 	 * @param g the rendering surface.

  1858. 	 * @param x the x coordinate of the allocated area to

  1859. 	 *  render into.

  1860. 	 * @param y the y coordinate of the allocated area to

  1861. 	 *  render into.

  1862. 	 * @param w the width of the allocated area to render into.

  1863. 	 * @param h the height of the allocated area to render into.

  1864. 	 * @param v the view making the request.  This is

  1865. 	 *  used to get the AttributeSet, and may be used to

  1866. 	 *  resolve percentage arguments.

  1867. 	 */

  1868.         public void paint(Graphics g, float x, float y, float w, float h, View v) {

  1869. 	    // PENDING(prinz) implement real rendering... which would

  1870. 	    // do full set of border and background capabilities.

  1871. 	    // remove margin

  1872. 

  1873.             float dx = 0;                                                 

  1874.             float dy = 0;                                                 

  1875.             float dw = 0;                                                 

  1876.             float dh = 0;                                                 

  1877.             if (!(v instanceof HTMLEditorKit.HTMLFactory.BodyBlockView)) {

  1878.                 dx = leftMargin;                                          

  1879.                 dy = topMargin;                                           

  1880.                 dw = -(leftMargin + rightMargin);                         

  1881.                 dh = -(topMargin + bottomMargin);                         

  1882.             }                                                             

  1883.             if (bg != null) {                                             

  1884.                 g.setColor(bg);                                           

  1885.                 g.fillRect((int) (x + dx),                                

  1886.                            (int) (y + dy),                                

  1887.                            (int) (w + dw),                                

  1888.                            (int) (h + dh));                               

  1889.             }                                                             

  1890.             if (bgPainter != null) {                                      

  1891.                 bgPainter.paint(g, x + dx, y + dy, w + dw, h + dh, v);    

  1892.             }                                                             

  1893. 	    x += leftMargin;

  1894. 	    y += topMargin;

  1895. 	    w -= leftMargin + rightMargin;

  1896. 	    h -= topMargin + bottomMargin;

  1897. 	    border.paintBorder(null, g, (int) x, (int) y, (int) w, (int) h);

  1898. 	}

  1899. 

  1900. 	float getLength(CSS.Attribute key, AttributeSet a) {

  1901. 	    return css.getLength(a, key, ss);

  1902. 	}

  1903. 

  1904. 	float topMargin;

  1905. 	float bottomMargin;

  1906. 	float leftMargin;

  1907. 	float rightMargin;

  1908. 	// Bitmask, used to indicate what margins are relative:

  1909. 	// bit 0 for top, 1 for bottom, 2 for left and 3 for right.

  1910. 	short marginFlags;

  1911. 	Border border;

  1912. 	Insets binsets;

  1913. 	CSS css;

  1914. 	StyleSheet ss;

  1915. 	Color bg;

  1916. 	BackgroundImagePainter bgPainter;

  1917.     }

  1918. 

  1919.     /**

  1920.      * Class to carry out some of the duties of CSS list

  1921.      * formatting.  Implementations of this

  1922.      * class enable views to present the CSS formatting

  1923.      * while not knowing anything about how the CSS values

  1924.      * are being cached.

  1925.      */

  1926.     public static class ListPainter implements Serializable {

  1927. 

  1928. 	ListPainter(AttributeSet attr, StyleSheet ss) {

  1929. 	    this.ss = ss;

  1930. 	    /* Get the image to use as a list bullet */

  1931. 	    String imgstr = (String)attr.getAttribute(CSS.Attribute.

  1932. 						      LIST_STYLE_IMAGE);

  1933. 	    type = null;

  1934. 	    if (imgstr != null && !imgstr.equals("none")) {

  1935. 		String tmpstr = null;

  1936. 		try {

  1937. 		    StringTokenizer st = new StringTokenizer(imgstr, "()");

  1938. 		    if (st.hasMoreTokens())

  1939. 			tmpstr = st.nextToken();

  1940. 		    if (st.hasMoreTokens())

  1941. 			tmpstr = st.nextToken();

  1942. 		    URL u = new URL(tmpstr);

  1943. 		    img = new ImageIcon(u);

  1944. 		} catch (MalformedURLException e) {

  1945. 		    if (tmpstr != null && ss != null && ss.getBase() != null) {

  1946. 			try {

  1947. 			    URL u = new URL(ss.getBase(), tmpstr);

  1948. 			    img = new ImageIcon(u);

  1949. 			} catch (MalformedURLException murle) {

  1950. 			    img = null;

  1951. 			}

  1952. 		    }

  1953. 		    else {

  1954. 			img = null;

  1955. 		    }

  1956. 		}

  1957. 	    }

  1958. 

  1959. 	    /* Get the type of bullet to use in the list */

  1960. 	    if (img == null) {

  1961. 		type = (CSS.Value)attr.getAttribute(CSS.Attribute.

  1962. 						    LIST_STYLE_TYPE);

  1963. 	    }

  1964.             start = 1;

  1965. 

  1966.             paintRect = new Rectangle();

  1967. 	}

  1968. 

  1969. 	/**

  1970. 	 * Returns a string that represents the value

  1971. 	 * of the HTML.Attribute.TYPE attribute.

  1972. 	 * If this attributes is not defined, then

  1973. 	 * then the type defaults to "disc" unless

  1974. 	 * the tag is on Ordered list.  In the case

  1975. 	 * of the latter, the default type is "decimal".

  1976. 	 */

  1977. 	private CSS.Value getChildType(View childView) {

  1978. 	    CSS.Value childtype = (CSS.Value)childView.getAttributes().

  1979.                                   getAttribute(CSS.Attribute.LIST_STYLE_TYPE);

  1980. 

  1981. 	    if (childtype == null) {

  1982. 		if (type == null) {

  1983.                     // Parent view.

  1984.                     View v = childView.getParent();

  1985. 		    HTMLDocument doc = (HTMLDocument)v.getDocument();

  1986. 		    if (doc.matchNameAttribute(v.getElement().getAttributes(),

  1987.                                                HTML.Tag.OL)) {

  1988. 			childtype = CSS.Value.DECIMAL;

  1989. 		    } else {

  1990. 			childtype = CSS.Value.DISC;

  1991. 		    }

  1992. 		} else {

  1993. 		    childtype = type;

  1994. 		}

  1995. 	    }

  1996. 	    return childtype;

  1997. 	}

  1998. 

  1999.         /**

  2000.          * Obtains the starting index from <code>parent</code>.

  2001.          */

  2002.         private void getStart(View parent) {

  2003.             checkedForStart = true;

  2004.             Element element = parent.getElement();

  2005.             if (element != null) {

  2006.                 AttributeSet attr = element.getAttributes();

  2007.                 Object startValue;

  2008.                 if (attr != null && attr.isDefined(HTML.Attribute.START) &&

  2009.                     (startValue = attr.getAttribute

  2010.                      (HTML.Attribute.START)) != null &&

  2011.                     (startValue instanceof String)) {

  2012. 

  2013.                     try {

  2014.                         start = Integer.parseInt((String)startValue);

  2015.                     }

  2016.                     catch (NumberFormatException nfe) {}

  2017.                 }

  2018.             }

  2019.         }

  2020. 

  2021.         /**

  2022.          * Returns an integer that should be used to render the child at

  2023.          * <code>childIndex</code> with. The retValue will usually be

  2024.          * <code>childIndex</code> + 1, unless <code>parentView</code>

  2025.          * has some Views that do not represent LI's, or one of the views

  2026.          * has a HTML.Attribute.START specified.

  2027.          */

  2028.         private int getRenderIndex(View parentView, int childIndex) {

  2029.             if (!checkedForStart) {

  2030.                 getStart(parentView);

  2031.             }

  2032.             int retIndex = childIndex;

  2033.             for (int counter = childIndex; counter >= 0; counter--) {

  2034.                 AttributeSet as = parentView.getElement().getElement(counter).

  2035.                                   getAttributes();

  2036.                 if (as.getAttribute(StyleConstants.NameAttribute) !=

  2037.                     HTML.Tag.LI) {

  2038.                     retIndex--;

  2039.                 } else if (as.isDefined(HTML.Attribute.VALUE)) {

  2040.                     Object value = as.getAttribute(HTML.Attribute.VALUE);

  2041.                     if (value != null &&

  2042.                         (value instanceof String)) {

  2043.                         try {

  2044.                             int iValue = Integer.parseInt((String)value);

  2045.                             return retIndex - counter + iValue;

  2046.                         }

  2047.                         catch (NumberFormatException nfe) {}

  2048.                     }

  2049.                 }

  2050.             }

  2051.             return retIndex + start;

  2052.         }

  2053. 

  2054. 	/**

  2055. 	 * Paints the CSS list decoration according to the

  2056. 	 * attributes given.

  2057. 	 *

  2058. 	 * @param g the rendering surface.

  2059. 	 * @param x the x coordinate of the list item allocation

  2060. 	 * @param y the y coordinate of the list item allocation

  2061. 	 * @param w the width of the list item allocation

  2062. 	 * @param h the height of the list item allocation

  2063. 	 * @param v the allocated area to paint into.

  2064. 	 * @param item which list item is being painted.  This

  2065. 	 *  is a number greater than or equal to 0.

  2066. 	 */

  2067.         public void paint(Graphics g, float x, float y, float w, float h, View v, int item) {

  2068. 	    View cv = v.getView(item);

  2069.             Object name = cv.getElement().getAttributes().getAttribute

  2070.                          (StyleConstants.NameAttribute);

  2071.             // Only draw something if the View is a list item. This won't

  2072.             // be the case for comments.

  2073.             if (!(name instanceof HTML.Tag) ||

  2074.                 name != HTML.Tag.LI) {

  2075.                 return;

  2076.             }

  2077. 	    // deside on what side draw bullets, etc.

  2078. 	    isLeftToRight = 

  2079. 		cv.getContainer().getComponentOrientation().isLeftToRight();

  2080. 

  2081.             // How the list indicator is aligned is not specified, it is

  2082.             // left up to the UA. IE and NS differ on this behavior.

  2083.             // This is closer to NS where we align to the first line of text.

  2084.             // If the child is not text we draw the indicator at the

  2085.             // origin (0).

  2086. 	    float align = 0;

  2087.             if (cv.getViewCount() > 0) {

  2088.                 View pView = cv.getView(0);

  2089.                 Object cName = pView.getElement().getAttributes().

  2090.                                getAttribute(StyleConstants.NameAttribute);

  2091.                 if ((cName == HTML.Tag.P || cName == HTML.Tag.IMPLIED) &&

  2092.                               pView.getViewCount() > 0) {

  2093.                     paintRect.setBounds((int)x, (int)y, (int)w, (int)h);

  2094.                     Shape shape = cv.getChildAllocation(0, paintRect);

  2095.                     if (shape != null && (shape = pView.getView(0).

  2096.                                  getChildAllocation(0, shape)) != null) {

  2097.                         Rectangle rect = (shape instanceof Rectangle) ?

  2098.                                          (Rectangle)shape : shape.getBounds();

  2099. 

  2100.                         align = pView.getView(0).getAlignment(View.Y_AXIS);

  2101.                         y = rect.y;

  2102.                         h = rect.height;

  2103.                     }

  2104.                 }

  2105.             }

  2106. 

  2107. 	    // set the color of a decoration

  2108. 	    if (ss != null) {

  2109. 		g.setColor(ss.getForeground(cv.getAttributes()));

  2110. 	    } else {

  2111. 		g.setColor(Color.black);

  2112. 	    }

  2113. 

  2114. 	    if (img != null) {

  2115.     		drawIcon(g, (int) x, (int) y, (int) w, (int) h, align,

  2116. 			 v.getContainer());

  2117. 		return;

  2118. 	    }

  2119. 	    CSS.Value childtype = getChildType(cv);

  2120. 	    Font font = ((StyledDocument)cv.getDocument()).

  2121. 		                         getFont(cv.getAttributes());

  2122. 	    if (font != null) {

  2123. 		g.setFont(font);

  2124. 	    }

  2125. 	    if (childtype == CSS.Value.SQUARE || childtype == CSS.Value.CIRCLE

  2126.                 || childtype == CSS.Value.DISC) {

  2127.     		drawShape(g, childtype, (int) x, (int) y, 

  2128. 			  (int) w, (int) h, align);

  2129. 	    } else if (childtype == CSS.Value.DECIMAL) {

  2130. 		drawLetter(g, '1', (int) x, (int) y, (int) w, (int) h, align,

  2131.                            getRenderIndex(v, item));

  2132. 	    } else if (childtype == CSS.Value.LOWER_ALPHA) {

  2133. 		drawLetter(g, 'a', (int) x, (int) y, (int) w, (int) h, align,

  2134.                            getRenderIndex(v, item));

  2135. 	    } else if (childtype == CSS.Value.UPPER_ALPHA) {

  2136. 		drawLetter(g, 'A', (int) x, (int) y, (int) w, (int) h, align,

  2137.                            getRenderIndex(v, item));

  2138. 	    } else if (childtype == CSS.Value.LOWER_ROMAN) {

  2139. 		drawLetter(g, 'i', (int) x, (int) y, (int) w, (int) h, align,

  2140.                            getRenderIndex(v, item));

  2141. 	    } else if (childtype == CSS.Value.UPPER_ROMAN) {

  2142. 		drawLetter(g, 'I', (int) x, (int) y, (int) w, (int) h, align,

  2143.                            getRenderIndex(v, item));

  2144. 	    }

  2145. 	}

  2146. 

  2147. 	/**

  2148. 	 * Draws the bullet icon specified by the list-style-image argument.

  2149. 	 *

  2150. 	 * @param g     the graphics context

  2151. 	 * @param ax    x coordinate to place the bullet

  2152. 	 * @param ay    y coordinate to place the bullet

  2153. 	 * @param aw    width of the container the bullet is placed in

  2154. 	 * @param ah    height of the container the bullet is placed in

  2155. 	 * @param align preferred alignment factor for the child view

  2156. 	 */

  2157. 	void drawIcon(Graphics g, int ax, int ay, int aw, int ah,

  2158. 		      float align, Component c) {

  2159.             // Align to bottom of icon.

  2160.             int gap = isLeftToRight ? - (img.getIconWidth() + bulletgap) : 

  2161. 		                        (aw + bulletgap);

  2162.             int x = ax + gap;

  2163.             int y = Math.max(ay, ay + (int)(align * ah) -img.getIconHeight());

  2164. 

  2165. 	    img.paintIcon(c, g, x, y);

  2166. 	}

  2167. 

  2168. 	/**

  2169. 	 * Draws the graphical bullet item specified by the type argument.

  2170. 	 *

  2171. 	 * @param g     the graphics context

  2172. 	 * @param type  type of bullet to draw (circle, square, disc)

  2173. 	 * @param ax    x coordinate to place the bullet

  2174. 	 * @param ay    y coordinate to place the bullet

  2175. 	 * @param aw    width of the container the bullet is placed in

  2176. 	 * @param ah    height of the container the bullet is placed in

  2177. 	 * @param align preferred alignment factor for the child view

  2178. 	 */

  2179. 	void drawShape(Graphics g, CSS.Value type, int ax, int ay, int aw, 

  2180. 		       int ah, float align) {

  2181.             // Align to bottom of shape.

  2182.             int gap = isLeftToRight ? - (bulletgap + 8) : (aw + bulletgap);

  2183.             int x = ax + gap;

  2184.             int y = Math.max(ay, ay + (int)(align * ah) - 8);

  2185. 

  2186. 	    if (type == CSS.Value.SQUARE) {

  2187. 		g.drawRect(x, y, 8, 8);

  2188. 	    } else if (type == CSS.Value.CIRCLE) {

  2189. 		g.drawOval(x, y, 8, 8);

  2190. 	    } else {

  2191. 		g.fillOval(x, y, 8, 8);

  2192. 	    }

  2193. 	}

  2194. 

  2195. 	/**

  2196. 	 * Draws the letter or number for an ordered list.

  2197. 	 *

  2198. 	 * @param g     the graphics context

  2199. 	 * @param letter type of ordered list to draw

  2200. 	 * @param ax    x coordinate to place the bullet

  2201. 	 * @param ay    y coordinate to place the bullet

  2202. 	 * @param aw    width of the container the bullet is placed in

  2203. 	 * @param ah    height of the container the bullet is placed in

  2204. 	 * @param index position of the list item in the list

  2205. 	 */

  2206. 	void drawLetter(Graphics g, char letter, int ax, int ay, int aw, 

  2207. 			int ah, float align, int index) {

  2208. 	    String str = formatItemNum(index, letter);

  2209.             str = isLeftToRight ? str + "." : "." + str;

  2210. 	    FontMetrics fm = SwingUtilities2.getFontMetrics(null, g);

  2211. 	    int stringwidth = SwingUtilities2.stringWidth(null, fm, str);

  2212.             int gap = isLeftToRight ? - (stringwidth + bulletgap) : 

  2213. 		                        (aw + bulletgap);

  2214.             int x = ax + gap;

  2215. 	    int y = Math.max(ay + fm.getAscent(), ay + (int)(ah * align));

  2216. 	    SwingUtilities2.drawString(null, g, str, x, y);

  2217. 	}

  2218. 

  2219. 	/**

  2220. 	 * Converts the item number into the ordered list number

  2221. 	 * (i.e.  1 2 3, i ii iii, a b c, etc.

  2222. 	 *

  2223. 	 * @param itemNum number to format

  2224. 	 * @param type    type of ordered list

  2225. 	 */

  2226. 	String formatItemNum(int itemNum, char type) {

  2227. 	    String numStyle = "1";

  2228. 

  2229. 	    boolean uppercase = false;

  2230. 

  2231. 	    String formattedNum;

  2232. 

  2233. 	    switch (type) {

  2234. 	    case '1':

  2235. 	    default:

  2236. 		formattedNum = String.valueOf(itemNum);

  2237. 		break;

  2238. 

  2239. 	    case 'A':

  2240. 		uppercase = true;

  2241. 		// fall through

  2242. 	    case 'a':

  2243. 		formattedNum = formatAlphaNumerals(itemNum);

  2244. 		break;

  2245. 

  2246. 	    case 'I':

  2247. 		uppercase = true;

  2248. 		// fall through

  2249. 	    case 'i':

  2250. 		formattedNum = formatRomanNumerals(itemNum);

  2251. 	    }

  2252. 

  2253. 	    if (uppercase) {

  2254. 		formattedNum = formattedNum.toUpperCase();

  2255. 	    }

  2256. 

  2257. 	    return formattedNum;

  2258. 	}

  2259. 

  2260. 	/**

  2261. 	 * Converts the item number into an alphabetic character

  2262. 	 *

  2263. 	 * @param itemNum number to format

  2264. 	 */

  2265. 	String formatAlphaNumerals(int itemNum) {

  2266. 	    String result = "";

  2267. 

  2268. 	    if (itemNum > 26) {

  2269. 		result = formatAlphaNumerals(itemNum / 26) +

  2270. 		    formatAlphaNumerals(itemNum % 26);

  2271. 	    } else {

  2272. 		// -1 because item is 1 based.

  2273. 		result = String.valueOf((char)('a' + itemNum - 1));

  2274. 	    }

  2275. 

  2276. 	    return result;

  2277. 	}

  2278. 

  2279. 	/* list of roman numerals */

  2280. 	static final char romanChars[][] = {

  2281. 	    {'i', 'v'},

  2282. 	    {'x', 'l' },

  2283. 	    {'c', 'd' },

  2284. 	    {'m', '?' },

  2285.         };

  2286. 

  2287. 	/**

  2288. 	 * Converts the item number into a roman numeral

  2289. 	 *

  2290. 	 * @param num  number to format

  2291. 	 */

  2292. 	String formatRomanNumerals(int num) {

  2293. 	    return formatRomanNumerals(0, num);

  2294. 	}

  2295. 

  2296. 	/**

  2297. 	 * Converts the item number into a roman numeral

  2298. 	 *

  2299. 	 * @param num  number to format

  2300. 	 */

  2301. 	String formatRomanNumerals(int level, int num) {

  2302. 	    if (num < 10) {

  2303. 		return formatRomanDigit(level, num);

  2304. 	    } else {

  2305. 		return formatRomanNumerals(level + 1, num / 10) +

  2306. 		    formatRomanDigit(level, num % 10);

  2307. 	    }

  2308. 	}

  2309. 

  2310. 

  2311. 	/**

  2312. 	 * Converts the item number into a roman numeral

  2313. 	 *

  2314. 	 * @param level position

  2315. 	 * @param num   digit to format

  2316. 	 */

  2317. 	String formatRomanDigit(int level, int digit) {

  2318. 	    String result = "";

  2319. 	    if (digit == 9) {

  2320. 		result = result + romanChars[level][0];

  2321. 		result = result + romanChars[level + 1][0];

  2322. 		return result;

  2323. 	    } else if (digit == 4) {

  2324. 		result = result + romanChars[level][0];

  2325. 		result = result + romanChars[level][1];

  2326. 		return result;

  2327. 	    } else if (digit >= 5) {

  2328. 		result = result + romanChars[level][1];

  2329. 		digit -= 5;

  2330. 	    }

  2331. 

  2332. 	    for (int i = 0; i < digit; i++) {

  2333. 		result = result + romanChars[level][0];

  2334. 	    }

  2335. 

  2336. 	    return result;

  2337. 	}

  2338. 

  2339.         private Rectangle paintRect;

  2340.         private boolean checkedForStart;

  2341.         private int start;

  2342.         private CSS.Value type;

  2343.         URL imageurl;

  2344.         private StyleSheet ss = null;

  2345.         Icon img = null;

  2346.         private int bulletgap = 5;

  2347. 	private boolean isLeftToRight;

  2348.     }

  2349. 

  2350. 

  2351.     /**

  2352.      * Paints the background image.

  2353.      */

  2354.     static class BackgroundImagePainter implements Serializable {

  2355. 	ImageIcon   backgroundImage;

  2356. 	float       hPosition;

  2357. 	float       vPosition;

  2358. 	// bit mask: 0 for repeat x, 1 for repeat y, 2 for horiz relative,

  2359. 	// 3 for vert relative

  2360. 	short       flags;

  2361. 	// These are used when painting, updatePaintCoordinates updates them.

  2362. 	private int paintX;

  2363. 	private int paintY;

  2364. 	private int paintMaxX;

  2365. 	private int paintMaxY;

  2366. 

  2367. 	BackgroundImagePainter(AttributeSet a, CSS css, StyleSheet ss) {

  2368. 	    backgroundImage = ss.getBackgroundImage(a);

  2369. 	    // Determine the position.

  2370. 	    CSS.BackgroundPosition pos = (CSS.BackgroundPosition)a.getAttribute

  2371. 		                           (CSS.Attribute.BACKGROUND_POSITION);

  2372. 	    if (pos != null) {

  2373. 		hPosition = pos.getHorizontalPosition();

  2374. 		vPosition = pos.getVerticalPosition();

  2375. 		if (pos.isHorizontalPositionRelativeToSize()) {

  2376. 		    flags |= 4;

  2377. 		}

  2378. 		else if (pos.isHorizontalPositionRelativeToSize()) {

  2379. 		    hPosition *= css.getFontSize(a, 12, ss);

  2380. 		}

  2381. 		if (pos.isVerticalPositionRelativeToSize()) {

  2382. 		    flags |= 8;

  2383. 		}

  2384. 		else if (pos.isVerticalPositionRelativeToFontSize()) {

  2385. 		    vPosition *= css.getFontSize(a, 12, ss);

  2386. 		}

  2387. 	    }

  2388. 	    // Determine any repeating values.

  2389. 	    CSS.Value repeats = (CSS.Value)a.getAttribute(CSS.Attribute.

  2390. 							  BACKGROUND_REPEAT);

  2391. 	    if (repeats == null || repeats == CSS.Value.BACKGROUND_REPEAT) {

  2392. 		flags |= 3;

  2393. 	    }

  2394. 	    else if (repeats == CSS.Value.BACKGROUND_REPEAT_X) {

  2395. 		flags |= 1;

  2396. 	    }

  2397. 	    else if (repeats == CSS.Value.BACKGROUND_REPEAT_Y) {

  2398. 		flags |= 2;

  2399. 	    }

  2400. 	}

  2401. 

  2402.         void paint(Graphics g, float x, float y, float w, float h, View v) {

  2403. 	    Rectangle clip = g.getClipRect();

  2404. 	    if (clip != null) {

  2405. 		// Constrain the clip so that images don't draw outside the

  2406. 		// legal bounds.

  2407. 		g.clipRect((int)x, (int)y, (int)w, (int)h);

  2408. 	    }

  2409. 	    if ((flags & 3) == 0) {

  2410. 		// no repeating

  2411. 		int width = backgroundImage.getIconWidth();

  2412. 		int height = backgroundImage.getIconWidth();

  2413. 		if ((flags & 4) == 4) {

  2414. 		    paintX = (int)(x + w * hPosition -

  2415. 				  (float)width * hPosition);

  2416. 		}

  2417. 		else {

  2418. 		    paintX = (int)x + (int)hPosition;

  2419. 		}

  2420. 		if ((flags & 8) == 8) {

  2421. 		    paintY = (int)(y + h * vPosition -

  2422. 				  (float)height * vPosition);

  2423. 		}

  2424. 		else {

  2425. 		    paintY = (int)y + (int)vPosition;

  2426. 		}

  2427. 		if (clip == null ||

  2428. 		    !((paintX + width <= clip.x) ||

  2429. 		      (paintY + height <= clip.y) ||

  2430. 		      (paintX >= clip.x + clip.width) ||

  2431. 		      (paintY >= clip.y + clip.height))) {

  2432. 		    backgroundImage.paintIcon(null, g, paintX, paintY);

  2433. 		}

  2434. 	    }

  2435. 	    else {

  2436. 		int width = backgroundImage.getIconWidth();

  2437. 		int height = backgroundImage.getIconHeight();

  2438. 		if (width > 0 && height > 0) {

  2439. 		    paintX = (int)x;

  2440. 		    paintY = (int)y;

  2441. 		    paintMaxX = (int)(x + w);

  2442. 		    paintMaxY = (int)(y + h);

  2443. 		    if (updatePaintCoordinates(clip, width, height)) {

  2444. 			while (paintX < paintMaxX) {

  2445. 			    int ySpot = paintY;

  2446. 			    while (ySpot < paintMaxY) {

  2447. 				backgroundImage.paintIcon(null, g, paintX,

  2448. 							  ySpot);

  2449. 				ySpot += height;

  2450. 			    }

  2451. 			    paintX += width;

  2452. 			}

  2453. 		    }

  2454. 		}

  2455. 	    }

  2456. 	    if (clip != null) {

  2457. 		// Reset clip.

  2458. 		g.setClip(clip.x, clip.y, clip.width, clip.height);

  2459. 	    }

  2460. 	}

  2461. 

  2462. 	private boolean updatePaintCoordinates

  2463. 	         (Rectangle clip, int width, int height){

  2464. 	    if ((flags & 3) == 1) {

  2465. 		paintMaxY = paintY + 1;

  2466. 	    }

  2467. 	    else if ((flags & 3) == 2) {

  2468. 		paintMaxX = paintX + 1;

  2469. 	    }

  2470. 	    if (clip != null) {

  2471. 		if ((flags & 3) == 1 && ((paintY + height <= clip.y) ||

  2472. 					 (paintY > clip.y + clip.height))) {

  2473. 		    // not visible.

  2474. 		    return false;

  2475. 		}

  2476. 		if ((flags & 3) == 2 && ((paintX + width <= clip.x) ||

  2477. 					 (paintX > clip.x + clip.width))) {

  2478. 		    // not visible.

  2479. 		    return false;

  2480. 		}

  2481. 		if ((flags & 1) == 1) {

  2482. 		    if ((clip.x + clip.width) < paintMaxX) {

  2483. 			if ((clip.x + clip.width - paintX) % width == 0) {

  2484. 			    paintMaxX = clip.x + clip.width;

  2485. 			}

  2486. 			else {

  2487. 			    paintMaxX = ((clip.x + clip.width - paintX) /

  2488. 					 width + 1) * width + paintX;

  2489. 			}

  2490. 		    }

  2491. 		    if (clip.x > paintX) {

  2492. 			paintX = (clip.x - paintX) / width * width + paintX;

  2493. 		    }

  2494. 		}

  2495. 		if ((flags & 2) == 2) {

  2496. 		    if ((clip.y + clip.height) < paintMaxY) {

  2497. 			if ((clip.y + clip.height - paintY) % height == 0) {

  2498. 			    paintMaxY = clip.y + clip.height;

  2499. 			}

  2500. 			else {

  2501. 			    paintMaxY = ((clip.y + clip.height - paintY) /

  2502. 					 height + 1) * height + paintY;

  2503. 			}

  2504. 		    }

  2505. 		    if (clip.y > paintY) {

  2506. 			paintY = (clip.y - paintY) / height * height + paintY;

  2507. 		    }

  2508. 		}

  2509. 	    }

  2510. 	    // Valid

  2511. 	    return true;

  2512. 	}

  2513.     }

  2514. 

  2515. 

  2516.     /**

  2517.      * A subclass of MuxingAttributeSet that translates between

  2518.      * CSS and HTML and StyleConstants. The AttributeSets used are

  2519.      * the CSS rules that match the Views Elements.

  2520.      */

  2521.     class ViewAttributeSet extends MuxingAttributeSet {

  2522. 	ViewAttributeSet(View v) {

  2523. 	    host = v;

  2524. 

  2525. 	    // PENDING(prinz) fix this up to be a more realistic

  2526. 	    // implementation.

  2527. 	    Document doc = v.getDocument();

  2528. 	    SearchBuffer sb = SearchBuffer.obtainSearchBuffer();

  2529. 	    Vector muxList = sb.getVector();

  2530. 	    try {

  2531. 		if (doc instanceof HTMLDocument) {

  2532. 		    StyleSheet styles = StyleSheet.this;

  2533. 		    Element elem = v.getElement();

  2534. 		    AttributeSet a = elem.getAttributes();

  2535. 		    AttributeSet htmlAttr = styles.translateHTMLToCSS(a);

  2536. 

  2537. 		    if (htmlAttr.getAttributeCount() != 0) {

  2538. 			muxList.addElement(htmlAttr);

  2539. 		    }

  2540. 		    if (elem.isLeaf()) {

  2541. 			Enumeration keys = a.getAttributeNames();

  2542. 			while (keys.hasMoreElements()) {

  2543. 			    Object key = keys.nextElement();

  2544. 			    if (key instanceof HTML.Tag) {

  2545. 				if ((HTML.Tag)key  == HTML.Tag.A) {

  2546. 				    Object o = a.getAttribute((HTML.Tag)key);

  2547. 				/**

  2548. 				   In the case of an A tag, the css rules

  2549. 				   apply only for tags that have their

  2550. 				   href attribute defined and not for

  2551. 				   anchors that only have their name attributes

  2552. 				   defined, i.e anchors that function as

  2553. 				   destinations.  Hence we do not add the

  2554. 				   attributes for that latter kind of 

  2555. 				   anchors.  When CSS2 support is added,

  2556. 				   it will be possible to specificity this

  2557. 				   kind of conditional behaviour in the 

  2558. 				   stylesheet.

  2559. 				 **/

  2560. 				    if (o != null && o instanceof AttributeSet) {

  2561. 					AttributeSet attr = (AttributeSet)o;

  2562. 					if (attr.getAttribute(HTML.Attribute.HREF) == null) {

  2563. 					    continue;

  2564. 					}

  2565. 				    }

  2566. 				}

  2567. 				AttributeSet cssRule = styles.getRule((HTML.Tag) key, elem);

  2568. 				if (cssRule != null) {

  2569. 				    muxList.addElement(cssRule);

  2570. 				}

  2571. 			    }

  2572. 			}

  2573. 		    } else {

  2574. 			HTML.Tag t = (HTML.Tag) a.getAttribute

  2575. 			             (StyleConstants.NameAttribute);

  2576. 			AttributeSet cssRule = styles.getRule(t, elem);

  2577. 			if (cssRule != null) {

  2578. 			    muxList.addElement(cssRule);

  2579. 			}

  2580. 		    }

  2581. 		}

  2582. 		AttributeSet[] attrs = new AttributeSet[muxList.size()];

  2583. 		muxList.copyInto(attrs);

  2584.                 setAttributes(attrs);

  2585. 	    }

  2586. 	    finally {

  2587. 		SearchBuffer.releaseSearchBuffer(sb);

  2588. 	    }

  2589. 	}

  2590. 

  2591. 	//  --- AttributeSet methods ----------------------------

  2592. 

  2593. 	/**

  2594. 	 * Checks whether a given attribute is defined.

  2595. 	 * This will convert the key over to CSS if the

  2596. 	 * key is a StyleConstants key that has a CSS

  2597. 	 * mapping.

  2598. 	 *

  2599. 	 * @param key the attribute key

  2600. 	 * @return true if the attribute is defined

  2601. 	 * @see AttributeSet#isDefined

  2602. 	 */

  2603.         public boolean isDefined(Object key) {

  2604. 	    if (key instanceof StyleConstants) {

  2605. 		Object cssKey = css.styleConstantsKeyToCSSKey

  2606. 		                    ((StyleConstants)key);

  2607. 		if (cssKey != null) {

  2608. 		    key = cssKey;

  2609. 		}

  2610. 	    }

  2611. 	    return super.isDefined(key);

  2612. 	}

  2613. 

  2614. 	/**

  2615. 	 * Gets the value of an attribute.  If the requested

  2616. 	 * attribute is a StyleConstants attribute that has

  2617. 	 * a CSS mapping, the request will be converted.

  2618. 	 *

  2619. 	 * @param key the attribute name

  2620. 	 * @return the attribute value

  2621. 	 * @see AttributeSet#getAttribute

  2622. 	 */

  2623.         public Object getAttribute(Object key) {

  2624. 	    if (key instanceof StyleConstants) {

  2625. 		Object cssKey = css.styleConstantsKeyToCSSKey

  2626. 		               ((StyleConstants)key);

  2627. 		if (cssKey != null) {

  2628. 		    Object value = doGetAttribute(cssKey);

  2629. 		    if (value instanceof CSS.CssValue) {

  2630. 			return ((CSS.CssValue)value).toStyleConstants

  2631. 			             ((StyleConstants)key, host);

  2632. 		    }

  2633. 		}

  2634. 	    }

  2635. 	    return doGetAttribute(key);

  2636. 	}

  2637. 

  2638.         Object doGetAttribute(Object key) {

  2639. 	    Object retValue = super.getAttribute(key);

  2640. 	    if (retValue != null) {

  2641. 		return retValue;

  2642. 	    }

  2643. 	    // didn't find it... try parent if it's a css attribute

  2644. 	    // that is inherited.

  2645. 	    if (key instanceof CSS.Attribute) {

  2646. 		CSS.Attribute css = (CSS.Attribute) key;

  2647. 		if (css.isInherited()) {

  2648. 		    AttributeSet parent = getResolveParent();

  2649. 		    if (parent != null)

  2650. 			return parent.getAttribute(key);

  2651. 		}

  2652. 	    }

  2653. 	    return null;

  2654. 	}

  2655. 

  2656. 	/**

  2657. 	 * If not overriden, the resolving parent defaults to

  2658. 	 * the parent element.

  2659. 	 *

  2660. 	 * @return the attributes from the parent

  2661. 	 * @see AttributeSet#getResolveParent

  2662. 	 */

  2663.         public AttributeSet getResolveParent() {

  2664. 	    if (host == null) {

  2665. 		return null;

  2666. 	    }

  2667. 	    View parent = host.getParent();

  2668. 	    return (parent != null) ? parent.getAttributes() : null;

  2669. 	}

  2670. 

  2671. 	/** View created for. */

  2672. 	View host;

  2673.     }

  2674. 

  2675. 

  2676.     /**

  2677.      * A subclass of MuxingAttributeSet that implements Style. Currently

  2678.      * the MutableAttributeSet methods are unimplemented, that is they

  2679.      * do nothing.

  2680.      */

  2681.     // PENDING(sky): Decide what to do with this. Either make it

  2682.     // contain a SimpleAttributeSet that modify methods are delegated to,

  2683.     // or change getRule to return an AttributeSet and then don't make this

  2684.     // implement Style.

  2685.     static class ResolvedStyle extends MuxingAttributeSet implements

  2686.                   Serializable, Style {

  2687. 	ResolvedStyle(String name, AttributeSet[] attrs, int extendedIndex) {

  2688. 	    super(attrs);

  2689. 	    this.name = name;

  2690. 	    this.extendedIndex = extendedIndex;

  2691. 	}

  2692. 

  2693.         /**

  2694.          * Inserts a Style into the receiver so that the styles the

  2695.          * receiver represents are still ordered by specificity.

  2696. 	 * <code>style</code> will be added before any extended styles, that

  2697. 	 * is before extendedIndex.

  2698.          */

  2699.         synchronized void insertStyle(Style style, int specificity) {

  2700.             AttributeSet[] attrs = getAttributes();

  2701.             int maxCounter = attrs.length;

  2702. 	    int counter = 0;

  2703.             for (;counter < extendedIndex; counter++) {

  2704. 		if (specificity > getSpecificity(((Style)attrs[counter]).

  2705. 						 getName())) {

  2706. 		    break;

  2707.                 }

  2708.             }

  2709. 	    insertAttributeSetAt(style, counter);

  2710. 	    extendedIndex++;

  2711. 	}

  2712. 

  2713. 	/**

  2714. 	 * Removes a previously added style. This will do nothing if

  2715. 	 * <code>style</code> is not referenced by the receiver.

  2716. 	 */

  2717. 	synchronized void removeStyle(Style style) {

  2718.             AttributeSet[] attrs = getAttributes();

  2719. 

  2720. 	    for (int counter = attrs.length - 1; counter >= 0; counter--) {

  2721. 		if (attrs[counter] == style) {

  2722. 		    removeAttributeSetAt(counter);

  2723. 		    if (counter < extendedIndex) {

  2724. 			extendedIndex--;

  2725. 		    }

  2726. 		    break;

  2727. 		}

  2728. 	    }

  2729. 	}

  2730. 

  2731. 	/**

  2732. 	 * Adds <code>s</code> as one of the Attributesets to look up

  2733. 	 * attributes in.

  2734. 	 */

  2735. 	synchronized void insertExtendedStyleAt(Style attr, int index) {

  2736. 	    insertAttributeSetAt(attr, extendedIndex + index);

  2737. 	}

  2738. 

  2739. 	/**

  2740. 	 * Adds <code>s</code> as one of the AttributeSets to look up

  2741. 	 * attributes in. It will be the AttributeSet last checked.

  2742. 	 */

  2743. 	synchronized void addExtendedStyle(Style attr) {

  2744. 	    insertAttributeSetAt(attr, getAttributes().length);

  2745. 	}

  2746. 

  2747. 	/**

  2748. 	 * Removes the style at <code>index</code> +

  2749. 	 * <code>extendedIndex</code>.

  2750. 	 */

  2751. 	synchronized void removeExtendedStyleAt(int index) {

  2752. 	    removeAttributeSetAt(extendedIndex + index);

  2753. 	}

  2754. 

  2755.         /**

  2756.          * Returns true if the receiver matches <code>selector</code>, where

  2757.          * a match is defined by the CSS rule matching.

  2758. 	 * Each simple selector must be separated by a single space.

  2759.          */

  2760.         protected boolean matches(String selector) {

  2761.             int sLast = selector.length();

  2762. 

  2763.             if (sLast == 0) {

  2764.                 return false;

  2765.             }

  2766.             int thisLast = name.length();

  2767.             int sCurrent = selector.lastIndexOf(' ');

  2768.             int thisCurrent = name.lastIndexOf(' ');

  2769. 	    if (sCurrent >= 0) {

  2770. 		sCurrent++;

  2771. 	    }

  2772. 	    if (thisCurrent >= 0) {

  2773. 		thisCurrent++;

  2774. 	    }

  2775.             if (!matches(selector, sCurrent, sLast, thisCurrent, thisLast)) {

  2776.                 return false;

  2777.             }

  2778.             while (sCurrent != -1) {

  2779.                 sLast = sCurrent - 1;

  2780.                 sCurrent = selector.lastIndexOf(' ', sLast - 1);

  2781. 		if (sCurrent >= 0) {

  2782. 		    sCurrent++;

  2783. 		}

  2784.                 boolean match = false;

  2785.                 while (!match && thisCurrent != -1) {

  2786.                     thisLast = thisCurrent - 1;

  2787.                     thisCurrent = name.lastIndexOf(' ', thisLast - 1);

  2788. 		    if (thisCurrent >= 0) {

  2789. 			thisCurrent++;

  2790. 		    }

  2791.                     match = matches(selector, sCurrent, sLast, thisCurrent,

  2792. 				    thisLast);

  2793.                 }

  2794.                 if (!match) {

  2795.                     return false;

  2796.                 }

  2797.             }

  2798.             return true;

  2799.         }

  2800. 

  2801.         /**

  2802.          * Returns true if the substring of the receiver, in the range

  2803.          * thisCurrent, thisLast matches the substring of selector in

  2804.          * the ranme sCurrent to sLast based on CSS selector matching.

  2805.          */

  2806.         boolean matches(String selector, int sCurrent, int sLast,

  2807.                        int thisCurrent, int thisLast) {

  2808.             sCurrent = Math.max(sCurrent, 0);

  2809.             thisCurrent = Math.max(thisCurrent, 0);

  2810.             int thisDotIndex = boundedIndexOf(name, '.', thisCurrent,

  2811. 					      thisLast);

  2812.             int thisPoundIndex = boundedIndexOf(name, '#', thisCurrent,

  2813. 						thisLast);

  2814.             int sDotIndex = boundedIndexOf(selector, '.', sCurrent, sLast);

  2815.             int sPoundIndex = boundedIndexOf(selector, '#', sCurrent, sLast);

  2816.             if (sDotIndex != -1) {

  2817.                 // Selector has a '.', which indicates name must match it,

  2818.                 // or if the '.' starts the selector than name must have

  2819.                 // the same class (doesn't matter what element name).

  2820.                 if (thisDotIndex == -1) {

  2821.                     return false;

  2822.                 }

  2823.                 if (sCurrent == sDotIndex) {

  2824.                     if ((thisLast - thisDotIndex) != (sLast - sDotIndex) || 

  2825.                         !selector.regionMatches(sCurrent, name, thisDotIndex,

  2826.                                                 (thisLast - thisDotIndex))) {

  2827.                         return false;

  2828.                     }

  2829.                 }

  2830.                 else {

  2831.                     // Has to fully match.

  2832.                     if ((sLast - sCurrent) != (thisLast - thisCurrent) ||

  2833.                         !selector.regionMatches(sCurrent, name, thisCurrent,

  2834.                                                 (thisLast - thisCurrent))) {

  2835.                         return false;

  2836.                     }

  2837.                 }

  2838.                 return true;

  2839.             }

  2840.             if (sPoundIndex != -1) {

  2841.                 // Selector has a '#', which indicates name must match it,

  2842.                 // or if the '#' starts the selector than name must have

  2843.                 // the same id (doesn't matter what element name).

  2844.                 if (thisPoundIndex == -1) {

  2845.                     return false;

  2846.                 }

  2847.                 if (sCurrent == sPoundIndex) {

  2848.                     if ((thisLast - thisPoundIndex) !=(sLast - sPoundIndex) || 

  2849.                         !selector.regionMatches(sCurrent, name, thisPoundIndex,

  2850.                                                 (thisLast - thisPoundIndex))) {

  2851.                         return false;

  2852.                     }

  2853.                 }

  2854.                 else {

  2855.                     // Has to fully match.

  2856.                     if ((sLast - sCurrent) != (thisLast - thisCurrent) ||

  2857.                         !selector.regionMatches(sCurrent, name, thisCurrent,

  2858.                                                (thisLast - thisCurrent))) {

  2859.                         return false;

  2860.                     }

  2861.                 }

  2862.                 return true;

  2863.             }

  2864.             if (thisDotIndex != -1) {

  2865.                 // Reciever references a class, just check element name.

  2866.                 return (((thisDotIndex - thisCurrent) == (sLast - sCurrent)) &&

  2867.                         selector.regionMatches(sCurrent, name, thisCurrent,

  2868.                                                thisDotIndex - thisCurrent));

  2869.             }

  2870.             if (thisPoundIndex != -1) {

  2871.                 // Reciever references an id, just check element name.

  2872.                 return (((thisPoundIndex - thisCurrent) ==(sLast - sCurrent))&&

  2873.                         selector.regionMatches(sCurrent, name, thisCurrent,

  2874.                                                thisPoundIndex - thisCurrent));

  2875.             }

  2876.             // Fail through, no classes or ides, just check string.

  2877.             return (((thisLast - thisCurrent) == (sLast - sCurrent)) &&

  2878.                     selector.regionMatches(sCurrent, name, thisCurrent,

  2879.                                            thisLast - thisCurrent));

  2880.         }

  2881. 

  2882.         /**

  2883.          * Similiar to String.indexOf, but allows an upper bound

  2884.          * (this is slower in that it will still check string starting at

  2885.          * start.

  2886.          */

  2887.         int boundedIndexOf(String string, char search, int start,

  2888.                            int end) {

  2889.             int retValue = string.indexOf(search, start);

  2890.             if (retValue >= end) {

  2891.                 return -1;

  2892.             }

  2893.             return retValue;

  2894.         }

  2895. 

  2896. 	public void addAttribute(Object name, Object value) {}

  2897. 	public void addAttributes(AttributeSet attributes) {}

  2898. 	public void removeAttribute(Object name) {}

  2899. 	public void removeAttributes(Enumeration<?> names) {}

  2900. 	public void removeAttributes(AttributeSet attributes) {}

  2901. 	public void setResolveParent(AttributeSet parent) {}

  2902. 	public String getName() {return name;}

  2903. 	public void addChangeListener(ChangeListener l) {}

  2904. 	public void removeChangeListener(ChangeListener l) {}

  2905.         public ChangeListener[] getChangeListeners() {

  2906.             return new ChangeListener[0];

  2907.         }

  2908. 

  2909. 	/** The name of the Style, which is the selector.

  2910. 	 * This will NEVER change!

  2911. 	 */

  2912. 	String name;

  2913. 	/** Start index of styles coming from other StyleSheets. */

  2914. 	private int extendedIndex;

  2915.     }

  2916. 

  2917. 

  2918.     /**

  2919.      * SelectorMapping contains a specifitiy, as an integer, and an associated

  2920.      * Style. It can also reference children <code>SelectorMapping</code>s,

  2921.      * so that it behaves like a tree.

  2922.      * <p>

  2923.      * This is not thread safe, it is assumed the caller will take the

  2924.      * necessary precations if this is to be used in a threaded environment.

  2925.      */

  2926.     static class SelectorMapping implements Serializable {

  2927.         public SelectorMapping(int specificity) {

  2928.             this.specificity = specificity;

  2929.         }

  2930. 

  2931.         /**

  2932.          * Returns the specificity this mapping represents.

  2933.          */

  2934.         public int getSpecificity() {

  2935.             return specificity;

  2936.         }

  2937. 

  2938.         /**

  2939.          * Sets the Style associated with this mapping.

  2940.          */

  2941.         public void setStyle(Style style) {

  2942.             this.style = style;

  2943.         }

  2944. 

  2945.         /**

  2946.          * Returns the Style associated with this mapping.

  2947.          */

  2948.         public Style getStyle() {

  2949.             return style;

  2950.         }

  2951. 

  2952.         /**

  2953.          * Returns the child mapping identified by the simple selector

  2954.          * <code>selector</code>. If a child mapping does not exist for

  2955.          *<code>selector</code>, and <code>create</code> is true, a new

  2956.          * one will be created.

  2957.          */

  2958.         public SelectorMapping getChildSelectorMapping(String selector,

  2959.                                                        boolean create) {

  2960.             SelectorMapping retValue = null;

  2961. 

  2962.             if (children != null) {

  2963.                 retValue = (SelectorMapping)children.get(selector);

  2964.             }

  2965.             else if (create) {

  2966.                 children = new HashMap(7);

  2967.             }

  2968.             if (retValue == null && create) {

  2969.                 int specificity = getChildSpecificity(selector);

  2970. 

  2971.                 retValue = createChildSelectorMapping(specificity);

  2972.                 children.put(selector, retValue);

  2973.             }

  2974.             return retValue;

  2975.         }

  2976. 

  2977.         /**

  2978.          * Creates a child <code>SelectorMapping</code> with the specified

  2979.          * <code>specificity</code>.

  2980.          */

  2981.         protected SelectorMapping createChildSelectorMapping(int specificity) {

  2982.             return new SelectorMapping(specificity);

  2983.         }

  2984. 

  2985.         /**

  2986.          * Returns the specificity for the child selector

  2987.          * <code>selector</code>.

  2988.          */

  2989.         protected int getChildSpecificity(String selector) {

  2990. 	    // class (.) 100

  2991. 	    // id (#)    10000

  2992. 	    char    firstChar = selector.charAt(0);

  2993.             int     specificity = getSpecificity();

  2994. 

  2995. 	    if (firstChar == '.') {

  2996. 		specificity += 100;

  2997. 	    }

  2998. 	    else if (firstChar == '#') {

  2999. 		specificity += 10000;

  3000. 	    }

  3001. 	    else {

  3002. 		specificity += 1;

  3003. 		if (selector.indexOf('.') != -1) {

  3004. 		    specificity += 100;

  3005. 		}

  3006. 		if (selector.indexOf('#') != -1) {

  3007. 		    specificity += 10000;

  3008. 		}

  3009. 	    }

  3010.             return specificity;

  3011.         }

  3012. 

  3013.         /**

  3014.          * The specificity for this selector.

  3015.          */

  3016.         private int specificity;

  3017.         /**

  3018.          * Style for this selector.

  3019.          */

  3020.         private Style style;

  3021.         /**

  3022.          * Any sub selectors. Key will be String, and value will be

  3023.          * another SelectorMapping.

  3024.          */

  3025.         private HashMap children;

  3026.     }

  3027. 

  3028. 

  3029.     // ---- Variables ---------------------------------------------

  3030. 

  3031.     final static int DEFAULT_FONT_SIZE = 3;

  3032. 

  3033.     private CSS css;

  3034. 

  3035.     /**

  3036.      * An inverted graph of the selectors.

  3037.      */

  3038.     private SelectorMapping selectorMapping;

  3039. 

  3040.     /** Maps from selector (as a string) to Style that includes all

  3041.      * relevant styles. */

  3042.     private Hashtable resolvedStyles;

  3043. 

  3044.     /** Vector of StyleSheets that the rules are to reference.

  3045.      */

  3046.     private Vector linkedStyleSheets;

  3047. 

  3048.     /** Where the style sheet was found. Used for relative imports. */

  3049.     private URL base;

  3050. 

  3051. 

  3052.     /**

  3053.      * Default parser for CSS specifications that get loaded into

  3054.      * the StyleSheet.<p>

  3055.      * This class is NOT thread safe, do not ask it to parse while it is

  3056.      * in the middle of parsing.

  3057.      */

  3058.     class CssParser implements CSSParser.CSSParserCallback {

  3059. 

  3060. 	/**

  3061. 	 * Parses the passed in CSS declaration into an AttributeSet.

  3062. 	 */

  3063. 	public AttributeSet parseDeclaration(String string) {

  3064. 	    try {

  3065. 		return parseDeclaration(new StringReader(string));

  3066. 	    } catch (IOException ioe) {}

  3067. 	    return null;

  3068. 	}

  3069. 

  3070. 	/**

  3071. 	 * Parses the passed in CSS declaration into an AttributeSet.

  3072. 	 */

  3073. 	public AttributeSet parseDeclaration(Reader r) throws IOException {

  3074. 	    parse(base, r, true, false);

  3075. 	    return declaration.copyAttributes();

  3076. 	}

  3077. 

  3078. 	/**

  3079. 	 * Parse the given CSS stream

  3080. 	 */

  3081. 	public void parse(URL base, Reader r, boolean parseDeclaration,

  3082. 			  boolean isLink) throws IOException {

  3083. 	    this.base = base;

  3084. 	    this.isLink = isLink;

  3085. 	    this.parsingDeclaration = parseDeclaration;

  3086. 	    declaration.removeAttributes(declaration);

  3087. 	    selectorTokens.removeAllElements();

  3088. 	    selectors.removeAllElements();

  3089. 	    propertyName = null;

  3090. 	    parser.parse(r, this, parseDeclaration);

  3091. 	}

  3092. 

  3093. 	//

  3094. 	// CSSParserCallback methods, public to implement the interface.

  3095. 	//

  3096. 

  3097. 	/**

  3098. 	 * Invoked when a valid @import is encountered, will call

  3099. 	 * <code>importStyleSheet</code> if a 

  3100. 	 * <code>MalformedURLException</code> is not thrown in creating

  3101. 	 * the URL.

  3102. 	 */

  3103. 	public void handleImport(String importString) {

  3104. 	    URL url = CSS.getURL(base, importString);

  3105. 	    if (url != null) {

  3106. 		importStyleSheet(url);

  3107. 	    }

  3108. 	}

  3109. 

  3110. 	/**

  3111. 	 * A selector has been encountered.

  3112. 	 */

  3113. 	public void handleSelector(String selector) {

  3114.             selector = selector.toLowerCase();

  3115. 

  3116. 	    int length = selector.length();

  3117. 

  3118. 	    if (selector.endsWith(",")) {

  3119. 		if (length > 1) {

  3120. 		    selector = selector.substring(0, length - 1);

  3121. 		    selectorTokens.addElement(selector);

  3122. 		}

  3123. 		addSelector();

  3124. 	    }

  3125. 	    else if (length > 0) {

  3126. 		selectorTokens.addElement(selector);

  3127. 	    }

  3128. 	}

  3129. 

  3130. 	/**

  3131. 	 * Invoked when the start of a rule is encountered.

  3132. 	 */

  3133. 	public void startRule() {

  3134. 	    if (selectorTokens.size() > 0) {

  3135. 		addSelector();

  3136. 	    }

  3137. 	    propertyName = null;

  3138. 	}

  3139. 

  3140. 	/**

  3141. 	 * Invoked when a property name is encountered.

  3142. 	 */

  3143. 	public void handleProperty(String property) {

  3144. 	    propertyName = property;

  3145. 	}

  3146. 

  3147. 	/**

  3148. 	 * Invoked when a property value is encountered.

  3149. 	 */

  3150. 	public void handleValue(String value) {

  3151. 	    if (propertyName != null && value != null && value.length() > 0) {

  3152. 		CSS.Attribute cssKey = CSS.getAttribute(propertyName);

  3153. 		if (cssKey != null) {

  3154.                     // There is currently no mechanism to determine real

  3155.                     // base that style sheet was loaded from. For the time

  3156.                     // being, this maps for LIST_STYLE_IMAGE, which appear

  3157.                     // to be the only one that currently matters. A more

  3158.                     // general mechanism is definately needed.

  3159.                     if (cssKey == CSS.Attribute.LIST_STYLE_IMAGE) {

  3160.                         if (value != null && !value.equals("none")) {

  3161.                             URL url = CSS.getURL(base, value);

  3162. 

  3163.                             if (url != null) {

  3164.                                 value = url.toString();

  3165.                             }

  3166.                         }

  3167.                     }

  3168. 		    addCSSAttribute(declaration, cssKey, value);

  3169. 		}

  3170. 		propertyName = null;

  3171. 	    }

  3172. 	}

  3173. 

  3174. 	/**

  3175. 	 * Invoked when the end of a rule is encountered.

  3176. 	 */

  3177. 	public void endRule() {

  3178. 	    int n = selectors.size();

  3179. 	    for (int i = 0; i < n; i++) {

  3180. 		String[] selector = (String[]) selectors.elementAt(i);

  3181. 		if (selector.length > 0) {

  3182. 		    StyleSheet.this.addRule(selector, declaration, isLink);

  3183. 		}

  3184. 	    }

  3185. 	    declaration.removeAttributes(declaration);

  3186. 	    selectors.removeAllElements();

  3187. 	}

  3188. 

  3189. 	private void addSelector() {

  3190. 	    String[] selector = new String[selectorTokens.size()];

  3191. 	    selectorTokens.copyInto(selector);

  3192. 	    selectors.addElement(selector);

  3193. 	    selectorTokens.removeAllElements();

  3194. 	}

  3195. 

  3196. 

  3197. 	Vector selectors = new Vector();

  3198. 	Vector selectorTokens = new Vector();

  3199. 	/** Name of the current property. */

  3200. 	String propertyName;

  3201. 	MutableAttributeSet declaration = new SimpleAttributeSet();

  3202. 	/** True if parsing a declaration, that is the Reader will not

  3203. 	 * contain a selector. */

  3204. 	boolean parsingDeclaration;

  3205. 	/** True if the attributes are coming from a linked/imported style. */

  3206. 	boolean isLink;

  3207. 	/** Where the CSS stylesheet lives. */

  3208. 	URL base;

  3209. 	CSSParser parser = new CSSParser();

  3210.     }

  3211. 

  3212.     void rebaseSizeMap(int base) {

  3213.         final int minimalFontSize = 4;

  3214.         sizeMap = new int[sizeMapDefault.length];

  3215.         for (int i = 0; i < sizeMapDefault.length; i++) {

  3216.             sizeMap[i] = Math.max(base * sizeMapDefault[i] / 

  3217.                                   sizeMapDefault[CSS.baseFontSizeIndex],

  3218.                                   minimalFontSize);

  3219.         }

  3220. 

  3221.     }

  3222. 

  3223.     int[] getSizeMap() {

  3224.         return sizeMap;

  3225.     }

  3226.     boolean isW3CLengthUnits() {

  3227.         return w3cLengthUnits;

  3228.     }

  3229. 

  3230.     /**

  3231.      * The HTML/CSS size model has seven slots

  3232.      * that one can assign sizes to.

  3233.      */

  3234.     static int sizeMapDefault[] = { 8, 10, 12, 14, 18, 24, 36 };

  3235. 

  3236.     private int sizeMap[] = sizeMapDefault;

  3237.     private boolean w3cLengthUnits = false;

  3238. }