Searched refs:destructorName (Results 1 – 12 of 12) sorted by relevance
/dports/math/vampire/vampire-4.5.1/Parse/ |
H A D | SMTLIB2.cpp | 1031 vstring destructorName = destructorNames[i]; in buildTermAlgebraConstructor() local 1034 if (isAlreadyKnownFunctionSymbol(destructorName)) { in buildTermAlgebraConstructor() 1035 USER_ERROR("Redeclaring function symbol: " + destructorName); in buildTermAlgebraConstructor() 1040 unsigned destructorFunctor = isPredicate ? env.signature->addPredicate(destructorName, 1, added) in buildTermAlgebraConstructor() 1041 … : env.signature->addFunction(destructorName, 1, added); in buildTermAlgebraConstructor() 1047 LOG1("build destructor "+destructorName+": "+destructorType->toString()); in buildTermAlgebraConstructor() 1055 ALWAYS(_declaredFunctions.insert(destructorName, make_pair(destructorFunctor, !isPredicate))); in buildTermAlgebraConstructor()
|
/dports/lang/tcl86/tcl8.6.12/generic/ |
H A D | tclOOBasic.c | 1018 Tcl_SetObjResult(interp, contextPtr->oPtr->fPtr->destructorName); in TclOOSelfObjCmd() 1080 result[2] = declarerPtr->fPtr->destructorName; in TclOOSelfObjCmd() 1111 result[1] = declarerPtr->fPtr->destructorName; in TclOOSelfObjCmd()
|
H A D | tclOOInt.h | 313 Tcl_Obj *destructorName; /* Shared object containing the "name" of a member
|
H A D | tclOO.c | 349 TclNewLiteralStringObj(fPtr->destructorName, "<destructor>"); in InitFoundation() 354 Tcl_IncrRefCount(fPtr->destructorName); in InitFoundation() 591 TclDecrRefCount(fPtr->destructorName); in KillFoundation()
|
H A D | tclOOCall.c | 1553 ? fPtr->destructorName in TclOORenderCallChain()
|
H A D | tclOOMethod.c | 807 fdPtr->nameObj = contextPtr->oPtr->fPtr->destructorName; in PushMethodCallFrame()
|
/dports/lang/tcl87/tcl8.7a5/generic/ |
H A D | tclOOBasic.c | 1112 Tcl_SetObjResult(interp, contextPtr->oPtr->fPtr->destructorName); in TclOOSelfObjCmd() 1174 result[2] = declarerPtr->fPtr->destructorName; in TclOOSelfObjCmd() 1205 result[1] = declarerPtr->fPtr->destructorName; in TclOOSelfObjCmd()
|
H A D | tclOOInt.h | 365 Tcl_Obj *destructorName; /* Shared object containing the "name" of a member
|
H A D | tclOO.c | 334 TclNewLiteralStringObj(fPtr->destructorName, "<destructor>"); in InitFoundation() 339 Tcl_IncrRefCount(fPtr->destructorName); in InitFoundation() 584 TclDecrRefCount(fPtr->destructorName); in KillFoundation()
|
H A D | tclOOMethod.c | 808 fdPtr->nameObj = contextPtr->oPtr->fPtr->destructorName; in PushMethodCallFrame()
|
H A D | tclOOCall.c | 1835 callPtr->flags & DESTRUCTOR ? fPtr->destructorName : in TclOORenderCallChain()
|
/dports/devel/qtcreator/qt-creator-opensource-src-5.0.3/src/plugins/cppeditor/ |
H A D | cppquickfixes.cpp | 7861 DestructorNameAST *destructorName = ast->name->asDestructorName(); in insertMissingNamespace() local 7862 if (destructorName) in insertMissingNamespace() 7863 … m_changeSet.insert(m_file->startOf(destructorName->unqualified_name), m_missingNamespace); in insertMissingNamespace()
|