kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-30 10:00:28 +01:00
Code Issues Releases Wiki Activity

replace isfile by exists

Browse Source 
which returns true also for symlinks
This commit is contained in:
kalmarek 2017-09-06 16:02:46 +02:00
parent a61cff986e
commit d8f04957b6
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/PropertyT.jl
View File

@ -26,6 +26,10 @@ function setup_logging(name::String)
return logger return logger
end end
function exists(fname::String)
return isfile(fname) || islink(fname)
end
function pmΔfilenames(name::String) function pmΔfilenames(name::String)
if !isdir(name) if !isdir(name)
mkdir(name) mkdir(name)
@ -111,8 +115,8 @@ end
function λandP(name::String) function λandP(name::String)
λ_fname, SDP_fname = λSDPfilenames(name) λ_fname, SDP_fname = λSDPfilenames(name)
f₁ = isfile(λ_fname) f₁ = exists(λ_fname)
f₂ = isfile(SDP_fname) f₂ = exists(SDP_fname)
if f₁ && f₂ if f₁ && f₂
info(logger, "Loading precomputed λ, P...") info(logger, "Loading precomputed λ, P...")
@ -125,7 +129,7 @@ function λandP(name::String)
end end
function λandP(name::String, SDP_problem::JuMP.Model, varλ, varP) function λandP(name::String, SDP_problem::JuMP.Model, varλ, varP)
if isfile(joinpath(name, "solver.log")) if exists(joinpath(name, "solver.log"))
rm(joinpath(name, "solver.log")) rm(joinpath(name, "solver.log"))
end end
@ -171,7 +175,7 @@ function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius)
isdir(name) || mkdir(name) isdir(name) || mkdir(name)
if all(isfile.(pmΔfilenames(name))) if all(exists.(pmΔfilenames(name)))
# cached # cached
Δ, sdp_constraints = ΔandSDPconstraints(name, parent(S[1])) Δ, sdp_constraints = ΔandSDPconstraints(name, parent(S[1]))
else else
@ -183,7 +187,7 @@ function check_property_T(name::String, S, Id, solver, upper_bound, tol, radius)
info(logger, "length(Δ) = $(length(Δ))") info(logger, "length(Δ) = $(length(Δ))")
info(logger, "|R[G]|.pm = $(size(parent(Δ).pm))") info(logger, "|R[G]|.pm = $(size(parent(Δ).pm))")
if all(isfile.(λSDPfilenames(name))) if all(exists.(λSDPfilenames(name)))
# cached # cached
λ, P = λandP(name) λ, P = λandP(name)
else else