Class IsMutexLockConstructorCall

java.lang.Object

org.ek9lang.compiler.support.IsMutexLockConstructorCall

All Implemented Interfaces:

Predicate<CallSymbol>

public final class IsMutexLockConstructorCall
extends Object
implements Predicate<CallSymbol>

Predicate that returns true iff the call's resolved target is a constructor of MutexLock (or a parameterised MutexLock of T).

Shared across the slice-1 data-race detection checks that need to intercept the point of MutexLock construction (E08256 construction-site restriction, E08257 argument freshness).

Constructor Summary

Constructors

Constructor	Description
IsMutexLockConstructorCall(IsMutexLockType isMutexLockType)

Method Summary

Modifier and Type	Method	Description
boolean	test(CallSymbol callSymbol)

Methods inherited from class Object

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

Methods inherited from interface Predicate

and, negate, or

Constructor Details

IsMutexLockConstructorCall

public IsMutexLockConstructorCall(IsMutexLockType isMutexLockType)

Method Details

test

public boolean test(CallSymbol callSymbol)

Specified by:

test in interface Predicate<CallSymbol>