📄 fileindex.java
字号:
/*
* Created on 24.09.2006
*/
package smallsql.database;
import java.io.*;
/**
* @author Volker Berlin
*/
class FileIndex extends Index {
static public void main(String args[]) throws Exception{
File file = File.createTempFile("test", "idx");
RandomAccessFile raFile = new RandomAccessFile(file, "rw");
FileIndex index = new FileIndex(false, raFile);
Expressions expressions = new Expressions();
ExpressionValue value = new ExpressionValue();
expressions.add(value);
value.set( "150", SQLTokenizer.VARCHAR);
index.addValues(1, expressions);
value.set( "15", SQLTokenizer.VARCHAR);
index.addValues(2, expressions);
print(index,expressions);
index.save();
index.close();
System.out.println("Idx size:"+file.length());
raFile = new RandomAccessFile(file, "rw");
index = FileIndex.load(raFile);
print(index,expressions);
}
static void print(Index index, Expressions expressions){
IndexScrollStatus scroll = index.createScrollStatus(expressions);
long l;
while((l= scroll.getRowOffset(true)) >=0){
System.out.println(l);
}
System.out.println("============================");
}
private final RandomAccessFile raFile;
FileIndex( boolean unique, RandomAccessFile raFile ) {
this(new FileIndexNode( unique, (char)-1, raFile), raFile);
}
FileIndex( FileIndexNode root, RandomAccessFile raFile ) {
super(root);
this.raFile = raFile;
}
static FileIndex load( RandomAccessFile raFile ) throws Exception{
boolean unique = raFile.readBoolean();
FileIndexNode root = FileIndexNode.loadRootNode( unique, raFile, raFile.getFilePointer() );
return new FileIndex( root, raFile );
}
void save() throws Exception{
raFile.writeBoolean( rootPage.getUnique() );
((FileIndexNode)rootPage).save();
}
void close() throws IOException{
raFile.close();
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -