Home
last modified time | relevance | path

Searched refs:donateSorts2 (Results 1 – 4 of 4) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A DrenameModule.cc71 donateSorts2(copy, canonical); in finishCopy()
126 ImportModule::donateSorts2(ImportModule* copy, Renaming* renaming) in donateSorts2() function in ImportModule
H A DimportModule.hh146 void donateSorts2(ImportModule* copy, Renaming* renaming = 0);
H A DimportModule.cc292 donateSorts2(importer); in donateSorts()
H A DChangeLog985 (ImportModule::donateOps2, ImportModule::donateSorts2): added
3149 * renameModule.cc (donateSorts2): handle the case where we have a
3159 * renameModule.cc (donateSorts2): update sortDeclaredInModule
5728 (donateSorts2): use localSort2()
5755 (donateSorts2): findSort() -> localSort()
5759 donateRenamedSorts() with donateSorts2(); added decl for
5762 * renameModule.cc (makeRenamedCopy): use donateSorts2()
5764 * importModule.cc (donateSorts): use donateSorts2()
5768 (donateRenamedSorts): becomes donateSorts2(); handle null renaming