home.java

Enjoy Web Dev With Tapestry 一书的源代码

package com.ttdev.tddcalc;

import java.util.*;

import org.apache.tapestry.annotations.*;
import org.apache.tapestry.contrib.link.*;
import org.apache.tapestry.form.*;
import org.apache.tapestry.html.*;
import org.apache.tapestry.link.*;
import org.apache.tapestry.valid.*;

public abstract class Home extends BasePage {
	public abstract int getNum1();
	public abstract int getNum2();
	public abstract int getResultValue();
	public abstract Operator getOperator();
	public abstract void setResultValue(int result);

	@Bean
	public abstract ValidationDelegate getDelegate();

	public void onOk() {
		setResult(getOperator().apply(getNum1(), getNum2()));
	}
	private void setResult(int result) {
		setResultValue(result);
		getHistory().add(
			new Calculation(getNum1(), getNum2(), getOperator().getName(), result));
	}
	public IPropertySelectionModel getAvailOperators() {
		return new OperatorSelectionModel();
	}
	@InjectState("history")
	public abstract List getHistory();
	
	public ILinkRenderer getHelpLinkRenderer() {
		return new PopupLinkRenderer();
	}
}