public class TransformIsolated
extends java.lang.Object
Constructor and Description |
---|
TransformIsolated() |
Modifier and Type | Method and Description |
---|---|
static edu.cmu.sei.aadl.errorannex.ErrorModelImplementation |
IsolatedEM2PetriNet(InstanceObject iobj,
PetriNet.PetriNet pn) |
public static edu.cmu.sei.aadl.errorannex.ErrorModelImplementation IsolatedEM2PetriNet(InstanceObject iobj, PetriNet.PetriNet pn)
InstanceObjcet
- iobj (whose error model to be transformed)PetriNet
- pn (to which the petri net subnet is attached)ErrorModelImplementation
of iobj or null if it doesn't have one