Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • URIConverter

Index

Methods

Methods

  • from(resource: URI): undefined | URI
  • Converts from an underlying fs provider resource format.

    For example converting file resources under a user home to user-storage resource:

    • file://home/.theia/settings.json => user-storage:/settings.json
    • file://documents/some-document.txt => undefined

    Parameters

    • resource: URI

    Returns undefined | URI

  • to(resource: URI): undefined | URI
  • Converts to an underlying fs provider resource format. Returns undefined if the given resource is not valid resource.

    For example converting user-storage resources to file resources under a user home: user-storage:/user/settings.json => file://home/.theia/settings.json user-storage:/settings.json => undefined

    Parameters

    • resource: URI

    Returns undefined | URI