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

Class FixedOrderMatchingStrategy

java.lang.Object

it.unive.lisa.program.language.resolution.FixedOrderMatchingStrategy

All Implemented Interfaces:

ParameterMatchingStrategy

Direct Known Subclasses:

JavaLikeMatchingStrategy, RuntimeTypesMatchingStrategy, StaticTypesMatchingStrategy

public abstract class FixedOrderMatchingStrategy
extends java.lang.Object
implements ParameterMatchingStrategy

A resolution strategy that does not permit by-name (e.g. Python style) parameter assignment that can shuffle parameters order.

Constructor Summary

Constructors

Constructor	Description
FixedOrderMatchingStrategy()

Method Summary

Modifier and Type	Method	Description
abstract boolean	matches(Call call, int pos, Parameter formal, Expression actual, java.util.Set<Type> types)	Yields true if and only if the signature of the pos-th parameter of a cfg is matched by the given actual parameter, according to this strategy.
boolean	matches(Call call, Parameter[] formals, Expression[] actuals, java.util.Set<Type>[] types)	Yields true if and only if the parameter list of a cfg is matched by the given actual parameters, according to this strategy.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FixedOrderMatchingStrategy

public FixedOrderMatchingStrategy()

Method Detail

matches

public final boolean matches(Call call,
                             Parameter[] formals,
                             Expression[] actuals,
                             java.util.Set<Type>[] types)

Description copied from interface: ParameterMatchingStrategy

Yields true if and only if the parameter list of a cfg is matched by the given actual parameters, according to this strategy.

Specified by:

matches in interface ParameterMatchingStrategy

Parameters:

call - the call where the parameters are being matched

formals - the parameters definition of the cfg

actuals - the expression that are used as call parameters

types - the runtime types of the actual parameters

Returns:

true if and only if that condition holds

matches

public abstract boolean matches(Call call,
                                int pos,
                                Parameter formal,
                                Expression actual,
                                java.util.Set<Type> types)

Yields true if and only if the signature of the pos-th parameter of a cfg is matched by the given actual parameter, according to this strategy.

Parameters:

call - the call where the parameters are being matched

pos - the position of the parameter being evaluated

formal - the parameter definition of the cfg

actual - the expression that is used as parameter

types - the runtime types of the actual parameter

Returns:

true if and only if that condition holds