Пример #1
0
    def prove(self, MaudeModule):
        """ try to locate a useful Maude install and start up
        a subprocess which takes our generated module as input,
        and naturally tries to prove it"""

        whichMaude = Main.which(self.defaults['Maude'])
        if not whichMaude:
            sys.stderr.write("[ERROR] excutable Maude not found \n")
            sys.exit(1)
        else:
            (fd, fname) = tempfile.mkstemp(suffix=".maude",
                                           prefix="monologue-", 
                                           text=1)
            if self.defaults['print']:
                if self.versionCheck(whichMaude):
                    MaudeModule = self.removePrintComments(MaudeModule)

            os.write(fd, MaudeModule)
            os.close(fd)
            args = []
            args.append('-no-banner')
            args.append('-no-ansi-color')
            args.append(fname)
            child = SubProcess(whichMaude,
                               args,
                               self.defaults['escape'],
                               self.defaults['timeout'],
                               self.defaults['output'])
            child.start()
            #TODO subprocess(whichMaude, args, escape, timeout)
            os.unlink(fname)
Пример #2
0
    def versionCheck(self, whichMaude):
        """ we need version 2.4 or better to do uncomment print statements """

        version = SubProcess.spoof(whichMaude + " --version").strip()
        
        if re.match("^\d+\.\d+$", version):
            if float( version ) < 2.4:
                sys.stderr.write("[WARNING] your Maude version has no 'print' statement\n")
                return 0
        else:
            if re.match("^alpha.*$", version):
                sys.stderr.write("[WARNING] your are running an Alpha version\n") 
                sys.stderr.write("[WARNING] it may not support 'print' statement\n") 
                sys.stderr.write("[WARNING] do this at your own risk\n")
        return 1