Skip to content
This repository has been archived by the owner on Feb 3, 2018. It is now read-only.

Add Release() to the SourceManager interface #206

Merged
merged 5 commits into from
Apr 10, 2017
Merged

Add Release() to the SourceManager interface #206

merged 5 commits into from
Apr 10, 2017

Commits on Apr 2, 2017

  1. Add Release() to the SourceManager interface 

    This is already being used by dep.
    @spenczar
    spenczar committed Apr 2, 2017
    Configuration menu
    Copy the full SHA
    c379ad8 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2017

  1. Remove Release method from sourceBridge interface

    @spenczar
    spenczar committed Apr 10, 2017
    Configuration menu
    Copy the full SHA
    7529448 View commit details
    Browse the repository at this point in the history

  2. Just copy the method set of SourceManager into sourceBridge 

    This makes the method sets redundant, but sourceBridge shouldn't
have a Release() method because it only ever deals with a single solve
run. We could have a private unexported interface covering the
intersection of the method sets, but then we'd lose out on godoc.
Repeating the methods is the least-bad of our options.
    @spenczar
    spenczar committed Apr 10, 2017
    Configuration menu
    Copy the full SHA
    9d6d587 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into release_source_manager

    @spenczar
    spenczar committed Apr 10, 2017
    Configuration menu
    Copy the full SHA
    b1a499f View commit details
    Browse the repository at this point in the history

  4. Update method set of bridge to match SourceManager

    @spenczar
    spenczar committed Apr 10, 2017
    Configuration menu
    Copy the full SHA
    c240c2a View commit details
    Browse the repository at this point in the history