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

Class JavaLikeMatchingStrategy

java.lang.Object

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

it.unive.lisa.program.language.resolution.JavaLikeMatchingStrategy

All Implemented Interfaces:

ParameterMatchingStrategy

public class JavaLikeMatchingStrategy
extends FixedOrderMatchingStrategy

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. Other parameters are always tested using StaticTypesMatchingStrategy, achieving Java-like resolution.

Field Summary

Fields

Modifier and Type	Field	Description
static JavaLikeMatchingStrategy	INSTANCE	The singleton instance of this class.

Method Summary

Modifier and Type	Method	Description
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.

Methods inherited from class it.unive.lisa.program.language.resolution.FixedOrderMatchingStrategy

matches

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final JavaLikeMatchingStrategy INSTANCE

The singleton instance of this class.

Method Detail

matches

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

Description copied from class: FixedOrderMatchingStrategy

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.

Specified by:

matches in class FixedOrderMatchingStrategy

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