InoLab: Reading a SPDT Switch

const int switchPin = 3;
const int led1Pin = 12;
const int led2Pin = 13;
void setup()
{
pinMode(switchPin, INPUT);
pinMode(led1Pin, OUTPUT);
pinMode(led2Pin, OUTPUT);
}
void loop()
{
int switchVal;
switchVal = digitalRead(switchPin);
if (switchVal == HIGH)
{
digitalWrite(led1Pin, HIGH);
delay(500);
digitalWrite(led1Pin, LOW);
delay(500);
}
else
{
digitalWrite(led2Pin, HIGH);
delay(500);
digitalWrite(led2Pin, LOW);
delay(500);
}
}