Splitting a file name into name and extension using bash

I was writing a bash script and wanted to split a file name into its constituent name and extension parts. Here is how I did it.

#!/bin/bash

INPUT_FILE=$1
FILE_NAME=${INPUT_FILE%.*}
FILE_EXT=${INPUT_FILE##*.}

echo $FILE_NAME
echo $FILE_EXT

A good reference for bash script is Advanced Bash Scripting Guide. I referred to the string manipulation section to create the above snippet.