Package it.unive.lisa.program.language.resolution

Interface Summary

Interface	Description
ParameterMatchingStrategy	A strategy for matching call signatures.

Class Summary

Class	Description
FixedOrderMatchingStrategy	A resolution strategy that does not permit by-name (e.g.
JavaLikeMatchingStrategy	A strategy where the first parameter is tested using RuntimeTypesMatchingStrategy if it represents the receiver of an instance call, otherwise it is tested with StaticTypesMatchingStrategy.
PythonLikeMatchingStrategy	A Python-like matching strategy.
RuntimeTypesMatchingStrategy	A strategy where the runtime types of the parameters of the call are evaluated against the signature of a cfg: for each parameter, if at least one of the runtime types of the actual parameter can be assigned to the type of the formal parameter, then FixedOrderMatchingStrategy.matches(Call, Parameter[], Expression[], Set[]) returns true.
StaticTypesMatchingStrategy	A strategy where the static types of the parameters of the call are evaluated against the signature of a cfg: for each parameter, if the static type of the actual parameter can be assigned to the type of the formal parameter, then FixedOrderMatchingStrategy.matches(Call, Parameter[], Expression[], Set[]) return true.