TABLE OF CONTENTS

::pwtk::pdos_kresolved

SYNOPSIS

proc ::pwtk::pdos_kresolved {pdosFile} {

DESCRIPTION

Query if $pdosFile is k-resolved

RETURN VALUE

1 -- if k-resolved 0 -- otherwise

SOURCE

    ::pwtk::fileMustExist $pdosFile PDOS
    
    set fid [open $pdosFile r]
    gets $fid line
    close $fid
    
    set kresolved 0
    if { [lindex $line 1] == "ik" } {
        set kresolved 1
    }
    return $kresolved
}