Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add an API to get and remove prefixes registered directly on an element #73

Open
wants to merge 5 commits into
base: master
Choose a base branch
from

Commits on Jun 1, 2019

  1. Added API and failing tests for registered_namespaces

    - New Element::registered_namespaces method
    - New failing tests
    Daniel Dulaney committed Jun 1, 2019
    Configuration menu
    Copy the full SHA
    1c953ea View commit details
    Browse the repository at this point in the history
  2. Implemented registered_namespaces

    - Changed the API to return an impl Iterator (allows the consumer to
    iterate efficiently or convert to a Vec at their option)
    - Changed the tests from the previous commit to match the new API
    - Added an implementation in raw::Connections
    Daniel Dulaney committed Jun 1, 2019
    Configuration menu
    Copy the full SHA
    d0d6fc3 View commit details
    Browse the repository at this point in the history
  3. Added unregister_prefix API with failing test

    Daniel Dulaney committed Jun 1, 2019
    Configuration menu
    Copy the full SHA
    0b11cd8 View commit details
    Browse the repository at this point in the history
  4. Added remove_entry to LazyHashMap

    Just a thin wrapper over std's HashMap::remove_entry
    Daniel Dulaney committed Jun 1, 2019
    Configuration menu
    Copy the full SHA
    0fed535 View commit details
    Browse the repository at this point in the history
  5. Implemented unregister_prefix

    - Added a new raw::Storage::element_unregister_prefix private method
    Daniel Dulaney committed Jun 1, 2019
    Configuration menu
    Copy the full SHA
    df151fe View commit details
    Browse the repository at this point in the history