Home
last modified time | relevance | path

Searched refs:destructorName (Results 1 – 12 of 12) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB2.cpp1031 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 DtclOOBasic.c1018 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 DtclOOInt.h313 Tcl_Obj *destructorName; /* Shared object containing the "name" of a member
H A DtclOO.c349 TclNewLiteralStringObj(fPtr->destructorName, "<destructor>"); in InitFoundation()
354 Tcl_IncrRefCount(fPtr->destructorName); in InitFoundation()
591 TclDecrRefCount(fPtr->destructorName); in KillFoundation()
H A DtclOOCall.c1553 ? fPtr->destructorName in TclOORenderCallChain()
H A DtclOOMethod.c807 fdPtr->nameObj = contextPtr->oPtr->fPtr->destructorName; in PushMethodCallFrame()
/dports/lang/tcl87/tcl8.7a5/generic/
H A DtclOOBasic.c1112 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 DtclOOInt.h365 Tcl_Obj *destructorName; /* Shared object containing the "name" of a member
H A DtclOO.c334 TclNewLiteralStringObj(fPtr->destructorName, "<destructor>"); in InitFoundation()
339 Tcl_IncrRefCount(fPtr->destructorName); in InitFoundation()
584 TclDecrRefCount(fPtr->destructorName); in KillFoundation()
H A DtclOOMethod.c808 fdPtr->nameObj = contextPtr->oPtr->fPtr->destructorName; in PushMethodCallFrame()
H A DtclOOCall.c1835 callPtr->flags & DESTRUCTOR ? fPtr->destructorName : in TclOORenderCallChain()
/dports/devel/qtcreator/qt-creator-opensource-src-5.0.3/src/plugins/cppeditor/
H A Dcppquickfixes.cpp7861 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()