case-study/jdt-before/ui/org/eclipse/jdt/internal/ui/preferences/formatter/IProfileVersioner.java

   1 /*******************************************************************************
   2  * Copyright (c) 2000, 2008 IBM Corporation and others.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Eclipse Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/epl-v10.html
   7  *
   8  * Contributors:
   9  *     IBM Corporation - initial API and implementation
  10  *******************************************************************************/
  11 package org.eclipse.jdt.internal.ui.preferences.formatter;
  12
  13 import org.eclipse.jdt.internal.ui.preferences.formatter.ProfileManager.CustomProfile;
  14
  15 public interface IProfileVersioner {
  16
  17         public int getFirstVersion();
  18
  19         public int getCurrentVersion();
  20
  21     public String getProfileKind();
  22
  23         /**
  24          * Update the <code>profile</code> to the
  25          * current version number
  26          */
  27         public void update(CustomProfile profile);
  28
  29 }