private static ISREInstall getProjectSpecificSRE ( ILaunchConfiguration configuration , boolean verify , IJavaProjectAccessor projectAccessor ) throws CoreException { assert projectAccessor != null ; final IJavaProject jprj = projectAccessor . get ( configuration ) ; if ( jprj != null ) { final IProject prj = jprj . getProject ( ) ; assert prj != null ; // Get the SRE from the extension point ISREInstall sre = getSREFromExtension ( prj , verify ) ; if ( sre != null ) { return sre ; } // Get the SRE from the default project configuration final ProjectSREProvider provider = new EclipseIDEProjectSREProvider ( prj ) ; sre = provider . getProjectSREInstall ( ) ; if ( sre != null ) { if ( verify ) { verifySREValidity ( sre , sre . getId ( ) ) ; } return sre ; } } final ISREInstall sre = SARLRuntime . getDefaultSREInstall ( ) ; if ( verify ) { verifySREValidity ( sre , ( sre == null ) ? Messages . SARLLaunchConfigurationDelegate_8 : sre . getId ( ) ) ; } return sre ; }
Replies the project SRE from the given configuration .