| /***************************************************************************** |
| * Copyright (c) 2019 CEA LIST. |
| * |
| * |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License 2.0 |
| * which accompanies this distribution, and is available at |
| * https://www.eclipse.org/legal/epl-2.0/ |
| * |
| * SPDX-License-Identifier: EPL-2.0 |
| * |
| * Contributors: |
| * Xavier Le Pallec (for CEA LIST) xlepallec@lilo.org - Bug 558456 |
| * |
| *****************************************************************************/ |
| |
| package org.eclipse.papyrus.uml.diagram.clazz.lf.autosizeableclasses.statemachine; |
| |
| /** |
| * This class defines all the states that compose the state machine. |
| * The state machine is the following one:<BR> |
| * |
| * <img alt="state machine diagram" src= |
| * "https://www.cristal.univ-lille.fr/miny/papyrus/stateMachine.jpg"> |
| * |
| */ |
| public class States { |
| /** |
| * start state |
| */ |
| public static final int START=0; |
| /** |
| * waitingFromStart state |
| */ |
| public static final int WAITING_FROM_START=1; |
| /** |
| * A class is hovered state |
| */ |
| public static final int A_CLASS_IS_HOVERED=2; |
| /** |
| * Another class is hovered |
| */ |
| public static final int ANOTHER_CLASS_IS_HOVERED=3; |
| /** |
| * No class is hovered state |
| */ |
| public static final int NO_CLASS_IS_HOVERED=4; |
| /** |
| * Create / Drop request ended state |
| */ |
| public static final int CREATE_DROP_REQUEST_ENDED=5; |
| /** |
| * Terminal start |
| */ |
| public static final int END=6; |
| |
| /** |
| * Labels: used for debugging concerns |
| */ |
| public static final String labels[]= { |
| "START", |
| "WAITING_FROM_START", |
| "A_CLASS_IS_HOVERED", |
| "ANOTHER_CLASS_IS_HOVERED", |
| "NO_CLASS_IS_HOVERED", |
| "CREATE_DROP_REQUEST_ENDED", |
| "END" |
| }; |
| } |