diff options
Diffstat (limited to 'plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/AbstractExecutionValidator.java')
| -rw-r--r-- | plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/AbstractExecutionValidator.java | 200 |
1 files changed, 162 insertions, 38 deletions
diff --git a/plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/AbstractExecutionValidator.java b/plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/AbstractExecutionValidator.java index f6af883b3..5288a4d30 100644 --- a/plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/AbstractExecutionValidator.java +++ b/plugins/org.eclipse.etrice.abstractexec.behavior/src/org/eclipse/etrice/abstractexec/behavior/AbstractExecutionValidator.java @@ -1,97 +1,141 @@ /*******************************************************************************
- * Copyright (c) 2012 protos software gmbh (http://www.protos.de).
- * All rights reserved. This program and the accompanying materials
+ * Copyright (c) 2012 Rohit Agrawal
+ * 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:
- * Henrik Rentz-Reichert (initial contribution)
+ * Rohit Agrawal (initial contribution)
*
*******************************************************************************/
+
package org.eclipse.etrice.abstractexec.behavior;
import java.util.List;
+import org.eclipse.core.runtime.Platform;
import org.eclipse.emf.common.util.TreeIterator;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.etrice.core.genmodel.base.NullDiagnostician;
import org.eclipse.etrice.core.genmodel.base.NullLogger;
import org.eclipse.etrice.core.genmodel.builder.GeneratorModelBuilder;
+import org.eclipse.etrice.core.genmodel.etricegen.ActiveTrigger;
import org.eclipse.etrice.core.genmodel.etricegen.ExpandedActorClass;
import org.eclipse.etrice.core.room.ActorClass;
+import org.eclipse.etrice.core.room.DetailCode;
import org.eclipse.etrice.core.room.GeneralProtocolClass;
import org.eclipse.etrice.core.room.InterfaceItem;
+import org.eclipse.etrice.core.room.MessageFromIf;
import org.eclipse.etrice.core.room.ProtocolClass;
+import org.eclipse.etrice.core.room.State;
import org.eclipse.etrice.core.room.StateGraphItem;
+import org.eclipse.etrice.core.room.Trigger;
+import org.eclipse.etrice.core.room.TriggeredTransition;
import org.eclipse.etrice.core.room.util.RoomHelpers;
import org.eclipse.etrice.core.validation.IRoomValidator;
import org.eclipse.xtext.validation.ValidationMessageAcceptor;
/**
* @author rentzhnr
- *
+ *
*/
public class AbstractExecutionValidator implements IRoomValidator {
- /* (non-Javadoc)
- * @see org.eclipse.etrice.core.validation.IRoomValidator#validate(org.eclipse.emf.ecore.EObject, org.eclipse.xtext.validation.ValidationMessageAcceptor)
+ private static boolean traceExec = false;
+ private static String traceName = "";
+ static {
+ if (Activator.getDefault().isDebugging()) {
+ String value = Platform
+ .getDebugOption("org.eclipse.etrice.abstractexec.behavior/trace/abstractexec");
+ if (value != null && value.equalsIgnoreCase(Boolean.toString(true))) {
+ traceExec = true;
+ }
+ traceName = Platform
+ .getDebugOption("org.eclipse.etrice.abstractexec.behavior/trace/abstractexec/name");
+ }
+ }
+
+ /*
+ * (non-Javadoc)
+ *
+ * @see
+ * org.eclipse.etrice.core.validation.IRoomValidator#validate(org.eclipse
+ * .emf.ecore.EObject,
+ * org.eclipse.xtext.validation.ValidationMessageAcceptor)
*/
@Override
- public void validate(EObject object, ValidationMessageAcceptor messageAcceptor) {
+ public void validate(EObject object,
+ ValidationMessageAcceptor messageAcceptor) {
if (!(object instanceof ActorClass))
return;
-
ActorClass ac = (ActorClass) object;
-
- boolean allProtocolsWithSemantics = true;
+ if (traceExec && !ac.getName().equals(traceName))
+ return;
+ if (traceExec)
+ System.out.println("AbstractExecutionValidator checking class "
+ + ac.getName());
+ boolean oneProtocolsWithSemantics = false;
List<InterfaceItem> ifItems = RoomHelpers.getAllInterfaceItems(ac);
for (InterfaceItem item : ifItems) {
GeneralProtocolClass pc = item.getGeneralProtocol();
if (!(pc instanceof ProtocolClass))
continue;
- if (((ProtocolClass) pc).getSemantics() == null) {
- allProtocolsWithSemantics = false;
+ if (traceExec)
+ System.out.println(" Checking protocolClass " + pc.getName()
+ + " for semantics");
+ if (((ProtocolClass) pc).getSemantics() != null) {
+ oneProtocolsWithSemantics = true;
+ if (traceExec)
+ System.out
+ .println(" Will execute because semantics defined for "
+ + pc.getName());
break;
}
}
-
- if (allProtocolsWithSemantics) {
+ if (oneProtocolsWithSemantics) {
// begin abstract execution on state machine of expanded actor class
-
+ System.out
+ .println(" Reached where at least one interface items has semantics");
NullDiagnostician diagnostician = new NullDiagnostician();
- GeneratorModelBuilder builder = new GeneratorModelBuilder(new NullLogger(), diagnostician);
+ GeneratorModelBuilder builder = new GeneratorModelBuilder(
+ new NullLogger(), diagnostician);
ExpandedActorClass xpac = builder.createExpandedActorClass(ac);
-
+
if (xpac != null && !diagnostician.isFailed()) {
- // ActionCodeAnalyzer analyzer = new ActionCodeAnalyzer(ac);
-// ReachabilityCheck checker = new ReachabilityCheck(xpac);
-// checker.computeReachability();
+ SemanticsCheck checker = new SemanticsCheck(xpac);
+ checker.checkSemantics();
+
+ if (traceExec)
+ System.out.println(" Rule checking for "
+ + xpac.getActorClass().getName() + " is over");
- TreeIterator<EObject> it = xpac.getStateMachine().eAllContents();
+ TreeIterator<EObject> it = xpac.getStateMachine()
+ .eAllContents();
while (it.hasNext()) {
- EObject item = it.next();
- if (item instanceof StateGraphItem)
- {
-// StateGraphItem toCheck = (StateGraphItem) item;
-// if (false/*!checker.isReachable(toCheck)*/) {
-// System.out.println("Unreachable "+ toCheck.getName());
-//
-// EObject orig = xpac.getOrig(toCheck);
-// EObject container = orig.eContainer();
-// @SuppressWarnings("unchecked")
-// int idx = ((List<? extends EObject>)container.eGet(orig.eContainingFeature())).indexOf(orig);
-//
-// messageAcceptor.acceptWarning(
-// "Unreachable state/point of graph",
-// container, toCheck.eContainingFeature(), idx,
-// "UNREACHABLE", toCheck.getName());
-// }
+ EObject obj = it.next();
+ if (obj instanceof State) {
+ ProposalGenerator propGen = new ProposalGenerator(xpac,
+ checker);
+ State st = (State) obj;
+ propGen.createProposals(st);
+ createMarkersForProposals(propGen, messageAcceptor, st,
+ xpac);
+ }
+ // the following part takes care of all the warnings
+ if (obj instanceof StateGraphItem) {
+ StateGraphItem item = (StateGraphItem) obj;
+ createMarkersForWarnings(checker, messageAcceptor,
+ item, xpac);
}
}
+ if (traceExec)
+ System.out
+ .println("AbstractExecutionValidator done checking class "
+ + ac.getName());
}
}
}
@@ -106,4 +150,84 @@ public class AbstractExecutionValidator implements IRoomValidator { return "This validator checks the state machine against the protocol semantics of its ports.";
}
+ private void createMarkersForProposals(ProposalGenerator propGen,
+ ValidationMessageAcceptor messageAcceptor, State st,
+ ExpandedActorClass xpac) {
+ List<MessageFromIf> incoming = propGen.getIncomingProposals();
+ EObject orig = xpac.getOrig(st);
+ EObject container = orig.eContainer();
+ @SuppressWarnings("unchecked")
+ int idx = ((List<? extends EObject>) container.eGet(orig
+ .eContainingFeature())).indexOf(orig);
+
+ for (MessageFromIf msg : incoming) {
+ messageAcceptor.acceptWarning("State should handle the message "
+ + msg.getMessage().getName() + " from port "
+ + msg.getFrom().getName() + " ", container,
+ orig.eContainingFeature(), idx, "Receive message",
+ st.getName());
+ }
+ List<MessageFromIf> outgoing = propGen.getOutgoingProposals();
+
+ for (MessageFromIf msg : outgoing) {
+ messageAcceptor.acceptInfo("State could send the message "
+ + msg.getMessage().getName() + " to port "
+ + msg.getFrom().getName() + " ", container,
+ orig.eContainingFeature(), idx, "Send message",
+ st.getName());
+
+ }
+
+ }
+
+ private void createMarkersForWarnings(SemanticsCheck checker,
+ ValidationMessageAcceptor messageAcceptor, StateGraphItem item,
+ ExpandedActorClass xpac) {
+ List<HandledMessage> warningList = checker.getWarningMsg(item);
+ if (traceExec && warningList != null) {
+ System.out.println("Messages in the warning list for item "
+ + item.getName());
+ }
+ if (warningList != null)
+ for (HandledMessage msg : warningList) {
+ EObject origin = msg.getOrigin();
+ if (origin instanceof ActiveTrigger) {
+ ActiveTrigger trigger = (ActiveTrigger) origin;
+ for (TriggeredTransition trans : trigger.getTransitions()) {
+ // have to translate back the transition to our original
+ // model
+ TriggeredTransition orig = (TriggeredTransition) xpac
+ .getOrig(trans);
+ for (Trigger trig : orig.getTriggers()) {
+ for (MessageFromIf mif : trig.getMsgFromIfPairs()) {
+ // messages haven't been copied, so all point to
+ // the same objects and we can just compare
+ // pointers
+ if (mif.getMessage() == msg.getMsg()
+ && mif.getFrom() == msg.getIfitem()) {
+ messageAcceptor
+ .acceptWarning(
+ "The message violates the semantic rule",
+ trig,
+ mif.eContainingFeature(),
+ trig.getMsgFromIfPairs()
+ .indexOf(trig),
+ "VIOLATION", trigger
+ .getMsg().getName());
+ }
+ }
+ }
+ }
+ } else if (origin instanceof DetailCode) {
+ DetailCode dc = (DetailCode) origin;
+ EObject orig = xpac.getOrig(dc);
+ messageAcceptor.acceptWarning(
+ "The message violates the semantic rule",
+ orig.eContainer(), orig.eContainingFeature(),
+ ValidationMessageAcceptor.INSIGNIFICANT_INDEX,
+ "VIOLATION");
+
+ }
+ }
+ }
}
|