modeltype EDSPN "strict" uses eDSPN(".../eDSPN"); library eDSPNConstructors(){ property randomSequence:Sequence(Integer) = Sequence{1,2,3,4,5,6,7,8,9}; /** Constructors **/ constructor Label::Label(given_text : String) { ... } }
modeltype UML "strict" uses uml("http://www.eclipse.org/uml2/5.0.0/UML"); modeltype EDSPN "strict" uses eDSPN(".../eDSPN"); transformation AS2UPetriNetTransformation(in uml:UML, out net:EDSPN) extends library eDSPNConstructors();
extends eDSPNConstructors();
import libraryName;