1 package test.wksp.eclipse;
2 
3 interface X02 {
4 	/**
5 	 * Sets the charset for this file. Passing a value of <code>null</code> will
6 	 * remove the charset setting for this resource.
7 	 * <p>
8 	 * This method changes resources; these changes will be reported in a
9 	 * subsequent resource change event, including an indication that this
10 	 * file's encoding has changed.
11 	 * </p>
12 	 * <p>
13 	 * This method is long-running; progress and cancellation are provided by
14 	 * the given progress monitor.
15 	 * </p>
16 	 *
17 	 * @param newCharset
18 	 * a charset name, or <code>null</code>
19 	 * @param monitor
20 	 * a progress monitor, or <code>null</code> if progress reporting is not
21 	 * desired
22 	 * @exception OperationCanceledException
23 	 * if the operation is canceled. Cancelation can occur even if no progress
24 	 * monitor is provided.
25 	 * @exception CoreException
26 	 * if this method fails. Reasons include:
27 	 * <ul>
28 	 * <li>This resource does not exist.</li>
29 	 * <li>An error happened while persisting this setting.</li>
30 	 * <li>Resource changes are disallowed during certain types of resource
31 	 * change event notification. See {@link IResourceChangeEvent} for more
32 	 * details.</li>
33 	 * </ul>
34 	 * @see #getCharset()
35 	 * @since 3.0
36 	 */
setCharset(String newCharset, Object monitor)37 	public void setCharset(String newCharset, Object monitor) throws Exception;
38 
39 }
40