Class ResourceLeakTransfer

All Implemented Interfaces:
ForwardTransferFunction<AccumulationValue,AccumulationStore>, TransferFunction<AccumulationValue,AccumulationStore>, NodeVisitor<TransferResult<AccumulationValue,AccumulationStore>,TransferInput<AccumulationValue,AccumulationStore>>

public class ResourceLeakTransfer extends CalledMethodsTransfer
The transfer function for the resource-leak extension to the called-methods type system.