KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > jdt > internal > ui > text > ISourceVersionDependent


1 /*******************************************************************************
2  * Copyright (c) 2000, 2005 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.text;
12
13
14 /**
15  * Mix-in for any rule that changes its behavior based on the Java source
16  * version.
17  *
18  * @since 3.1
19  */

20 public interface ISourceVersionDependent {
21
22     /**
23      * Sets the configured java source version to one of the
24      * <code>JavaCore.VERSION_X_Y</code> values.
25      *
26      * @param version the new java source version
27      * @see org.eclipse.jdt.core.JavaCore
28      */

29     void setSourceVersion(String JavaDoc version);
30 }
31
Popular Tags