//
// $Id: CssCounterIncrement.java,v 1.1.1.1 2006/11/14 17:05:20 ciglesia Exp $
// From Philippe Le Hegaret (Philippe.Le_Hegaret@sophia.inria.fr)
//
// (c) COPYRIGHT MIT and INRIA, 1997.
// Please first read the full copyright statement in file COPYRIGHT.html
/*
 */
package org.w3c.css.properties;

import java.util.Vector;

import org.w3c.css.parser.CssStyle;
import org.w3c.css.values.CssExpression;
import org.w3c.css.values.CssValue;
import org.w3c.css.values.CssNumber;
import org.w3c.css.values.CssURL;
import org.w3c.css.values.CssIdent;
import org.w3c.css.values.CssFunction;
import org.w3c.css.values.CssOperator;
import org.w3c.css.values.CssString;
import org.w3c.css.util.InvalidParamException;
import org.w3c.css.util.ApplContext;

/**
 */
public class CssCounterIncrement extends CssProperty {
    
    Vector values = new Vector();
    
    private static CssIdent none = new CssIdent("none");
    
    
    /**
     * Create a new CssCounterIncrement
     */
    public CssCounterIncrement() {
    }  
    
    /**
     * Create a new CssCounterIncrement
     *
     * @param expression The expression for this property
     * @exception InvalidParamException The expression is incorrect
     */  
    public CssCounterIncrement(ApplContext ac, CssExpression expression) throws InvalidParamException {
	CssValue val = expression.getValue();
	int counter = 0;
	char op = expression.getOperator();
	
	setByUser();
	if (val.equals(inherit)) {
	    values.addElement(inherit);
	    expression.next();
	    return;
	} else if (val.equals(none)) {
	    values.addElement(none);
	    expression.next();
	    return;
	}


	while ((op == CssOperator.SPACE)
	       && (counter < expression.getCount())) {
	    if (val instanceof CssIdent) {
		expression.next();
		counter++;
		if (counter < expression.getCount()) {
		    values.addElement(val);
		    val = expression.getValue();
		    op = expression.getOperator();
		    if ((op == CssOperator.SPACE)
			&& (val instanceof CssNumber)
			&& ((CssNumber) val).isInteger()) {
			// nothing
		    } else {
			throw new InvalidParamException("value", 
							expression.getValue(), 
							getPropertyName(), ac);
		    }
		}
	    } else {
		throw new InvalidParamException("value", 
						expression.getValue(), 
						getPropertyName(), ac);
	    }
	    values.addElement(val);
	    expression.next();
	    counter++;
	    val = expression.getValue();
	    op = expression.getOperator();
	}

    }
    
    /**
     * Returns the value of this property
     */
    public Object get() {
	return values;
    }
    
    /**
     * Returns the name of this property
     */  
    public String getPropertyName() {
	return "counter-increment";
    }
    
    /**
     * Returns true if this property is "softly" inherited
     * e.g. his value equals inherit
     */
    public boolean isSoftlyInherited() {
	return values.elementAt(0) == inherit;
    }
    
    /**
     * Returns a string representation of the object.
     */
    public String toString() {
	int i = 0;
	String ret = "";
	while (i < values.size()) {
	    ret += " " + values.elementAt(i);
	    i++;
	}
	return ret.substring(1);
    }
    
    /**
     * Add this property to the CssStyle.
     *
     * @param style The CssStyle
     */
    public void addToStyle(ApplContext ac, CssStyle style) {
	Css1Style style0 = (Css1Style) style;
	if (style0.cssCounterIncrement != null) {
	    style0.addRedefinitionWarning(ac, this);
	}
	style0.cssCounterIncrement = this;
    }
    
    /**
     * Get this property in the style.
     *
     * @param style The style where the property is
     * @param resolve if true, resolve the style to find this property
     */  
    public CssProperty getPropertyInStyle(CssStyle style, boolean resolve) {
	if (resolve) {
	    return ((Css1Style) style).getCounterIncrement();
	} else {
	    return ((Css1Style) style).cssCounterIncrement;
	}
    }
    
    /**
     * Compares two properties for equality.
     *
     * @param value The other property.
     */  
    public boolean equals(CssProperty property) {
	// @@TODO
	return false;
    }
    
    /**
     * Is the value of this property is a default value.
     * It is used by all macro for the function <code>print</code>
     */  
    public boolean isDefault() {
	return false;
    }

}
