blob: e87b886542dff73ee992d8e8fcffdc5946aba043 (
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
|
package hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft;
import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree;
import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent;
import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel;
import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree;
import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory;
import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel;
import hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft.EventMaterializer;
import hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft.FaultTreeBuilder;
import org.eclipse.xtext.xbase.lib.ObjectExtensions;
import org.eclipse.xtext.xbase.lib.Procedures.Procedure1;
@SuppressWarnings("all")
public class Cft2FtTransformation {
public ReliabilityModel createFaultTree(final ComponentFaultTree componentFaultTree) {
ReliabilityModel _xblockexpression = null;
{
final EventMaterializer materializer = new EventMaterializer();
final Event topEvent = materializer.getOrMaterialize(componentFaultTree.getTopEvent());
ReliabilityModel _switchResult = null;
boolean _matched = false;
if (topEvent instanceof ConstantEvent) {
_matched=true;
ConstantModel _createConstantModel = FtFactory.eINSTANCE.createConstantModel();
final Procedure1<ConstantModel> _function = (ConstantModel it) -> {
it.setFailed(((ConstantEvent)topEvent).isFailed());
};
_switchResult = ObjectExtensions.<ConstantModel>operator_doubleArrow(_createConstantModel, _function);
}
if (!_matched) {
if (topEvent instanceof RandomEvent) {
_matched=true;
FaultTree _xblockexpression_1 = null;
{
final FaultTreeBuilder builder = new FaultTreeBuilder();
builder.addTopLevel(((RandomEvent)topEvent));
_xblockexpression_1 = builder.getFaultTree();
}
_switchResult = _xblockexpression_1;
}
}
_xblockexpression = _switchResult;
}
return _xblockexpression;
}
}
|
