Home
last modified time | relevance | path

Searched refs:scopeLookup (Results 1 – 7 of 7) sorted by relevance

/dports/converters/wkhtmltopdf/qt-5db36ec/tools/porting/src/
H A Dsemantic.h98 CodeModel::Scope *scopeLookup(CodeModel::Scope *baseScope, const NameAST* name);
H A Dsemantic.cpp874 CodeModel::Scope *targetScope = scopeLookup(currentScope, name); in qualifiedNameLookup()
918 CodeModel::Scope *Semantic::scopeLookup(CodeModel::Scope *baseScope, const NameAST* name) in scopeLookup() function in Semantic
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DBase.hs1100 scopeLookup :: InScope a => C.QName -> ScopeInfo -> [a]
1101 scopeLookup q scope = map fst $ scopeLookup' q scope function
1234 xs = scopeLookup q scope
1256 … unambiguousModule q = amb == AmbiguousAnything || unique (scopeLookup q scope :: [AbstractModule])
H A DMonad.hs406 ms <- scopeLookup x <$> getScope
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DBasicOps.hs1212 ms :: [AbstractModule] <- scopeLookup x <$> getScope
1279 , scopeLookup x scope
1280 , scopeLookup x scope )
/dports/www/kf5-kjs/kjs-5.89.0/src/kjs/bytecode/
H A Dcodes.def562 impl value scopeLookup(ident varName, node errorNode) [[
591 impl value scopeLookup(ident varName, node errorNode) [[
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Translation/
H A DConcreteToAbstract.hs708 ms :: [AbstractModule] <- scopeLookup (C.QName x) <$> getScope