org.jedit.core
Interface MigrationService
- All Known Implementing Classes:
- KeymapMigration
public interface MigrationService
A Migration service.
There is currently only one concrete implementation of this interface and no
general way to add new MigrationServices yet.
The goal of migration is usually to replace old properties or data files
with a new set, located elsewhere. The fact is that depending on where
the data needs to be updated, the migration may need to be done at
different places during jEdit's startup.
There is no specific time that all migration services are called currently.
The service and interface exists primarily so you don't need to add a compilation
dependency of the org.gjt.sp.jEdit class to your MigrationService class.
Concrete instances need to gurantee that the migration itself is only done
once.
migrate
void migrate()