Searched defs:baseSort (Results 1 – 7 of 7) sorted by relevance
/dports/lang/maude/maude-2.7.1/src/Mixfix/ |
H A D | quotedIdentifierSymbol.hh | 52 Sort* baseSort; member in QuotedIdentifierSymbol
|
/dports/devel/splint/splint-3.1.2/src/ |
H A D | sort.c | 238 sort_construct (lsymbol name, sortKind kind, sort baseSort, in sort_construct() 290 sort_constructAbstract (lsymbol name, bool mut, sort baseSort) in sort_constructAbstract() 530 sort baseSort, handle; in sort_makeObj() local 609 sort_makePtr (ltoken t, sort baseSort) in sort_makePtr() 692 sort_makeArr (ltoken t, sort baseSort) in sort_makeArr() 769 sort baseSort, handle, elementSort; in sort_makeVec() local 943 sort immutable_old, handle, baseSort; in sort_makeMutable() local 1580 genPtrOps (/*@unused@*/ sort baseSort, sort ptrSort, sort arraySort) in genPtrOps() 1607 genArrOps (sort baseSort, sort arraySort, int dim, /*@unused@*/ sort vecSort) in genArrOps() 1665 genVecOps (sort baseSort, sort vecSort, int dim) in genVecOps()
|
/dports/editors/libreoffice/libreoffice-7.2.6.2/unodevtools/source/skeletonmaker/ |
H A D | javatypemaker.cxx | 144 codemaker::UnoType::Sort baseSort = manager->getSort( in printConstructorParameters() local 220 codemaker::UnoType::Sort baseSort = manager->getSort( in printConstructorParameters() local
|
H A D | cpptypemaker.cxx | 157 codemaker::UnoType::Sort baseSort = manager->getSort( in printConstructorParameters() local 233 codemaker::UnoType::Sort baseSort = manager->getSort( in printConstructorParameters() local
|
/dports/editors/libreoffice6/libreoffice-6.4.7.2/unodevtools/source/skeletonmaker/ |
H A D | javatypemaker.cxx | 143 codemaker::UnoType::Sort baseSort = manager->getSort( in printConstructorParameters() local 219 codemaker::UnoType::Sort baseSort = manager->getSort( in printConstructorParameters() local
|
H A D | cpptypemaker.cxx | 156 codemaker::UnoType::Sort baseSort = manager->getSort( in printConstructorParameters() local 232 codemaker::UnoType::Sort baseSort = manager->getSort( in printConstructorParameters() local
|
/dports/devel/splint/splint-3.1.2/src/Headers/ |
H A D | sort.h | 79 sort baseSort; member
|