コード例 #1
0
ファイル: View.py プロジェクト: psmoros/AutomatedInference
    def save_button_click(self):

        # Update Model
        argument = self.arg_entry.get()
        if argument != '':
            Model.arguments.add(argument)

        attacks = set(self.attack_entry.get().replace(" ", "").split(","))
        Model.framework[argument] = attacks

        Model.descriptions[argument] = self.desc_text.get("1.0", tk.END)

        for i in attacks:
            if len(i) > 0:
                Model.relations.add((argument, i))
                if i not in Model.arguments:
                    Model.arguments.add(i)

        # Update Graph Image

        Plotting.ConstructGraph()

        # Attempt to fetch description and attempt to add arguments in the OptionMenu of the description
        menu = window.argument_select["menu"]
        menu.delete(0, "end")
        for arg in Model.arguments:
            menu.add_command(label=arg,
                             command=tk._setit(window.arg_choice, arg))

        # Update canvas image
        window.update_canvas()

        #
        self.master.destroy()
コード例 #2
0
ファイル: View.py プロジェクト: psmoros/AutomatedInference
 def extension_select_click(self, *args):
     if self.extension_choice.get() == "Complete":
         Plotting.ConstructColouredGraph(self.comargs)
         self.update_canvas()
     elif self.extension_choice.get() == "Stable":
         Plotting.ConstructColouredGraph(self.stbargs)
         self.update_canvas()
     elif self.extension_choice.get() == "Preferred":
         Plotting.ConstructColouredGraph(self.prfargs)
         self.update_canvas()
     else:
         Plotting.ConstructGraph()
         self.update_canvas()