| /dports/lang/maude/maude-2.7.1/src/Mixfix/ |
| H A D | preModule.hh | 44 MixfixModule::ModuleType getModuleType() const;
77 PreModule::getModuleType() const in getModuleType() function in PreModule
|
| H A D | importModule.cc | 106 ModuleType t = importedModule->getModuleType(); in addImport()
117 if (!canImport(getModuleType(), t)) in addImport()
126 QUOTE(moduleTypeString(getModuleType())) << in addImport()
146 ModuleType t = parameterTheory->getModuleType(); in addParameter()
147 WarningCheck(canHaveAsParameter(getModuleType(), t), in addParameter()
149 QUOTE(moduleTypeString(getModuleType())) << " by " << in addParameter()
|
| H A D | syntacticPreModule.cc | 219 if (MixfixModule::isTheory(getModuleType())) in addParameter()
248 if (getModuleType() == MixfixModule::FUNCTIONAL_THEORY) in addStatement()
253 else if (getModuleType() == MixfixModule::FUNCTIONAL_MODULE) in addStatement()
|
| H A D | moduleCache.cc | 266 MixfixModule::ModuleType moduleType = (*i)->getModuleType(); in makeSummation()
268 moduleType = MixfixModule::join(moduleType, (*i)->getModuleType()); in makeSummation()
348 s << MixfixModule::moduleTypeString(m->getModuleType()) << ' ' << m << '\n'; in showCreatedModules()
|
| /dports/www/ilias/ILIAS-5.4.25/Services/WebAccessChecker/classes/ |
| H A D | class.ilWACSecurePath.php | 43 $obj = self::find($ilWACPath->getModuleType());
69 $obj = self::find($ilWACPath->getModuleType());
|
| /dports/www/ilias6/ILIAS-6.14/Services/WebAccessChecker/classes/ |
| H A D | class.ilWACSecurePath.php | 43 $obj = self::find($ilWACPath->getModuleType());
69 $obj = self::find($ilWACPath->getModuleType());
|
| /dports/editors/libreoffice/libreoffice-7.2.6.2/vbahelper/source/vbahelper/ |
| H A D | vbaeventshelperbase.cxx | 168 if( getModuleType( aModuleName ) == script::ModuleType::NORMAL ) in changesOccurred()
323 sal_Int32 VbaEventsHelperBase::getModuleType( const OUString& rModuleName ) in getModuleType() function in VbaEventsHelperBase
346 sal_Int32 nModuleType = getModuleType( rModuleName ); in updateModulePathMap()
|
| /dports/editors/libreoffice6/libreoffice-6.4.7.2/vbahelper/source/vbahelper/ |
| H A D | vbaeventshelperbase.cxx | 168 if( getModuleType( aModuleName ) == script::ModuleType::NORMAL ) in changesOccurred()
321 sal_Int32 VbaEventsHelperBase::getModuleType( const OUString& rModuleName ) in getModuleType() function in VbaEventsHelperBase
344 sal_Int32 nModuleType = getModuleType( rModuleName ); in updateModulePathMap()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/source/tree/ |
| H A D | ModuleTree.java | 55 ModuleKind getModuleType(); in getModuleType() method
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.compiler/share/classes/com/sun/source/tree/ |
| H A D | ModuleTree.java | 55 ModuleKind getModuleType(); in getModuleType() method
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.compiler/share/classes/com/sun/source/tree/ |
| H A D | ModuleTree.java | 55 ModuleKind getModuleType(); in getModuleType() method
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.compiler/share/classes/com/sun/source/tree/ |
| H A D | ModuleTree.java | 55 ModuleKind getModuleType(); in getModuleType() method
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.compiler/share/classes/com/sun/source/tree/ |
| H A D | ModuleTree.java | 55 ModuleKind getModuleType(); in getModuleType() method
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/source/tree/ |
| H A D | ModuleTree.java | 55 ModuleKind getModuleType(); in getModuleType() method
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.compiler/share/classes/com/sun/source/tree/ |
| H A D | ModuleTree.java | 55 ModuleKind getModuleType(); in getModuleType() method
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.compiler/share/classes/com/sun/source/tree/ |
| H A D | ModuleTree.java | 55 ModuleKind getModuleType(); in getModuleType() method
|
| /dports/devel/love10/love-0.10.2/src/modules/video/ |
| H A D | Video.h | 42 virtual ModuleType getModuleType() const { return M_VIDEO; } in getModuleType() function
|
| /dports/devel/love/love-11.3/src/modules/video/ |
| H A D | Video.h | 42 virtual ModuleType getModuleType() const { return M_VIDEO; } in getModuleType() function
|
| /dports/devel/love10/love-0.10.2/src/modules/sound/ |
| H A D | Sound.h | 48 virtual ModuleType getModuleType() const { return M_SOUND; } in getModuleType() function
|
| /dports/devel/love/love-11.3/src/modules/touch/ |
| H A D | Touch.h | 55 virtual ModuleType getModuleType() const { return M_TOUCH; } in getModuleType() function
|
| /dports/devel/love10/love-0.10.2/src/modules/touch/ |
| H A D | Touch.h | 55 virtual ModuleType getModuleType() const { return M_TOUCH; } in getModuleType() function
|
| /dports/devel/love/love-11.3/src/modules/timer/ |
| H A D | Timer.h | 40 ModuleType getModuleType() const override { return M_TIMER; } in getModuleType() function
|
| /dports/devel/love10/love-0.10.2/src/modules/thread/ |
| H A D | ThreadModule.h | 52 virtual ModuleType getModuleType() const { return M_THREAD; } in getModuleType() function
|
| /dports/devel/love10/love-0.10.2/src/modules/timer/ |
| H A D | Timer.h | 40 virtual ModuleType getModuleType() const { return M_TIMER; } in getModuleType() function
|
| /dports/devel/love/love-11.3/src/modules/sound/ |
| H A D | Sound.h | 50 virtual ModuleType getModuleType() const { return M_SOUND; } in getModuleType() function
|