Module FileOpen

Import path

Resources.FileOpen

Imports

Filters

Helper predicates for standard tests in Python commonly used to filter objects by value or by type.

GuardedControlFlow
SsaDefinitions

Provides classes and predicates for determining the uses and definitions of variables for ESSA form.

python

Predicates

call_to_open

Holds if open is a call that returns a newly opened file

close_method_call

Holds if call closes its ‘self’ argument, which is an open file referred to by v

closes_arg

Holds if call closes its argument, which is an open file referred to by v

closes_file

Holds if call closes a file

def_is_open

Holds if def refers to a file opened at open

expr_is_open

Holds if n refers to a file opened at open

file_is_returned
function_closes_file
function_opens_file
function_should_close_parameter
passes_open_files

Holds if test will pass through an open file in variable v for the sense successor

var_is_open

Holds if var refers to a file opened at open