My pipeline part is:
stage('CodeChecking') {
  steps {
    echo "EXECUTOR_NUMBER: ${EXECUTOR_NUMBER}"
    echo "WORKSPACE: ${WORKSPACE}"
  }
}

My pipeline running log as the following:
........
Running in /home/webc/jenkins_v2/war_data/jobs/CodeScan_Deploy_build/workspace@2/service

........

[Pipeline] echo
17:28:25 EXECUTOR_NUMBER: 42
[Pipeline] echo
17:28:25 WORKSPACE: /home/webc/jenkins_v2/war_data/jobs/CodeScan_Deploy_build/workspace