Package org.sonar.python.types.v2.matchers

Class IsTypeOrSuperTypeSatisfyingPredicate

java.lang.Object

org.sonar.python.types.v2.matchers.IsTypeOrSuperTypeSatisfyingPredicate

All Implemented Interfaces:

TypePredicate

public class IsTypeOrSuperTypeSatisfyingPredicate
extends Object
implements TypePredicate

TypePredicate decorator that checks if a type or any of its supertypes satisfies the wrapped predicate. Traverses the class hierarchy using BFS to check the type itself and all its superclasses. Note: UnionType handling is performed by TypeMatcherImpl, not by this predicate.

Constructor Summary

Constructors

Constructor	Description
IsTypeOrSuperTypeSatisfyingPredicate(TypePredicate wrappedPredicate)

Method Summary

Modifier and Type	Method	Description
TriBool	check(PythonType type, TypePredicateContext ctx)

Methods inherited from class java.lang.Object

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

Constructor Details

IsTypeOrSuperTypeSatisfyingPredicate

public IsTypeOrSuperTypeSatisfyingPredicate(TypePredicate wrappedPredicate)

Method Details

check

public TriBool check(PythonType type,
 TypePredicateContext ctx)

Specified by:

check in interface TypePredicate