Home
last modified time | relevance | path

Searched refs:PltFile (Results 1 – 25 of 26) sorted by relevance

12

/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/
H A Dplt_SUITE.erl448 BeamFile = create(Config, PltFile),
450 try succ(PltFile, BeamFile2), false
455 BeamFile = create(Config, PltFile),
462 try check(PltFile, BeamFile2), false
471 create(Config, PltFile) ->
476 _ = file:delete(PltFile),
478 {output_plt, PltFile},
482 succ(PltFile, BeamFile2) ->
485 {plts,[PltFile]},
488 check(PltFile, BeamFile2) ->
[all …]
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/
H A Dplt_SUITE.erl448 BeamFile = create(Config, PltFile),
450 try succ(PltFile, BeamFile2), false
455 BeamFile = create(Config, PltFile),
462 try check(PltFile, BeamFile2), false
471 create(Config, PltFile) ->
476 _ = file:delete(PltFile),
478 {output_plt, PltFile},
482 succ(PltFile, BeamFile2) ->
485 {plts,[PltFile]},
488 check(PltFile, BeamFile2) ->
[all …]
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/test/
H A Dplt_SUITE.erl448 BeamFile = create(Config, PltFile),
450 try succ(PltFile, BeamFile2), false
455 BeamFile = create(Config, PltFile),
462 try check(PltFile, BeamFile2), false
471 create(Config, PltFile) ->
476 _ = file:delete(PltFile),
478 {output_plt, PltFile},
482 succ(PltFile, BeamFile2) ->
485 {plts,[PltFile]},
488 check(PltFile, BeamFile2) ->
[all …]
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/test/
H A Dplt_SUITE.erl448 BeamFile = create(Config, PltFile),
450 try succ(PltFile, BeamFile2), false
455 BeamFile = create(Config, PltFile),
462 try check(PltFile, BeamFile2), false
471 create(Config, PltFile) ->
476 _ = file:delete(PltFile),
478 {output_plt, PltFile},
482 succ(PltFile, BeamFile2) ->
485 {plts,[PltFile]},
488 check(PltFile, BeamFile2) ->
[all …]
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/src/
H A Ddialyzer_cl.erl413 assert_writable(PltFile) ->
414 case check_if_writable(PltFile) of
421 check_if_writable(PltFile) ->
422 case filelib:is_regular(PltFile) of
423 true -> is_writable_file_or_dir(PltFile);
425 case filelib:is_dir(PltFile) of
428 DirName = filename:dirname(PltFile),
433 is_writable_file_or_dir(PltFile) ->
434 case file:read_file_info(PltFile) of
443 clean_plt(PltFile, RemovedMods) ->
[all …]
H A Ddialyzer_plt.erl800 PltFile = get_default_plt(),
801 Plt = from_file(PltFile),
827 PltFile = get_default_plt(),
828 Plt = from_file(PltFile),
H A Dtyper.erl950 PltFile =
955 dialyzer_plt:from_file(PltFile).
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/src/
H A Ddialyzer_cl.erl418 assert_writable(PltFile) ->
419 case check_if_writable(PltFile) of
426 check_if_writable(PltFile) ->
427 case filelib:is_regular(PltFile) of
428 true -> is_writable_file_or_dir(PltFile);
430 case filelib:is_dir(PltFile) of
433 DirName = filename:dirname(PltFile),
438 is_writable_file_or_dir(PltFile) ->
439 case file:read_file_info(PltFile) of
448 clean_plt(PltFile, RemovedMods) ->
[all …]
H A Ddialyzer_plt.erl808 PltFile = get_default_plt(),
809 Plt = from_file(PltFile),
835 PltFile = get_default_plt(),
836 Plt = from_file(PltFile),
H A Dtyper.erl951 PltFile =
956 dialyzer_plt:from_file(PltFile).
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/src/
H A Ddialyzer_cl.erl418 assert_writable(PltFile) ->
419 case check_if_writable(PltFile) of
426 check_if_writable(PltFile) ->
427 case filelib:is_regular(PltFile) of
428 true -> is_writable_file_or_dir(PltFile);
430 case filelib:is_dir(PltFile) of
433 DirName = filename:dirname(PltFile),
438 is_writable_file_or_dir(PltFile) ->
439 case file:read_file_info(PltFile) of
448 clean_plt(PltFile, RemovedMods) ->
[all …]
H A Ddialyzer_plt.erl808 PltFile = get_default_plt(),
809 Plt = from_file(PltFile),
835 PltFile = get_default_plt(),
836 Plt = from_file(PltFile),
H A Dtyper.erl951 PltFile =
956 dialyzer_plt:from_file(PltFile).
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/src/
H A Ddialyzer_cl.erl418 assert_writable(PltFile) ->
419 case check_if_writable(PltFile) of
426 check_if_writable(PltFile) ->
427 case filelib:is_regular(PltFile) of
428 true -> is_writable_file_or_dir(PltFile);
430 case filelib:is_dir(PltFile) of
433 DirName = filename:dirname(PltFile),
438 is_writable_file_or_dir(PltFile) ->
439 case file:read_file_info(PltFile) of
448 clean_plt(PltFile, RemovedMods) ->
[all …]
H A Ddialyzer_plt.erl808 PltFile = get_default_plt(),
809 Plt = from_file(PltFile),
835 PltFile = get_default_plt(),
836 Plt = from_file(PltFile),
H A Dtyper.erl951 PltFile =
956 dialyzer_plt:from_file(PltFile).
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/src/
H A Ddialyzer_cl.erl418 assert_writable(PltFile) ->
419 case check_if_writable(PltFile) of
426 check_if_writable(PltFile) ->
427 case filelib:is_regular(PltFile) of
428 true -> is_writable_file_or_dir(PltFile);
430 case filelib:is_dir(PltFile) of
433 DirName = filename:dirname(PltFile),
438 is_writable_file_or_dir(PltFile) ->
439 case file:read_file_info(PltFile) of
448 clean_plt(PltFile, RemovedMods) ->
[all …]
H A Ddialyzer_plt.erl808 PltFile = get_default_plt(),
809 Plt = from_file(PltFile),
835 PltFile = get_default_plt(),
836 Plt = from_file(PltFile),
H A Dtyper.erl951 PltFile =
956 dialyzer_plt:from_file(PltFile).
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/src/
H A Ddialyzer_cl.erl420 assert_writable(PltFile) ->
421 case check_if_writable(PltFile) of
428 check_if_writable(PltFile) ->
429 case filelib:is_regular(PltFile) of
430 true -> is_writable_file_or_dir(PltFile);
432 case filelib:is_dir(PltFile) of
435 DirName = filename:dirname(PltFile),
440 is_writable_file_or_dir(PltFile) ->
441 case file:read_file_info(PltFile) of
450 clean_plt(PltFile, RemovedMods) ->
[all …]
H A Ddialyzer_plt.erl800 PltFile = get_default_plt(),
801 Plt = from_file(PltFile),
827 PltFile = get_default_plt(),
828 Plt = from_file(PltFile),
H A Dtyper.erl950 PltFile =
955 dialyzer_plt:from_file(PltFile).
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/src/
H A Ddialyzer_cl.erl419 assert_writable(PltFile) ->
420 case check_if_writable(PltFile) of
427 check_if_writable(PltFile) ->
428 case filelib:is_regular(PltFile) of
429 true -> is_writable_file_or_dir(PltFile);
431 case filelib:is_dir(PltFile) of
434 DirName = filename:dirname(PltFile),
439 is_writable_file_or_dir(PltFile) ->
440 case file:read_file_info(PltFile) of
449 clean_plt(PltFile, RemovedMods) ->
[all …]
H A Ddialyzer_plt.erl800 PltFile = get_default_plt(),
801 Plt = from_file(PltFile),
827 PltFile = get_default_plt(),
828 Plt = from_file(PltFile),
/dports/graphics/devil/devil-1.7.8/src-IL/src/
H A Dil_pal.c496 ILHANDLE PltFile; local
508 PltFile = iopenr(FileName);
509 if (PltFile == NULL) {
527 icloser(PltFile);
534 icloser(PltFile);
538 icloser(PltFile);

12