Class CloseableResourceToBeChecked

java.lang.Object

org.ek9lang.compiler.common.CloseableResourceToBeChecked

All Implemented Interfaces:

Predicate<ISymbol>

public final class CloseableResourceToBeChecked
extends Object
implements Predicate<ISymbol>

Checks if a symbol should be tracked as a closeable resource. A closeable resource is a local variable whose type has a close() operator.
This predicate is used to identify variables that need to be tracked for resource leak detection. The rules are:

• Must be a VariableSymbol (not a type or function)
• Must not be a property field (fields are managed by the containing aggregate)
• Must not be an incoming parameter (caller's responsibility)
• Must not be a returning parameter (callee transfers ownership)
• Type must have a close() operator with no parameters and no return
• Type must NOT be Stdin, Stdout, or Stderr (these are global, never really closed)

Constructor Summary

Constructors

Constructor	Description
CloseableResourceToBeChecked(HasCloseOperator hasCloseOperator)

Method Summary

Modifier and Type	Method	Description
boolean	test(ISymbol symbol)

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

CloseableResourceToBeChecked

public CloseableResourceToBeChecked(HasCloseOperator hasCloseOperator)

Method Details

test

public boolean test(ISymbol symbol)

Specified by:

test in interface Predicate<ISymbol>