如何将可选Jenkins参数传递到Jenkinsfile中

pipeline {
    agent any
    
    parameters {
        string(name: 'ENVIRONMENT', defaultValue: 'dev', description: 'Deployment environment')
        booleanParam(name: 'CLEAN_BUILD', defaultValue: false, description: 'Perform clean build')
        choice(name: 'RELEASE_TYPE', choices: ['Major', 'Minor', 'Patch'], description: 'Release type')
    }
    
    stages {
        stage('Build') {
            steps {
                echo "Building with environment: ${params.ENVIRONMENT}"
                if (params.CLEAN_BUILD) {
                    sh 'mvn clean install'
                } else {
                    sh 'mvn install'
                }
            }
        }
        
        stage('Deploy') {
            when {
                expression { params.ENVIRONMENT == 'prod' }
            }
            steps {
                echo "Deploying to ${params.ENVIRONMENT}"
                // Deploy to production environment
            }
        }
        
        stage('Release') {
            when {
                expression { params.RELEASE_TYPE == 'Major' }
            }
            steps {
                echo 'Performing major release'
                // Perform major release steps
            }
        }
    }
}