home *** CD-ROM | disk | FTP | other *** search
/ PC World 1998 October / PCWorld_1998-10_cd.bin / software / prehled / komix / DATA.Z / check.tcl < prev    next >
Encoding:
Text File  |  1997-05-16  |  1.6 KB  |  59 lines
  1. #---------------------------------------------------------------------------
  2. #
  3. # Copyright (c) 1997 by Cayenne Software Inc.
  4. #
  5. # This software is furnished under a license and may be used only in
  6. # accordance with the terms of such license and with the inclusion of
  7. # the above copyright notice. This software or any other copies thereof
  8. # may not be provided or otherwise made available to any other person.
  9. # No title to and ownership of the software is hereby transferred.
  10. #
  11. # The information in this software is subject to change without notice
  12. # and should not be construed as a commitment by Cayenne Software Inc.
  13. #
  14. #---------------------------------------------------------------------------
  15. #
  16. #    File        : @(#)check.tcl    /main/titanic/3
  17. #       Author          : heli
  18. #    Original date    : May 14, 1997
  19. #    Description    : Model Check front end
  20. #
  21. #---------------------------------------------------------------------------
  22. # SccsId = @(#)check.tcl    /main/titanic/3    16 May 1997 Copyright 1997 Cayenne Software Inc.
  23.  
  24. source [m4_path_name tcl cginit.tcl]
  25.  
  26. #
  27. # Development stuff.
  28. #
  29. proc my_debug {arg} {global debug;if {$debug} {puts stderr "  ** $arg **"} }
  30.  
  31. #
  32. # Load the ModelChecker.
  33. #
  34. require modelcheck.tcl
  35.  
  36. #
  37. # Let the ModelChecker check the model.
  38. #
  39. set modelChecker [ModelChecker new]
  40. if {[catch {$modelChecker check} msg]} {
  41.  
  42. if 0 {
  43.     if {"[string range $msg 0 5]" == "ERROR:"} {
  44.     puts stderr $msg
  45.     } else {
  46.     puts stderr $errorInfo
  47.     }
  48. } else {  # !0
  49.     puts stderr $msg
  50.     puts stderr "= = = = = = = ="
  51.     puts stderr $errorInfo
  52. }  # !0
  53.  
  54. }
  55.  
  56. #
  57. # Done.
  58. #
  59.