@Override public Void visitUpdateIndexBP(UpdateIndexBPContext ctx) { String tableName = ctx.table.getText(); String indexName = ctx.index.getText(); Table table = db.getTable(tableName); if (table != null) { Index index = table.getIndex(indexName); if (index != null) { index.setBufferPool(ctx.value.getText()); } } return null; }
@Override public Void visitUpdateIndexBP(UpdateIndexBPContext ctx) { String tableName = ctx.table.getText(); String indexName = ctx.index.getText(); Table table = db.getTable(tableName); if (table != null) { Index index = table.getIndex(indexName); if (index != null) { index.setBufferPool(ctx.value.getText()); } } return null; }