/* * Copyright 2016 Cel Skeggs. * * This file is part of the CCRE, the Common Chicken Runtime Engine. * * The CCRE is free software: you can redistribute it and/or modify it under the * terms of the GNU Lesser General Public License as published by the Free * Software Foundation, either version 3 of the License, or (at your option) any * later version. * * The CCRE is distributed in the hope that it will be useful, but WITHOUT ANY * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR * A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more * details. * * You should have received a copy of the GNU Lesser General Public License * along with the CCRE. If not, see <http://www.gnu.org/licenses/>. */ package ccre.verifier; import java.lang.annotation.ElementType; import java.lang.annotation.Retention; import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; /** * A phase annotation that declares which phase a method or constructor may be * used in. Imperative phase is the phase of robot autonomous code. It is * expected to run a number of times, but not quite as many as flow mode. * Allocation should be avoided here, though not as much as in flow mode, and * any memory leaks could still prove catastrophic. Unlike flow mode, sleeping * and waiting are encouraged, rather than discouraged. * * @author skeggsc */ @Target({ ElementType.METHOD, ElementType.CONSTRUCTOR }) @Retention(RetentionPolicy.CLASS) public @interface ImperativePhase { }