为什么此函数无法穷举？

Question

由于函数体中的else语句，这是否应该详尽无遗？在运行时如何抛出非穷举模式。

// This can then be called in the MainActivity using,
// spinnerSelects.setInputOutputSpinners(this, selectedMainChoice);

protected void setInputOutputSpinners(Context context, String selectedMainChoice) {
        switch (selectedMainChoice)
        {
            case "Length": {
                spinnerInputChoice.setAdapter(new ArrayAdapter<CharSequence>(this,
                        android.R.layout.simple_spinner_dropdown_item,
                        context.getResources().getStringArray(R.array.LengthChoices_array)));

            //Similarly so in the rest of the places
    }

***例外：Game.hs：（93,1）-（95,16）：函数testMoved中的非穷尽模式