HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 2 Activity

feat(checker): add copy and info methods

Browse Source
This commit is contained in:
Louis Heredero
2026-07-06 15:56:57 +02:00
parent 8bc35f7754
commit a640b8b3dd
2 changed files with 181 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

91
midas/checker/frames/column_methods.py
View File

@@ -13,10 +13,12 @@ from midas.checker.types import (
ColumnType, ColumnType,
Function, Function,
GenericType, GenericType,
OverloadedFunction,
ParamSpec, ParamSpec,
TopType, TopType,
Type, Type,
TypeVar, TypeVar,
UnitType,
UnknownType, UnknownType,
unfold_type, unfold_type,
) )
@@ -44,6 +46,25 @@ class Call:
class ColumnMethodRegistry(MethodRegistry[Call]): class ColumnMethodRegistry(MethodRegistry[Call]):
"""The method registry for column types""" """The method registry for column types"""
def _simple_call(self, call: Call, function: Type) -> Type:
"""Get the result of calling a simple method
This function is a simple wrapper around :func:`dispatcher.CallDispatcher.get_result`
Args:
call (Call): the call that triggered this resolution
function (Type): the function type
Returns:
Type: the return type
"""
result: CallResult = self.dispatcher.get_result(
location=call.location,
callee=function,
positional=call.positional,
keywords=call.keywords,
)
return result.result
def _element_binary_op(self, call: Call, method: str) -> ColumnType: def _element_binary_op(self, call: Call, method: str) -> ColumnType:
"""Compute the result of an element-wise binary operation """Compute the result of an element-wise binary operation
@@ -127,6 +148,76 @@ class ColumnMethodRegistry(MethodRegistry[Call]):
return result.result return result.result
@method()
def copy(self, call: Call) -> Type:
return self._simple_call(
call,
Function(
params=ParamSpec(
mixed=[
Function.Parameter(
pos=0,
name="deep",
type=self.types.get_type("bool"),
required=False,
)
]
),
returns=call.column,
),
)
@method()
def info(self, call: Call) -> Type:
def make_overload(memory_usage: Type, required: bool = False) -> Type:
return Function(
params=ParamSpec(
mixed=[
Function.Parameter(
pos=0,
name="verbose",
type=self.types.get_type("bool"),
required=False,
),
Function.Parameter(
pos=1,
name="buf",
type=TopType(),
required=False,
),
Function.Parameter(
pos=2,
name="max_cols",
type=self.types.get_type("int"),
required=False,
),
Function.Parameter(
pos=3,
name="memory_usage",
type=memory_usage,
required=required,
),
Function.Parameter(
pos=4,
name="show_counts",
type=self.types.get_type("bool"),
required=False,
),
]
),
returns=UnitType(),
)
return self._simple_call(
call,
OverloadedFunction(
overloads=[
make_overload(self.types.get_type("bool"), False),
make_overload(self.types.get_type("str"), True),
],
),
)
@method("add", "__add__") @method("add", "__add__")
def add(self, call: Call) -> Type: def add(self, call: Call) -> Type:
return self._element_wise(call, "__add__") return self._element_wise(call, "__add__")

90
midas/checker/frames/frame_methods.py
View File

@@ -17,6 +17,7 @@ from midas.checker.types import (
ParamSpec, ParamSpec,
TopType, TopType,
Type, Type,
UnitType,
UnknownType, UnknownType,
unfold_type, unfold_type,
) )
@@ -44,6 +45,25 @@ class Call:
class FrameMethodRegistry(MethodRegistry[Call]): class FrameMethodRegistry(MethodRegistry[Call]):
"""The method registry for frame types""" """The method registry for frame types"""
def _simple_call(self, call: Call, function: Type) -> Type:
"""Get the result of calling a simple method
This function is a simple wrapper around :func:`dispatcher.CallDispatcher.get_result`
Args:
call (Call): the call that triggered this resolution
function (Type): the function type
Returns:
Type: the return type
"""
result: CallResult = self.dispatcher.get_result(
location=call.location,
callee=function,
positional=call.positional,
keywords=call.keywords,
)
return result.result
def _get_method_result( def _get_method_result(
self, self,
call: Call, call: Call,
@@ -194,6 +214,76 @@ class FrameMethodRegistry(MethodRegistry[Call]):
return result.result return result.result
@method()
def copy(self, call: Call) -> Type:
return self._simple_call(
call,
Function(
params=ParamSpec(
mixed=[
Function.Parameter(
pos=0,
name="deep",
type=self.types.get_type("bool"),
required=False,
)
]
),
returns=call.frame,
),
)
@method()
def info(self, call: Call) -> Type:
def make_overload(memory_usage: Type, required: bool = False) -> Type:
return Function(
params=ParamSpec(
mixed=[
Function.Parameter(
pos=0,
name="verbose",
type=self.types.get_type("bool"),
required=False,
),
Function.Parameter(
pos=1,
name="buf",
type=TopType(),
required=False,
),
Function.Parameter(
pos=2,
name="max_cols",
type=self.types.get_type("int"),
required=False,
),
Function.Parameter(
pos=3,
name="memory_usage",
type=memory_usage,
required=required,
),
Function.Parameter(
pos=4,
name="show_counts",
type=self.types.get_type("bool"),
required=False,
),
]
),
returns=UnitType(),
)
return self._simple_call(
call,
OverloadedFunction(
overloads=[
make_overload(self.types.get_type("bool"), False),
make_overload(self.types.get_type("str"), True),
],
),
)
@method("add", "__add__") @method("add", "__add__")
def add(self, call: Call) -> Type: def add(self, call: Call) -> Type:
return self._element_wise(call, "__add__") return self._element_wise(call, "__add__")