Home
last modified time | relevance | path

Searched refs:outerNamespace (Results 1 – 2 of 2) sorted by relevance

/external/catch2/scripts/
Dembed.py21 def __init__( self, idMap, outerNamespace ): argument
23 self.outerNamespace = outerNamespace
41 if originalNs in self.outerNamespace:
42 outerNs, innerNs = self.outerNamespace[originalNs]
50 if originalNs in self.outerNamespace:
51 outerNs, innerNs = self.outerNamespace[originalNs]
DembedClara.py24 outerNamespace = { "clara": ("Catch", "clara") } variable
26 mapper = embed.LineMapper( idMap, outerNamespace )