C# (CSharp) DataDictionary.Generated Specification.__setDirty Beispiele

Beispiel #1

Datei: DataDictionary.Generated.cs Projekt: GautierBerck/ERTMSFormalSpecs

 public void appendSpecifications(Lock aLock,Specification el)
 {
     __setDirty(true);
       el.__setDirty(true);
       allSpecifications().Add(el);
       acceptor.connectSon (this, el);
     NotifyControllers(aLock);
 }