'''
Accessible Access Control 1.0
2012-2104 Michigan Technological University
Supported in part by NSF grants: DUE-1140512, DUE-1245310 and IIS-1319363
Developer: Man Wang
Advisors:Dr. Steve Carr, Dr. Jean Mayo, Dr. Ching-Kuang Shene and Dr. Chaoli Wang
'''
# -*- coding: utf-8 -*-

# Form implementation generated from reading ui file 'MainWindow.ui'
#
# Created: Thu Aug 22 00:36:12 2013
#      by: PyQt4 UI code generator 4.9.1
#
# WARNING! All changes made in this file will be lost!

from PyQt4 import QtCore, QtGui

try:
    _fromUtf8 = QtCore.QString.fromUtf8
except AttributeError:
    _fromUtf8 = lambda s: s

class Ui_MainWindow(object):
    def setupUi(self, MainWindow):
        MainWindow.setObjectName(_fromUtf8("MainWindow"))
        MainWindow.resize(697, 574)
        self.centralwidget = QtGui.QWidget(MainWindow)
        self.centralwidget.setObjectName(_fromUtf8("centralwidget"))
        self.verticalGroupBox = QtGui.QGroupBox(self.centralwidget)
        self.verticalGroupBox.setGeometry(QtCore.QRect(0, 50, 61, 451))
        self.verticalGroupBox.setTitle(_fromUtf8(""))
        self.verticalGroupBox.setAlignment(QtCore.Qt.AlignLeading|QtCore.Qt.AlignLeft|QtCore.Qt.AlignTop)
        self.verticalGroupBox.setObjectName(_fromUtf8("verticalGroupBox"))
        self.verticalGroupBox.setToolTip("Clearances")
        self.verticalLayoutWidget = QtGui.QWidget(self.verticalGroupBox)
        self.verticalLayoutWidget.setGeometry(QtCore.QRect(0, 0, 61, 451))
        self.verticalLayoutWidget.setObjectName(_fromUtf8("verticalLayoutWidget"))
        self.verticalLayout = QtGui.QVBoxLayout(self.verticalLayoutWidget)
        self.verticalLayout.setMargin(0)
        self.verticalLayout.setObjectName(_fromUtf8("verticalLayout"))
        self.horizontalGroupBox = QtGui.QGroupBox(self.centralwidget)
        self.horizontalGroupBox.setGeometry(QtCore.QRect(0, 0, 631, 50))
        self.horizontalGroupBox.setTitle(_fromUtf8(""))
        self.horizontalGroupBox.setObjectName(_fromUtf8("horizontalGroupBox"))
        self.horizontalGroupBox.setToolTip("Categories")
        self.horizontalLayoutWidget = QtGui.QWidget(self.horizontalGroupBox)
        self.horizontalLayoutWidget.setGeometry(QtCore.QRect(0, 0, 631, 50))
        self.horizontalLayoutWidget.setObjectName(_fromUtf8("horizontalLayoutWidget"))
        self.horizontalLayout = QtGui.QHBoxLayout(self.horizontalLayoutWidget)
        self.horizontalLayout.setMargin(0)
        self.horizontalLayout.setObjectName(_fromUtf8("horizontalLayout"))
        MainWindow.setCentralWidget(self.centralwidget)
        self.menubar = QtGui.QMenuBar(MainWindow)
        self.menubar.setGeometry(QtCore.QRect(0, 0, 697, 25))
        self.menubar.setObjectName(_fromUtf8("menubar"))
        self.menu_File = QtGui.QMenu(self.menubar)
        self.menu_File.setObjectName(_fromUtf8("menu_File"))
        self.menu_Edit = QtGui.QMenu(self.menubar)
        self.menu_Edit.setObjectName(_fromUtf8("menu_Edit"))
        self.menu_View = QtGui.QMenu(self.menubar)
        self.menu_View.setObjectName(_fromUtf8("menu_View"))
        self.menu_Practice = QtGui.QMenu(self.menubar)
        self.menu_Practice.setObjectName(_fromUtf8("menu_Practice"))
        self.menu_Help = QtGui.QMenu(self.menubar)
        self.menu_Help.setObjectName(_fromUtf8("menu_Help"))
        MainWindow.setMenuBar(self.menubar)
        self.statusbar = QtGui.QStatusBar(MainWindow)
        self.statusbar.setObjectName(_fromUtf8("statusbar"))
        self.introLabel = QtGui.QLabel(self.statusbar)
        self.introLabel.setGeometry(QtCore.QRect(2,0,694,20))
        self.introLabel.setObjectName(_fromUtf8("introLabel"))
        self.introLabel.setText('Nodes above have higher security levels than the ones below')
        MainWindow.setStatusBar(self.statusbar)
        
        self.toolBar = QtGui.QToolBar(MainWindow)
        self.toolBar.setObjectName(_fromUtf8("toolBar"))
        MainWindow.addToolBar(QtCore.Qt.TopToolBarArea, self.toolBar)
        
        self.actionHelp_Contents = QtGui.QAction(MainWindow)
        self.actionHelp_Contents.setObjectName(_fromUtf8("actionHelp_Contents"))
        
        self.actionNew = QtGui.QAction(MainWindow)
        self.actionNew.setObjectName(_fromUtf8("actionNew"))
        self.actionNew.setToolTip("Create a blank graph")
        
        self.actionOpen = QtGui.QAction(MainWindow)
        self.actionOpen.setObjectName(_fromUtf8("actionOpen"))
        self.actionOpen.setToolTip("Open a mlsvis graph file")
        
        self.actionSave = QtGui.QAction(MainWindow)
        self.actionSave.setObjectName(_fromUtf8("actionSave"))
        self.actionSave.setToolTip("Save a mlsvis graph file")
    
        self.actionSave_As = QtGui.QAction(MainWindow)
        self.actionSave_As.setObjectName(_fromUtf8("actionSave_As"))
        self.actionSave_As.setToolTip("Save as a mlsvis graph file")
        
        self.actionImport = QtGui.QAction(MainWindow)
        self.actionImport.setObjectName(_fromUtf8("actionImport"))
        self.actionImport.setToolTip("Import a mls specification file")
        
        self.actionExport = QtGui.QAction(MainWindow)
        self.actionExport.setObjectName(_fromUtf8("actionExport"))
        self.actionExport.setToolTip("Export as a mls specification file")
        
        self.actionNormal_Mode = QtGui.QAction(MainWindow)
        self.actionNormal_Mode.setCheckable(True)
        self.actionNormal_Mode.setChecked(True)
        self.actionNormal_Mode.setObjectName(_fromUtf8("actionNormal_Mode"))
        
        self.actionEdit_Mode = QtGui.QAction(MainWindow)
        self.actionEdit_Mode.setCheckable(True)
        self.actionEdit_Mode.setObjectName(_fromUtf8("actionEdit_Mode"))
        
        self.actionExit = QtGui.QAction(MainWindow)
        self.actionExit.setObjectName(_fromUtf8("actionExit"))
        
#        self.actionFull_Screen = QtGui.QAction(MainWindow)
#        self.actionFull_Screen.setObjectName(_fromUtf8("actionFull_Screen"))
        self.actionZoom_In = QtGui.QAction(MainWindow)
        self.actionZoom_In.setObjectName(_fromUtf8("actionZoom_In"))
        self.actionZoom_Out = QtGui.QAction(MainWindow)
        self.actionZoom_Out.setObjectName(_fromUtf8("actionZoom_Out"))
        
        self.actionGeneral_Graph = QtGui.QAction(MainWindow)
        self.actionGeneral_Graph.setCheckable(True)
        self.actionGeneral_Graph.setChecked(True)
        self.actionGeneral_Graph.setObjectName(_fromUtf8("actionGeneral_Graph"))
        self.actionGeneral_Graph.setToolTip("Show graph with nodes of your choice")

        self.actionType_Graph = QtGui.QAction(MainWindow)
        self.actionType_Graph.setCheckable(True)
        self.actionType_Graph.setObjectName(_fromUtf8("actionType_Graph"))
        self.actionType_Graph.setToolTip("Show hierarchy of directories with security information")

        self.actionView_SelfTest = QtGui.QAction(MainWindow)
        self.actionView_SelfTest.setCheckable(True)
        self.actionView_SelfTest.setObjectName(_fromUtf8("actionView_SelfTest"))
        self.actionView_SelfTest.setToolTip("Answer basic questions of the model")

        self.actionSpecification = QtGui.QAction(MainWindow)
        self.actionSpecification.setObjectName(_fromUtf8("actionSpecification"))
        self.actionSpecification.setToolTip("Show the specification file")
        
        '''ToolBox'''
        self.actionToolBox = QtGui.QAction(MainWindow)
        self.actionToolBox.setObjectName(_fromUtf8("actionToolBox"))
        self.actionToolBox.setCheckable(True)
        
        self.actionQuery_Window = QtGui.QAction(MainWindow)
        self.actionQuery_Window.setObjectName(_fromUtf8("actionQuery_Window"))
        self.actionQuery_Window.setCheckable(True);
        
        self.actionAssignment_Window = QtGui.QAction(MainWindow)
        self.actionAssignment_Window.setObjectName(_fromUtf8("actionAssignment_Window"))
        self.actionAssignment_Window.setToolTip("Assignment window")
        
        self.actionWhole_General_Graph = QtGui.QAction(MainWindow)
        self.actionWhole_General_Graph.setObjectName(_fromUtf8("actionWholeGraph_Window"))
        self.actionWhole_General_Graph = QtGui.QAction(MainWindow)
        self.actionWhole_General_Graph.setToolTip("Show graph with all nodes of different security levels")
        
        self.actionGenerate_Graph = QtGui.QAction(MainWindow)
        self.actionGenerate_Graph.setObjectName(_fromUtf8("actionGenerate_Graph"))
        self.actionGenerate_Graph.setToolTip("Automatically generate graph between the first and second node")
        
        self.actionAdd_One_Clearance_Node = QtGui.QAction(MainWindow)
        self.actionAdd_One_Clearance_Node.setObjectName(_fromUtf8("actionAdd_Clearance_Node"))
        self.actionAdd_One_Clearance_Node.setToolTip("Add one clearance node with chosen security to general graph")
        
        self.actionAdd_Predecessors = QtGui.QAction(MainWindow)
        self.actionAdd_Predecessors.setObjectName(_fromUtf8("actionAdd_Predecessors"))
        self.actionAdd_Successors = QtGui.QAction(MainWindow)
        self.actionAdd_Successors.setObjectName(_fromUtf8("actionAdd_Successors"))

        self.actionTest = QtGui.QAction(MainWindow)
        self.actionTest.setObjectName(_fromUtf8("actionTest"))
        self.actionTest.setCheckable(True)
        
        self.actionSpecDiagnosis = QtGui.QAction(MainWindow)
        self.actionSpecDiagnosis.setObjectName(_fromUtf8("actionSpecDiagnosis"))
        self.actionSpecDiagnosis.setCheckable(True)

        self.menu_File.addAction(self.actionNew)
        self.menu_File.addAction(self.actionOpen)
        self.menu_File.addAction(self.actionSave)
        self.menu_File.addAction(self.actionSave_As)
        self.menu_File.addAction(self.actionImport)
        self.menu_File.addAction(self.actionExport)
        self.menu_File.addAction(self.actionExit)
        
        self.menu_Edit.addAction(self.actionNormal_Mode)
        self.menu_Edit.addAction(self.actionEdit_Mode)
        self.menu_Edit.addSeparator()
        self.menu_Edit.addAction(self.actionAdd_One_Clearance_Node)
        self.menu_Edit.addAction(self.actionAdd_Predecessors)
        self.menu_Edit.addAction(self.actionAdd_Successors)
        
        self.menu_View.addAction(self.actionGeneral_Graph)
        self.menu_View.addAction(self.actionType_Graph)
        self.menu_View.addSeparator()
        self.menu_View.addAction(self.actionWhole_General_Graph)
        self.menu_View.addAction(self.actionSpecification)
        self.menu_View.addAction(self.actionAssignment_Window)
        self.menu_View.addAction(self.actionQuery_Window)
        self.menu_View.addSeparator()
        self.menu_View.addAction(self.actionZoom_In)
        self.menu_View.addAction(self.actionZoom_Out)

        self.menu_Practice.addAction(self.actionTest)
        self.menu_Practice.addAction(self.actionSpecDiagnosis)
        
        self.menu_Help.addAction(self.actionHelp_Contents)
        
        self.menubar.addAction(self.menu_File.menuAction())
        self.menubar.addAction(self.menu_Edit.menuAction())
        self.menubar.addAction(self.menu_View.menuAction())
        self.menubar.addAction(self.menu_Practice.menuAction())
        #self.menubar.addAction(self.menu_Help.menuAction())

        self.retranslateUi(MainWindow)
        QtCore.QObject.connect(self.actionExit, QtCore.SIGNAL(_fromUtf8("activated()")), MainWindow.close)
        QtCore.QMetaObject.connectSlotsByName(MainWindow)

    def retranslateUi(self, MainWindow):
        MainWindow.setWindowTitle(QtGui.QApplication.translate("MainWindow", "MainWindow", None, QtGui.QApplication.UnicodeUTF8))
        self.menu_File.setTitle(QtGui.QApplication.translate("MainWindow", "&File", None, QtGui.QApplication.UnicodeUTF8))
        self.menu_Edit.setTitle(QtGui.QApplication.translate("MainWindow", "&Edit", None, QtGui.QApplication.UnicodeUTF8))
        self.menu_View.setTitle(QtGui.QApplication.translate("MainWindow", "&View", None, QtGui.QApplication.UnicodeUTF8))
        self.menu_Practice.setTitle(QtGui.QApplication.translate("MainWindow", "&Practice", None, QtGui.QApplication.UnicodeUTF8))
        self.menu_Help.setTitle(QtGui.QApplication.translate("MainWindow", "&Help", None, QtGui.QApplication.UnicodeUTF8))
        
        self.toolBar.setWindowTitle(QtGui.QApplication.translate("MainWindow", "toolBar", None, QtGui.QApplication.UnicodeUTF8))
        self.actionHelp_Contents.setText(QtGui.QApplication.translate("MainWindow", "Help Contents", None, QtGui.QApplication.UnicodeUTF8))
        self.actionHelp_Contents.setShortcut(QtGui.QApplication.translate("MainWindow", "F1", None, QtGui.QApplication.UnicodeUTF8))
        self.actionNew.setText(QtGui.QApplication.translate("MainWindow", "New", None, QtGui.QApplication.UnicodeUTF8))
        self.actionNew.setShortcut(QtGui.QApplication.translate("MainWindow", "Ctrl+N", None, QtGui.QApplication.UnicodeUTF8))
        self.actionOpen.setText(QtGui.QApplication.translate("MainWindow", "Open", None, QtGui.QApplication.UnicodeUTF8))
        self.actionOpen.setShortcut(QtGui.QApplication.translate("MainWindow", "Ctrl+O", None, QtGui.QApplication.UnicodeUTF8))
        self.actionSave.setText(QtGui.QApplication.translate("MainWindow", "Save", None, QtGui.QApplication.UnicodeUTF8))
        self.actionSave.setShortcut(QtGui.QApplication.translate("MainWindow", "Ctrl+S", None, QtGui.QApplication.UnicodeUTF8))
        self.actionSave_As.setText(QtGui.QApplication.translate("MainWindow", "Save As", None, QtGui.QApplication.UnicodeUTF8))
        self.actionNormal_Mode.setText(QtGui.QApplication.translate("MainWindow", "Analysis Mode", None, QtGui.QApplication.UnicodeUTF8))
        self.actionEdit_Mode.setText(QtGui.QApplication.translate("MainWindow", "Edit Mode", None, QtGui.QApplication.UnicodeUTF8))
        self.actionExit.setText(QtGui.QApplication.translate("MainWindow", "Exit", None, QtGui.QApplication.UnicodeUTF8))
        self.actionExit.setShortcut(QtGui.QApplication.translate("MainWindow", "Ctrl+Q", None, QtGui.QApplication.UnicodeUTF8))
        self.actionZoom_In.setText(QtGui.QApplication.translate("MainWindow", "Zoom In", None, QtGui.QApplication.UnicodeUTF8))
        self.actionZoom_Out.setText(QtGui.QApplication.translate("MainWindow", "Zoom Out", None, QtGui.QApplication.UnicodeUTF8))
        self.actionImport.setText(QtGui.QApplication.translate("MainWindow", "Import", None, QtGui.QApplication.UnicodeUTF8))
        self.actionExport.setText(QtGui.QApplication.translate("MainWindow", "Export", None, QtGui.QApplication.UnicodeUTF8))
        self.actionGeneral_Graph.setText(QtGui.QApplication.translate("MainWindow", "General Graph", None, QtGui.QApplication.UnicodeUTF8))
        self.actionType_Graph.setText(QtGui.QApplication.translate("MainWindow", "Object Graph", None, QtGui.QApplication.UnicodeUTF8))
        self.actionView_SelfTest.setText(QtGui.QApplication.translate("MainWindow", "Decision Mode", None, QtGui.QApplication.UnicodeUTF8))
        self.actionSpecification.setText(QtGui.QApplication.translate("MainWindow", "Specification", None, QtGui.QApplication.UnicodeUTF8))

        self.actionQuery_Window.setText(QtGui.QApplication.translate("MainWindow", "Query Window", None, QtGui.QApplication.UnicodeUTF8))
        self.actionAssignment_Window.setText(QtGui.QApplication.translate("MainWindow", "Assignment", None, QtGui.QApplication.UnicodeUTF8))
        self.actionGenerate_Graph.setText(QtGui.QApplication.translate("MainWindow", "Generate Graph", None, QtGui.QApplication.UnicodeUTF8))
        
        self.actionAdd_One_Clearance_Node.setText(QtGui.QApplication.translate("MainWindow", "Add One Clearance Node", None, QtGui.QApplication.UnicodeUTF8))
        self.actionAdd_Predecessors.setText(QtGui.QApplication.translate("MainWindow", "Add Predecessors", None, QtGui.QApplication.UnicodeUTF8))
        self.actionAdd_Successors.setText(QtGui.QApplication.translate("MainWindow", "Add Successors", None, QtGui.QApplication.UnicodeUTF8))
        
        #self.actionList_PredSuccessors.setText(QtGui.QApplication.translate("MainWindow", "List Predecessors", None, QtGui.QApplication.UnicodeUTF8))
        self.actionWhole_General_Graph.setText(QtGui.QApplication.translate("MainWindow", "Whole General Graph", None, QtGui.QApplication.UnicodeUTF8))
        self.actionTest.setText(QtGui.QApplication.translate("MainWindow", "Test", None, QtGui.QApplication.UnicodeUTF8))
        self.actionSpecDiagnosis.setText(QtGui.QApplication.translate("MainWindow", "Specification Syntax Checking", None, QtGui.QApplication.UnicodeUTF8))

