📄 border.java
字号:
/*
* 创建日期 2005-2-2
*
* 更改所生成文件模板为
* 窗口 > 首选项 > Java > 代码生成 > 代码和注释
*/
package com.tapestry;
import org.apache.tapestry.BaseComponent;
import org.apache.tapestry.IRequestCycle;
import org.apache.tapestry.event.PageEvent;
import org.apache.tapestry.event.PageRenderListener;
/**
* @author ADong
*
* 更改所生成类型注释的模板为
* 窗口 > 首选项 > Java > 代码生成 > 代码和注释
*/
public abstract class Border
extends BaseComponent
implements PageRenderListener {
public String username; //用户名
public abstract void setRegister(boolean b);
public void pageBeginRender(PageEvent event) {
Visit visit = (Visit) this.getPage().getVisit();
if (visit.getUsername() != null) {
this.setUsername(visit.getUsername()); //从Visit对象中获取用户名
this.setRegister(true); //确定用户已经登陆
}
}
/** 注销用户session,并跳转到登陆页面 */
public void clearUser(IRequestCycle cycle) {
MyEngine engine = (MyEngine) getPage().getEngine();
engine.logout();
cycle.activate("Home");
}
/**
* @param string
*/
public void setUsername(String string) {
username = string;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -