static void Consume()

in cpp/DFAchecks.cpp [284:293]


static void Consume(State state) {
    switch (state) {
        case Processing: log_msg("Processing");
            break;
        case Idle: log_msg("Idle");
            break;
        case Stop: log_msg("Stop!");
            break;
    }
}