01: /*******************************************************************************
02: * Copyright (c) 2000, 2005 IBM Corporation and others.
03: * All rights reserved. This program and the accompanying materials
04: * are made available under the terms of the Eclipse Public License v1.0
05: * which accompanies this distribution, and is available at
06: * http://www.eclipse.org/legal/epl-v10.html
07: *
08: * Contributors:
09: * IBM Corporation - initial API and implementation
10: *******************************************************************************/package org.eclipse.ui.texteditor;
11:
12: import org.eclipse.core.runtime.jobs.ISchedulingRule;
13:
14: /**
15: * A scheduling rule provider provides a scheduling rule which
16: * can be used when running operations.
17: *
18: * @since 3.0
19: */
20: public interface ISchedulingRuleProvider {
21:
22: /**
23: * Returns the scheduling rule.
24: *
25: * @return a scheduling rule or <code>null</code> if none
26: */
27: ISchedulingRule getSchedulingRule();
28: }
|