Packages

p

dotty.tools

sbtplugin

package sbtplugin

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. final class TastyFileManager extends ClassFileManager

    A class file manger that prunes .tasty and .hasTasty as needed.

    A class file manger that prunes .tasty and .hasTasty as needed.

    This makes sure that, when a .class file must be deleted, the corresponding .tasty or .hasTasty file is also deleted.

    This code is adapted from Zinc TransactionalClassFileManager. We need to duplicate the logic since forwarding to the default class file manager doesn't work: we need to backup tasty files in a different temporary directory as class files.

Value Members

  1. object DottyIDEPlugin extends AutoPlugin
  2. object DottyPlugin extends AutoPlugin

Ungrouped