this.setInterfaces(interfaces_); this.setTypeDecls(typeDecls_); this.setPerSyncs(perSyncs_); this.setMutexSyncs(mutexSyncs_);
this.setInterfaces(interfaces_); this.setTypeDecls(typeDecls_); this.setPerSyncs(perSyncs_); this.setMutexSyncs(mutexSyncs_);