The input to the semantic checker will be a program and the output will be information about the types of the variables in the program or an  error message if there is type mismatch or other semantic error.