Home
last modified time | relevance | path

Searched refs:getModName (Results 1 – 24 of 24) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Parser/
H A DName.hs47 getModName :: PName -> Maybe ModName
48 getModName (Qual ns _) = Just ns function
49 getModName _ = Nothing function
79 pfx = case getModName n of
88 pfx = case getModName n of
H A DAST.hs23 , PName(..), getModName, getIdent, mkUnqual, mkQual
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Client/Init/
H A DHeuristics.hs164 ( getModName
203 where getModName :: [String] -> Maybe ModuleName
204 getModName [] = Nothing function
205 getModName ("qualified":ws) = getModName ws function
206 getModName (ms:_) = simpleParsec ms function
/dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Client/Init/
H A DHeuristics.hs169 ( getModName
208 where getModName :: [String] -> Maybe ModuleName
209 getModName [] = Nothing function
210 getModName ("qualified":ws) = getModName ws function
211 getModName (ms:_) = simpleParsec ms function
/dports/databases/cego/cego-2.47.11/src/
H A DCegoModule.h38 Chain getModName(int id);
H A DCegoModule.cc97 Chain CegoModule::getModName(int id) in getModName() function in CegoModule
H A DCegoDatabaseManager.cc1190 logModule(i, getModName(i), level); in configureLogger()
1208 logModule(i, getModName(i), level); in configureLogger()
H A Dcgwrap.cc770 pModule->logModule(i, pModule->getModName(i), level); in updateModLog()
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.incubator.jpackage/share/classes/jdk/incubator/jpackage/internal/
H A DModFile.java51 String getModName() { in getModName() method in ModFile
/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/front/
H A Dparseargs.mli26 val getModName : string -> string val
H A Dlinkerfront.ml39 (Arg.parse (Arg.align specList) (setInputName ~filter:getModName) usageMsg ;
H A Dparseargs.ml36 let getModName name = function
H A Dcompilerfront.ml97 Arg.parse (Arg.align specList) (setInputName ~filter:getModName) usageMsg ;
H A Ddependfront.ml181 inputNames := (getModName name) :: !inputNames
H A Dsimulatorfront.ml179 Arg.parse (Arg.align specList) (setInputName ~filter:getModName) usageMsg ;
H A Dparsefront.ml295 Arg.parse (Arg.align specList) (setInputName ~filter:getModName) usageMsg ;
/dports/games/minetest/minetest-5.4.1/src/content/
H A Dmods.h156 const std::string &getModName() const { return m_mod_name; } in getModName() function
/dports/games/minetest/minetest-5.4.1/src/script/lua_api/
H A Dl_storage.cpp79 gamedef->unregisterModStorage(getobject(o)->getModName()); in gc_object()
/dports/security/p5-Heimdal-Kadm5/Heimdal-Kadm5-0.08/
H A DKadm5.pm540 printf $io "%21s: %s\n", 'Modifier', $sp->getModName;
H A DKadm5.xs733 getModName(spp) in getModName() function
/dports/games/minetest/minetest-5.4.1/src/client/
H A Dclient.cpp1949 if (m_mod_storages.find(storage->getModName()) != m_mod_storages.end()) { in registerModStorage()
1951 << storage->getModName() << std::endl; in registerModStorage()
1955 m_mod_storages[storage->getModName()] = storage; in registerModStorage()
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ModuleSystem/
H A DNamingEnv.hs122 where fmt = case getModName pn of
/dports/games/minetest/minetest-5.4.1/src/
H A Dserver.cpp3764 if (m_mod_storages.find(storage->getModName()) != m_mod_storages.end()) { in registerModStorage()
3766 << storage->getModName() << std::endl; in registerModStorage()
3770 m_mod_storages[storage->getModName()] = storage; in registerModStorage()
/dports/games/aquaria/Aquaria-OSE-v1.002-22-g84366ad/Aquaria/
H A DScriptInterface.cpp884 luaFunc(getModName) in luaFunc() argument
9394 luaRegister(getModName),