| /******************************************************************************* |
| * Copyright (c) 2012 itemis AG (http://www.itemis.eu) and others. |
| * This program and the accompanying materials are made available under the |
| * terms of the Eclipse Public License 2.0 which is available at |
| * http://www.eclipse.org/legal/epl-2.0. |
| * |
| * SPDX-License-Identifier: EPL-2.0 |
| *******************************************************************************/ |
| package org.eclipse.xtext.xbase.lib; |
| |
| import java.lang.annotation.Documented; |
| import java.lang.annotation.ElementType; |
| import java.lang.annotation.Retention; |
| import java.lang.annotation.RetentionPolicy; |
| import java.lang.annotation.Target; |
| |
| import com.google.common.annotations.Beta; |
| import com.google.common.annotations.GwtCompatible; |
| |
| /** |
| * The annotated constructor or method causes no externally visible side-effects and |
| * does not mutate non-local state. |
| * |
| * In other words: if the result of a pure function or constructor is not used, it |
| * is dead code and is supposed to be removeable without changing the behavior of the |
| * program. |
| * |
| * On {@link Inline}d methods this means the compiler cannot use the resulting Java |
| * expression as a statement. |
| * |
| * @author Sven Efftinge - Initial contribution and API |
| * |
| * @since 2.3 |
| */ |
| @Retention(RetentionPolicy.RUNTIME) |
| @Target({ |
| ElementType.CONSTRUCTOR, |
| ElementType.METHOD}) |
| @Documented |
| @Beta |
| @GwtCompatible public @interface Pure { |
| |
| } |