public class TransfomNameMatchingPropag
extends java.lang.Object
Constructor and Description |
---|
TransfomNameMatchingPropag() |
Modifier and Type | Method and Description |
---|---|
static java.util.Hashtable |
NameMatchingPropag2PetriNet(InstanceObject iobj,
edu.cmu.sei.aadl.errorannex.ErrorModelImplementation emi,
org.eclipse.emf.common.util.EList UpperComponentsEM,
PetriNet.PetriNet pn)
This method creates a subnet for each name-matching couple of propagations
It considers each out propagation and calls the method createNameMatchingSubnet
that searches for name-matching in propagations and generates corresponding subnets
|
public static java.util.Hashtable NameMatchingPropag2PetriNet(InstanceObject iobj, edu.cmu.sei.aadl.errorannex.ErrorModelImplementation emi, org.eclipse.emf.common.util.EList UpperComponentsEM, PetriNet.PetriNet pn)
InstanceObject
- iobj (sender)ErrorModelImplementation
- emiEList
- of components to processThe
- PetriNet pn (to which to attach the subnet)