mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-23 22:52:11 +02:00
Fix documentation, schema fix is contributed by Tim Kelly (Nokia)
This commit is contained in:
parent
d236e380c7
commit
65ff00c607
2 changed files with 9 additions and 6 deletions
|
@ -17,20 +17,23 @@ import org.eclipse.core.filesystem.URIUtil;
|
|||
|
||||
/**
|
||||
* A IIndexLocationConverter for converting relative paths within an index, by prefixing them
|
||||
* with the supplied base URI
|
||||
* with the supplied base URI.<p>
|
||||
* <em>Note: The supplied base URI must end with a forward slash</em>
|
||||
* <br>
|
||||
* This location converter is internal-representation-compatible with ResourceContainerRelativeLocationConverter
|
||||
* @since 4.0
|
||||
*/
|
||||
/*
|
||||
* Internal representation is uri relative path (non encoded form)
|
||||
* The associated internal PDOM representation is the relative path (non encoded form)
|
||||
*/
|
||||
public class URIRelativeLocationConverter implements IIndexLocationConverter {
|
||||
private URI baseURI;
|
||||
|
||||
/**
|
||||
* Constructs an URIRelativeLocationConverter which will relative paths
|
||||
* by prefixing the supplied base URI
|
||||
* @param baseURI
|
||||
* by prefixing the supplied base URI.
|
||||
* @param baseURI the URI which will form the absolute base that relative paths
|
||||
* are concatenated to. <em>Note: It must end with a forward slash</em>.
|
||||
*/
|
||||
public URIRelativeLocationConverter(URI baseURI) {
|
||||
this.baseURI = baseURI;
|
||||
|
|
|
@ -136,8 +136,8 @@ public class AcmeSDKProvider implements IReadOnlyPDOMProvider {
|
|||
return AcmeNature.isAcmeProject(project);
|
||||
}
|
||||
|
||||
public IPDOMDescriptor[] getDescriptors(ICProject cproject, ICConfigurationDescription config) {
|
||||
final IPath sdkBase = AcmeSDKAPI.getSDKBase(cproject, config);
|
||||
public IPDOMDescriptor[] getDescriptors(ICConfigurationDescription config) {
|
||||
final IPath sdkBase = AcmeSDKAPI.getSDKBase(config);
|
||||
return new IPDOMDescriptor[] { new IPDOMDescriptor() {
|
||||
public IIndexLocationConverter getIndexLocationConverter() {
|
||||
return new URIRelativeLocationConverter(URIUtil.toURI(sdkBase));
|
||||
|
|
Loading…
Add table
Reference in a new issue