Lines Matching defs:cmd
304 String cmd = st.nextToken();
311 if (cmd.compareTo(".dump") == 0) {
315 if (cmd.compareTo(".echo") == 0) {
322 if (cmd.compareTo(".exit") == 0) {
329 if (cmd.compareTo(".header") == 0) {
336 if (cmd.compareTo(".help") == 0) {
352 if (cmd.compareTo(".mode") == 0) {
371 if (cmd.compareTo(".separator") == 0) {
377 if (cmd.compareTo(".tables") == 0) {
410 if (cmd.compareTo(".schema") == 0) {
439 if (cmd.compareTo(".enc") == 0) {
448 if (cmd.compareTo(".rekey") == 0) {
457 err.println("Unknown command '" + cmd + "'");
