From owner-freebsd-chat Wed Jun 16 16:52:33 1999 Delivered-To: freebsd-chat@freebsd.org Received: from 001101.zer0.org (001101.zer0.org [206.24.105.163]) by hub.freebsd.org (Postfix) with ESMTP id 0164F14D59 for ; Wed, 16 Jun 1999 16:52:29 -0700 (PDT) (envelope-from gsutter@001101.zer0.org) Received: (from gsutter@localhost) by 001101.zer0.org (8.9.2/8.9.2) id QAA08665; Wed, 16 Jun 1999 16:51:22 -0700 (PDT) (envelope-from gsutter) Date: Wed, 16 Jun 1999 16:51:22 -0700 From: Gregory Sutter To: Nik Clayton Cc: freebsd-chat@FreeBSD.ORG Subject: Re: bde? Message-ID: <19990616165122.C37775@001101.zer0.org> References: <199906150710.RAA17773@cimlogic.com.au> <19990616224131.N372@daemon.ninth-circle.org> <19990616220038.A37789@catkin.nothing-going-on.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.95.4i In-Reply-To: <19990616220038.A37789@catkin.nothing-going-on.org>; from Nik Clayton on Wed, Jun 16, 1999 at 10:00:39PM +0100 Organization: Zer0 Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org On Wed, Jun 16, 1999 at 10:00:39PM +0100, Nik Clayton wrote: > On Wed, Jun 16, 1999 at 10:41:31PM +0200, Jeroen Ruigrok/Asmodai wrote: > > This sounds too much alike to the jordan thread where we finally > > found out that jordan is just a very sophisticated AI perl program. > > > > Is bruce mayhaps a more advanced AI/Lint? =) > > With all the whitespace and formatting dependencies, bde would have to > be written in Python. #!/usr/local/bin/python # progcheck.py # checks a program for correctness of code, using the bde algorithms. # # $Id$ # get standard os and system functions import os,sys import string # ensure program correctness sys.path.append("/rmt/au/bde/") import bde def doc(progname): print ("%s checks a program for correctness, using the" % progname) print ("intelligent 'bde' algorithms.") print ("Usage: %s " % progname) def exitfunc(retval): sys.exit(retval) def main(argv, stdout, environ): progname = argv[0] if len(argv) != 2: doc(progname) exitfunc(-1) prog_to_check = argv[1] problems = [] # choose desired level of checking. currently only "bofh" is implemented. level = "bofh" # use bde problems = bde(prog_to_check,level) for problem in problems: print ("bde didn't like: %s" % problem) if __name__ == "__main__": main(sys.argv, sys.stdout, os.environ) # eof Greg -- Gregory S. Sutter I got a Pentium II for my girlfriend. mailto:gsutter@pobox.com Good trade, eh? http://www.pobox.com/~gsutter/ PGP DSS public key 0x40AE3052 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message