Share project "org.eclipse.papyrus.state.editor.xtext.ui" into "svn+ssh://dev.eclipse.org/svnroot/modeling/org.eclipse.mdt.papyrus"

Share project "org.eclipse.papyrus.state.editor.xtext" into "svn+ssh://dev.eclipse.org/svnroot/modeling/org.eclipse.mdt.papyrus"
Share project "org.eclipse.papyrus.state.editor.xtext.generator" into "svn+ssh://dev.eclipse.org/svnroot/modeling/org.eclipse.mdt.papyrus"

These plugins provide an xtext editor for State: dealing with do, entry and exit information

1 files changed, 254 insertions, 0 deletions

diff --git a/plugins/uml/org.eclipse.papyrus.state.editor.xtext/src/org/eclipse/papyrus/state/editor/xtext/validation/UmlStateJavaValidator.java b/plugins/uml/org.eclipse.papyrus.state.editor.xtext/src/org/eclipse/papyrus/state/editor/xtext/validation/UmlStateJavaValidator.java
new file mode 100755
index 00000000000..d8478b14d3b
--- /dev/null
+++ b/plugins/uml/org.eclipse.papyrus.state.editor.xtext/src/org/eclipse/papyrus/state/editor/xtext/validation/UmlStateJavaValidator.java
@@ -0,0 +1,254 @@
+/*****************************************************************************
+ * Copyright (c) 2010 CEA LIST.
+ *
+ *    
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *  CEA LIST - Initial API and implementation
+ *
+ *****************************************************************************/
+package org.eclipse.papyrus.state.editor.xtext.validation;
+
+import java.util.ArrayList;
+import java.util.List;
+
+import org.eclipse.papyrus.state.editor.xtext.scoping.UmlStateScopeProvider;
+import org.eclipse.papyrus.state.editor.xtext.umlState.BehaviorKind;
+import org.eclipse.papyrus.state.editor.xtext.umlState.DoRule;
+import org.eclipse.papyrus.state.editor.xtext.umlState.EntryRule;
+import org.eclipse.papyrus.state.editor.xtext.umlState.ExitRule;
+import org.eclipse.papyrus.state.editor.xtext.umlState.StateRule;
+import org.eclipse.papyrus.state.editor.xtext.umlState.UmlStatePackage;
+import org.eclipse.uml2.uml.Activity;
+import org.eclipse.uml2.uml.Behavior;
+import org.eclipse.uml2.uml.OpaqueBehavior;
+import org.eclipse.uml2.uml.StateMachine;
+import org.eclipse.uml2.uml.Vertex;
+import org.eclipse.xtext.validation.Check;
+ 
+
+public class UmlStateJavaValidator extends AbstractUmlStateJavaValidator {
+
+//	@Check
+//	public void checkGreetingStartsWithCapital(Greeting greeting) {
+//		if (!Character.isUpperCase(greeting.getName().charAt(0))) {
+//			warning("Name should start with a capital", MyDslPackage.GREETING__NAME);
+//		}
+//	}
+
+	
+	/**
+	 * First checks if the new name being attributed to the edited state is already used by another state in the region.
+	 * Then, notifies (via warning) any of the potential Behavior deletion implied by the textual specification 
+	 * (either DoActivity, Enty, or Exit behaviors)
+	 * 
+	 * @param stateRule
+	 */
+	@Check
+	public void checkStateName (StateRule stateRule) {
+		if (UmlStateScopeProvider.context == null)
+			return ;
+		
+		if (stateRule.getName() == null || stateRule.getName().equals(""))
+			return ;
+		
+		//
+		// first, checks if the new name of the State is already used by another state in the region
+		//
+		org.eclipse.uml2.uml.State editedState = (org.eclipse.uml2.uml.State) UmlStateScopeProvider.context ;
+		List<String> alreadyUsedNames = new ArrayList<String>() ;
+		
+		for (Vertex v : editedState.getContainer().getSubvertices()) {
+			if (v instanceof org.eclipse.uml2.uml.State) {
+				org.eclipse.uml2.uml.State s = (org.eclipse.uml2.uml.State) v ;
+				if (s != editedState) {
+					alreadyUsedNames.add("" + s.getName()) ;
+				}
+			}
+		}
+		
+		String newName = "" + stateRule.getName() ;
+		
+		if (alreadyUsedNames.contains("" + newName))
+			warning("Name " + newName + " is already used by another State in this Region", UmlStatePackage.STATE_RULE__NAME) ;
+		
+		//
+		// Then, checks if the textual specification implies deletion of the DoActivity, Entry or Exit behavior
+		// and raises warnings accordingly
+		//
+		
+		boolean deletionOfDoActivity = editedState.getDoActivity()!=null && stateRule.getDo()==null ;
+		boolean deletionOfExit = editedState.getExit()!=null && stateRule.getExit()==null ;
+		boolean deletionOfEntry = editedState.getEntry()!=null && stateRule.getEntry()==null;
+		
+		if (deletionOfDoActivity) {
+			warning(getBehaviorKindAsString(
+						getBehaviorKind(editedState.getDoActivity())
+					)
+					+ " "
+					+ editedState.getDoActivity().getName()
+					+ " will be deleted", UmlStatePackage.STATE_RULE__NAME) ;
+		}
+		
+		if (deletionOfExit) {
+			warning(getBehaviorKindAsString(
+						getBehaviorKind(editedState.getExit())
+					)
+					+ " "
+					+ editedState.getExit().getName()
+					+ " will be deleted", UmlStatePackage.STATE_RULE__NAME) ;
+		}
+		
+		if (deletionOfEntry) {
+			warning(getBehaviorKindAsString(
+						getBehaviorKind(editedState.getEntry())
+					)
+					+ " "
+					+ editedState.getEntry().getName()
+					+ " will be deleted", UmlStatePackage.STATE_RULE__NAME) ;
+		}
+	}
+	
+	/**
+	 * Notifies (via a Warning) the potential impact of changing the kind (i.e., Activity, StateMachine or OpaqueBehavior) 
+	 * of the DoActivity behavior.
+	 * 
+	 * @param doRule
+	 */
+	@Check
+	public void checkDoRule (DoRule doRule) {
+		if (UmlStateScopeProvider.context == null)
+			return ;
+		if (doRule.getKind() == null)
+			return ;
+		if (doRule.getBehaviorName() == null || doRule.getBehaviorName().equals(""))
+			return ;
+		
+		org.eclipse.uml2.uml.State editedState = (org.eclipse.uml2.uml.State) UmlStateScopeProvider.context ;
+		BehaviorKind oldDoKind = getBehaviorKind(editedState.getDoActivity()) ;
+		BehaviorKind newDoKind = doRule.getKind() ;
+		if (oldDoKind != null) {
+			if (oldDoKind != newDoKind) {
+				warning("Changing the kind of " 
+						+ doRule.getBehaviorName() 
+						+ " from <<" 
+						+ getBehaviorKindAsString(oldDoKind)
+						+ ">> to <<"
+						+ getBehaviorKindAsString(newDoKind)
+						+ ">> will cause the deletion of "
+						+ getBehaviorKindAsString(oldDoKind)
+						+ " "
+						+ doRule.getBehaviorName()
+						+ ". Any changes made to "
+						+ getBehaviorKindAsString(oldDoKind)
+						+ " "
+						+ doRule.getBehaviorName()
+						+ " will be lost", UmlStatePackage.DO_RULE__KIND) ;
+			}
+		}
+	}
+	
+	/**
+	 * Notifies (via a Warning) the potential impact of changing the kind (i.e., Activity, StateMachine or OpaqueBehavior) 
+	 * of the Entry behavior.
+	 * 
+	 * @param entryRule
+	 */
+	@Check
+	public void checkEntryRule (EntryRule entryRule) {
+		if (UmlStateScopeProvider.context == null)
+			return ;
+		if (entryRule.getKind() == null)
+			return ;
+		if (entryRule.getBehaviorName() == null || entryRule.getBehaviorName().equals(""))
+			return ;
+		
+		org.eclipse.uml2.uml.State editedState = (org.eclipse.uml2.uml.State) UmlStateScopeProvider.context ;
+		BehaviorKind oldDoKind = getBehaviorKind(editedState.getEntry()) ;
+		BehaviorKind newDoKind = entryRule.getKind() ;
+		if (oldDoKind != null) {
+			if (oldDoKind != newDoKind) {
+				warning("Changing the kind of " 
+						+ entryRule.getBehaviorName() 
+						+ " from <<" 
+						+ getBehaviorKindAsString(oldDoKind)
+						+ ">> to <<"
+						+ getBehaviorKindAsString(newDoKind)
+						+ ">> will cause the deletion of "
+						+ getBehaviorKindAsString(oldDoKind)
+						+ " "
+						+ entryRule.getBehaviorName()
+						+ ". Any changes made to "
+						+ getBehaviorKindAsString(oldDoKind)
+						+ " "
+						+ entryRule.getBehaviorName()
+						+ " will be lost", UmlStatePackage.ENTRY_RULE__KIND) ;
+			}
+		}
+	}
+	
+	/**
+	 * Notifies (via a Warning) the potential impact of changing the kind (i.e., Activity, StateMachine or OpaqueBehavior) 
+	 * of the Entry behavior.
+	 * 
+	 * @param exitRule
+	 */
+	@Check
+	public void checkExitRule (ExitRule exitRule) {
+		if (UmlStateScopeProvider.context == null)
+			return ;
+		if (exitRule.getKind() == null)
+			return ;
+		if (exitRule.getBehaviorName() == null || exitRule.getBehaviorName().equals(""))
+			return ;
+		
+		org.eclipse.uml2.uml.State editedState = (org.eclipse.uml2.uml.State) UmlStateScopeProvider.context ;
+		BehaviorKind oldDoKind = getBehaviorKind(editedState.getExit()) ;
+		BehaviorKind newDoKind = exitRule.getKind() ;
+		if (oldDoKind != null) {
+			if (oldDoKind != newDoKind) {
+				warning("Changing the kind of " 
+						+ exitRule.getBehaviorName() 
+						+ " from <<" 
+						+ getBehaviorKindAsString(oldDoKind)
+						+ ">> to <<"
+						+ getBehaviorKindAsString(newDoKind)
+						+ ">> will cause the deletion of "
+						+ getBehaviorKindAsString(oldDoKind)
+						+ " "
+						+ exitRule.getBehaviorName()
+						+ ". Any changes made to "
+						+ getBehaviorKindAsString(oldDoKind)
+						+ " "
+						+ exitRule.getBehaviorName()
+						+ " will be lost", UmlStatePackage.EXIT_RULE__KIND) ;
+			}
+		}
+	}
+	
+	private static BehaviorKind getBehaviorKind(Behavior behavior) {
+		if (behavior == null)
+			return null ;
+		if (behavior instanceof Activity)
+			return BehaviorKind.ACTIVITY ;
+		if (behavior instanceof OpaqueBehavior)
+			return BehaviorKind.OPAQUE_BEHAVIOR ;
+		if (behavior instanceof StateMachine)
+			return BehaviorKind.STATE_MACHINE ;
+		return null ;
+	}
+	
+	private static String getBehaviorKindAsString(BehaviorKind behaviorKind) {
+		if (behaviorKind == BehaviorKind.ACTIVITY)
+			return "Activity" ;
+		if (behaviorKind == BehaviorKind.OPAQUE_BEHAVIOR)
+			return "OpaqueBehavior" ;
+		if (behaviorKind == BehaviorKind.STATE_MACHINE)
+			return "StateMachine" ;
+		return "" ;
+	}
+}