blob: d9bfaa37263c46543574164152e81f066a4a3539 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
/*******************************************************************************
* Copyright (c) 2012 protos software gmbh (http://www.protos.de).
* 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:
* Henrik Rentz-Reichert (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.ExpandedActorClass;
import org.eclipse.etrice.core.room.ActorClass;
import org.eclipse.etrice.core.room.GeneralProtocolClass;
import org.eclipse.etrice.core.room.InterfaceItem;
import org.eclipse.etrice.core.room.ProtocolClass;
import org.eclipse.etrice.core.room.State;
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 {
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) {
if (!(object instanceof ActorClass))
return;
ActorClass ac = (ActorClass) object;
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 (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 (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);
ExpandedActorClass xpac = builder.createExpandedActorClass(ac);
if (xpac != null && !diagnostician.isFailed() ) {
SemanticsCheck checker = new SemanticsCheck(xpac);
checker.checkSemantics();
// System.out.println("Final printing of rules : ");
// checker.printRules();
if (traceExec)
System.out.println(" Rule checking for " + xpac.getActorClass().getName() + " is over");
TreeIterator<EObject> it = xpac.getStateMachine().eAllContents();
while(it.hasNext())
{
EObject obj = it.next();
if(obj instanceof State)
{
ProposalGenerator propGen = new ProposalGenerator(xpac,checker);
State st = (State) obj;
propGen.createProposals(st, messageAcceptor);
}
}
if (traceExec)
System.out.println("AbstractExecutionValidator done checking class " + ac.getName());
}
}
}
}
|
