view java/src/uk/ac/qmul/eecs/ccmi/gui/Lock.java @ 1:e3935c01cde2 tip

moved license of PdPersistenceManager to the beginning of the file

/*  
 CCmI Editor - A Collaborative Cross-Modal Diagram Editing Tool
  
 Copyright (C) 2011  Queen Mary University of London (http://ccmi.eecs.qmul.ac.uk/)

 This program is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation, either version 3 of the License, or
 (at your option) any later version.

 This program 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 General Public License for more details.

 You should have received a copy of the GNU General Public License
 along with this program.  If not, see <http://www.gnu.org/licenses/>.
*/
package uk.ac.qmul.eecs.ccmi.gui;

/**
 * 
 * An enum that defines the possible locks that can be granted on a shared diagram.  
 *
 */
public enum Lock {
	/**
	 * The element will be deleted, therefore no other operation on the same element is allowed to any other user.
	 */
	DELETE,
	/**
	 * The element will be renamed, therefore no renaming of the same element is allowed to any other user.
	 */
	NAME,
	/**
	 * The node properties will be edit, therefore no properties or modifiers editing 
	 * on the same node will be allowed to any other user.
	 */
	PROPERTIES,
	/**
	 * The edge end is being edited (label or arrow head), therefore no end editing 
	 * on the same edge will be allowed to any other user.
	 */
	EDGE_END,
	/**
	 * The element is being moved, therefore no move on the same element will be allowed to any other user.
	 */
	MOVE,
	/**
	 * The notes of the tree node will be edited, therefore no notes editing 
	 * on the same tree node will be allowed to any other user.
	 */
	NOTES,
	/**
	 * The bookmarks of the tree node will be edited, therefore no bookmarks editing 
	 * on the same tree node will be allowed to any other user.
	 */
	BOOKMARK,
	/**
	 * The element cannot be deleted by other users. 
	 */
	MUST_EXIST,
	/**
	 * {@code null} value.
	 */
	NONE
}