📄 filesizetask.java
字号:
/*
* Copyright 2001 by Sun Microsystems, Inc.,
* 901 San Antonio Road, Palo Alto, California, 94303, U.S.A.
* All rights reserved.
*/
package ant;
import java.io.*;
import org.apache.tools.ant.BuildException;
import org.apache.tools.ant.Task;
/**
* Simple task set a property to the size of a file.
* It has two attributes, the file name and
* the property name. The property set to the empty string
* if the file does not exist.
*/
public class FileSizeTask extends Task {
File file;
String property;
// The method executing the task
public void execute() throws BuildException {
if (property != null && property.length() > 0) {
if (file.exists()) {
int size = (int)file.length();
project.setProperty(property, Integer.toString(size));
} else {
project.setProperty(property, "");
}
}
}
// The setter for the "message" attribute
public void setFile(File file) {
this.file = file;
}
// The setter for the "property" attribute
public void setProperty(String prop) {
property = prop;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -