Equivalent to the switch statement. Additionally, performs completeness check for enumeration types.

switchall (Expression)
{
	case Val1:
	case Val2:
		...
		break;
	case Val3:
		...
		break;
	case ValN:
		...
		break;
}

The switchall is equivalent to the switch statement. However, it cannot have the default case and can only be used with untyped enumerations. The case statements do not cover any of the enumeration values, an error message will be shown.

The following code has a missing case for State.Writing and will cause an error:

entity SomeFSM
{
    port in logic clk, reset;
    port in logic Start;
    
	enum State
	{
		Initial,
		Reading,
		Writing,
	}
    
    signal State CurrentState = State.Initial;
    
    process StateFlow (clk.rising)
    {
    	switchall(CurrentState)
    	{
    	case State.Initial:
    		break;
    	case State.Reading:
    		break;
    	}
    }
}

See enum page for common examples of switch statement.