示例#1
0
 def topic_set_post(self, topic_set):
     '''Print out the constraints and clean up file.'''
     tracer.debug("Called; output constraints.")
     assert topic_set is not None
     constraints = Constraints.collect(topic_set)
     self.__output_latex_constraints(constraints)
     testcases = collect(topic_set)
     self.__output_latex_testcases(testcases)
     tracer.debug("Clean up file.")
     self.__fd.close()
     tracer.debug("Finished.")
示例#2
0
 def topic_set_post(self, topic_set):
     '''Print out the constraints and clean up file.'''
     tracer.debug("Called; output constraints.")
     assert topic_set is not None
     constraints = Constraints.collect(topic_set)
     self.__output_latex_constraints(constraints)
     testcases = collect(topic_set)
     self.__output_latex_testcases(testcases)
     tracer.debug("Clean up file.")
     self.__fd.close()
     tracer.debug("Finished.")