2018.4.35 @Override public void exitUse_db_stmt(SQLParser.Use_db_stmtContext ctx) { String dbName = ctx.database_name().getText(); try { manager.switchDatabase(dbName); }catch (IOException e){ e.printStackTrace(); } }