Ejemplo n.º 1
0
    def setUp(self):
        """
        **Public Method**
        
        The execution of the various JKind permutations are actually
        executed here. The results are stashed away in the internal
        results and exceptions data members for testing later.
        
        """
        self.results = ResultList()
        self.exceptions = list()
        GuiIF().setFileUnderTest(self.file)

        # Print test header for nicer output formatting
        print("\n**********************************************")
        print(self.beginTestTag + str(self.file))

        for arg in self.args:
            GuiIF().setArgUnderTest(arg)
            jk = JKind(self.file, arg, jkindPath=self.jkindJar, javaPath=self.javaPath, quiet=self.quiet)
            jk.run()

            # Do not append None-type result returns
            if jk.getResults() != None:
                self.results.append(jk.getResults())

            # Ok, and desirable to append None-type exception returns
            self.exceptions.append(jk.getException())