blob: a2ae41e31c2d533ba13edc665802605554628adf (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/*
* SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.viatra.runtime;
@FunctionalInterface
public interface CancellationToken {
CancellationToken NONE = () -> {};
void checkCancelled();
}
|