public class Structure
extends java.lang.Object
Constructor and Description |
---|
Structure(edu.cmu.sei.aadl.errorannex.ErrorPropagation ep,
PetriNet.Place p,
PetriNet.Transition t)
Create a new instance of object Structure
|
Modifier and Type | Method and Description |
---|---|
PetriNet.Place |
getPlace() |
static org.eclipse.emf.common.util.EList |
putHashtableElementsInList(java.util.Hashtable source)
Puts all elements of type EList from the hashtable in an EList
|
public Structure(edu.cmu.sei.aadl.errorannex.ErrorPropagation ep, PetriNet.Place p, PetriNet.Transition t)
ep
- ErrorPropagationp
- Placet
- Transitionpublic PetriNet.Place getPlace()
public static org.eclipse.emf.common.util.EList putHashtableElementsInList(java.util.Hashtable source)
table_dest
- Hashtabletable
- Hashtable