MCPcopy Create free account
hub / github.com/CheckPointSW/Karta / removeHint

Method removeHint

src/function_context.py:935–948  ·  view source on GitHub ↗

Remove a (source) hint from our possible candidates (he was probably matched without us). Args: src_ctx (FunctionContext): a hint (source) function clear (bool, optional): True iff should also remove us from following him (True by default)

(self, src_ctx, clear=True)

Source from the content-addressed store, hash-verified

933 hint.addFollower(self)
934
935 def removeHint(self, src_ctx, clear=True):
936 """Remove a (source) hint from our possible candidates (he was probably matched without us).
937
938 Args:
939 src_ctx (FunctionContext): a hint (source) function
940 clear (bool, optional): True iff should also remove us from following him (True by default)
941 """
942 if clear:
943 src_ctx.removeFollower(self)
944 if self.call_hints is not None:
945 while src_ctx in self.call_hints:
946 self.call_hints.remove(src_ctx)
947 while src_ctx in self.xref_hints:
948 self.xref_hints.remove(src_ctx)

Callers 3

declareMatchMethod · 0.95
selfCheckMethod · 0.95
declareMatchMethod · 0.80

Calls 2

removeFollowerMethod · 0.80
removeMethod · 0.80

Tested by

no test coverage detected