home.java

来自「Enjoy Web Dev With Tapestry 一书的源代码」· Java 代码 · 共 39 行

JAVA
39
字号
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();
	}
}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?