document.getAnonymousElementByAttribute(this, "anonId", "textbox") document.getAnonymousElementByAttribute(this, "anonId", "incrementButton") document.getAnonymousElementByAttribute(this, "anonId", "decrementButton") this.getAttribute("size") * 1 this.hasAttribute("minvalue") ? this.getAttribute("minvalue") * 1 : 0 this.hasAttribute("maxvalue") ? this.getAttribute("maxvalue") * 1 : Math.pow(10, this.size) return this.textbox.value * 1; = this.maxValue)) { this.invalid = true; } else { this.invalid = false; this.textbox.value = val; this.updateDisableds(); } return val; ]]> false return this.mInvalid; if (val) { this.setAttribute("invalid", "true"); } else { this.removeAttribute("invalid"); } this.mInvalid = val; return val; false return this.mDecrementDisabled if (val) { this.decrementButton.setAttribute("disabled", "true"); } else { this.decrementButton.removeAttribute("disabled"); } this.mDecrementDisabled = val; return val; false return this.mIncrementDisabled if (val) { this.incrementButton.setAttribute("disabled", "true"); } else { this.incrementButton.removeAttribute("disabled"); } this.mIncrementDisabled = val; return val; = this.maxValue); ]]> this.value += 1; this.value -= 1; = this.maxValue)) { this.invalid = true; } ]]> = 48)&&(event.charCode < 58)) { this.value = event.charCode - 48; } if ((event.charCode == 43)&&(!this.incrementDisabled)&&(!this.invalid)) { // + this.increment(); } if ((event.charCode == 45)&&(!this.decrementDisabled)&&(!this.invalid)) { // - this.decrement(); } ]]>