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

Method recordConst

src/function_context.py:106–112  ·  view source on GitHub ↗

Record a numeric constant artifact in the code's artifacts list. Args: const (int): numeric constant artifact

(self, const)

Source from the content-addressed store, hash-verified

104 self._const_ranks = {}
105
106 def recordConst(self, const):
107 """Record a numeric constant artifact in the code's artifacts list.
108
109 Args:
110 const (int): numeric constant artifact
111 """
112 self.consts.add(const)
113
114 def recordString(self, string):
115 """Record a string artifact in the code's artifacts list.

Callers 3

deserializeMethod · 0.80
analyzeFunctionMethod · 0.80
analyzeIslandFunctionMethod · 0.80

Calls 1

addMethod · 0.45

Tested by

no test coverage detected