products/sources/formale sprachen/PVS/PVSioChecker/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: pvs-attachments   Sprache: Unknown

(attachments
 |time_fun|
 
 (defattach |real_time| ()
   "Real time"
   (get-internal-real-time))
 
 (defattach |run_time| ()
   "Run time"
   (get-internal-run-time))

 (defattach |internal_time_units| ()
   "Units of internal time"
   internal-time-units-per-second))
 
(attachments
 |pathname|

 (defattach |pathname_path| (name)
   "Path (list of directories) of pathname"
   (let ((dirs (pathname-directory name)))
     (if (equal (car dirs) ':absolute)
  (cons "/" (cdr dirs))
       (cdr dirs))))
 
 (defattach |pathname_name| (name)
   "Name of pathname"
   (pathname-name name))

 (defattach |pathname_type| (name)
   "Type of pathname"
   (pathname-type name)))

[ Dauer der Verarbeitung: 0.2 Sekunden  (vorverarbeitet)  ]