search

scala-ide / docs

Documentation for the scala-ide
BSD 3-Clause "New" or "Revised" License
31 stars 33 forks source link

Documentation for semantic annotation extension to Scala IDE #99

Closed afitz closed 10 years ago

afitz commented 10 years ago

Documentation for semantic annotation extension to Scala IDE (task #1001989, https://github.com/scala-ide/scala-ide/pull/644)

Disclaimer required by the lawyers:

THE FOLLOWING DISCLAIMER APPLIES TO ALL SOFTWARE CODE AND OTHER MATERIALS CONTRIBUTED IN CONNECTION WITH THIS SOFTWARE: THIS SOFTWARE IS LICENSED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS “AS IS” AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE AND ANY WARRANTY OF NON-INFRINGEMENT, ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. THIS SOFTWARE MAY BE REDISTRIBUTED TO OTHERS ONLY BY EFFECTIVELY USING THIS OR ANOTHER EQUIVALENT DISCLAIMER IN ADDITION TO ANY OTHER REQUIRED LICENSE TERMS. ONLY THE SOFTWARE CODE AND OTHER MATERIALS CONTRIBUTED IN CONNECTION WITH THIS SOFTWARE, IF ANY, THAT ARE ATTACHED TO (OR OTHERWISE ACCOMPANY) THIS SUBMISSION (AND ORDINARY COURSE CONTRIBUTIONS OF FUTURES PATCHES THERETO) ARE TO BE CONSIDERED A CONTRIBUTION. NO OTHER SOFTWARE CODE OR MATERIALS ARE A CONTRIBUTION

huitseeker commented 10 years ago

@Kwestor ping ! :hand:

Kwestor commented 10 years ago

Thanks for ping, I pinged @afitz to update this (I don't meet legal requirements for updating PRs).

Kwestor commented 10 years ago

@huitseeker PR updated

kiritsuku commented 10 years ago

I would like to see this one rebased on #104 once it is merged. I created the index dev/ide-extensions/ide-extensions.rst, where you should mention this extension. Furthermore, it would be nice if you would move this to dev/ide-extensions/editor then we don't need update links once we get more extensions.

kiritsuku commented 10 years ago

While working on another feature it turned out that I had to remove this extension point and replace it with a better one. The current one is built upon a deprecated API, the one I created is completely new and hooked entirely into the editor.

I'll update the docs of this PR accordingly once my relevant work is merged. But there is not much to do because beside from using another extension point, there is not much that changes.

huitseeker commented 10 years ago

This seems to have been forgotten. Any news, @sschaef ?

kiritsuku commented 10 years ago

Yes, this PR is obsolete. I have replaced the introduced extension point with another one in scala-ide/scala-ide#761. Most parts of the documentation is still valid, but the code has changed a little bit. I'll create a new doc PR once save actions are merged.