Package it.unive.lisa.program.cfg.statement.call.resolution

Class FirstRuntimeThenStaticStaticResolution

java.lang.Object

it.unive.lisa.program.cfg.statement.call.resolution.FixedOrderResolution

it.unive.lisa.program.cfg.statement.call.resolution.FirstRuntimeThenStaticStaticResolution

All Implemented Interfaces:

ResolutionStrategy

public class FirstRuntimeThenStaticStaticResolution
extends FixedOrderResolution

A strategy where the first parameter is tested using RuntimeTypesResolution, while the rest is tested using StaticTypesResolution, achieving Java-like resolution.

Field Summary

Fields

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

Method Summary

Modifier and Type	Method	Description
protected boolean	matches(int pos, Parameter formal, Expression actual)	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.cfg.statement.call.resolution.FixedOrderResolution

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 FirstRuntimeThenStaticStaticResolution INSTANCE

The singleton instance of this class.

Method Detail

matches

protected boolean matches(int pos,
                          Parameter formal,
                          Expression actual)

Description copied from class: FixedOrderResolution

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 FixedOrderResolution

Parameters:

pos - the position of the parameter being evaluated

formal - the parameter definition of the cfg

actual - the expression that is used as parameter

Returns:

true if and only if that condition holds