pager.java
来自「本例主要是利用GSM设备实现手机短信采集数据」· Java 代码 · 共 69 行
JAVA
69 行
//---------------------------------------------------------
// Application: Gsm of Application
// Author : esingle
// File : Pager.java
//
// Copyright 2004 landsoft corp
// Generated at Wed Mar 10 15:35:57 CST 2004
// created by 曹广鑫
// mailto:gxcao@mail.tsinghua.edu.cn
//---------------------------------------------------------
package com.landsoft.gsm.util;
import java.util.*;
public class Pager {
private static int MAX_PAGE_INDEX = 15;
private static String HEADER = "Result page";
static {
ResourceBundle prop = ResourceBundle.getBundle("resources.application");
try {
HEADER = prop.getString("pager.header.title");
} catch (Exception e) {
}
try {
MAX_PAGE_INDEX = Integer.parseInt(prop.getString("pager.max.page.index"));
} catch (Exception e) {
}
}
public static String generate(int offset, int length, int size, String url) {
if (length > size) {
String pref;
if (url.indexOf("?") > -1) {
pref = "&";
} else {
pref = "?";
}
String header = "<font face='Helvetica' size='-1'>"+HEADER+": ";
if (offset > 0) {
header += " <a href=\""+url+pref+"pager.offset="+(offset-size)+"\">[<< Prev]</a>\n";
}
int start;
int radius = MAX_PAGE_INDEX/2*size;
if (offset < radius) {
start = 0;
} else if(offset < length-radius) {
start = offset - radius;
} else {
start = (length/size-MAX_PAGE_INDEX)*size;
}
for(int i=start;i<length && i < start + MAX_PAGE_INDEX*size;i+=size) {
if (i == offset) {
header += "<b>"+(i/size+1)+"</b>\n";
} else {
header += " <a href=\""+url+pref+"pager.offset="+i+"\">"+(i/size+1)+"</a>\n";
}
}
if(offset < length - size) {
header += " <a href=\""+url+pref+"pager.offset="+((int)offset+(int)size)+"\">[Next >>]</a>\n";
}
header += "</font>";
return header;
} else {
return "";
}
}
}
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?