void dfa_sample()

in Code_Analysis/code_analysis_summary.cpp [126:152]


    void dfa_sample(int shadow) {
        Color cl1, cl2;
        Color res = Color::White;

        if (shadow)
            cl1 = Color::Red, cl2 = Color::Blue;
        else
            cl1 = Color::Green, cl2 = Color::Yellow;

        if (cl1 == Color::Red || cl2 == Color::Yellow)
            res = Color::Blue;
        else
            res = Color::Green;

        switch (res) {
            case Color::Red:
                break;
            case Color::Blue:
                break;
            case Color::Green:
                break;
            case Color::Yellow:
                break;
            case Color::White:
                break;
        }
    }