1 Ai jk @lm n op qr s tuv w x oy q z { | }~      "  % @ ( % %  - / 2 2   2 @  : < % A_query Lptolemy/actor/gui/PtolemyQuery;V(Lptolemy/verification/kernel/MathematicalModelConverter;Lptolemy/actor/gui/Tableau;)VCodeLineNumberTableLocalVariableTablethis8Lptolemy/verification/gui/MathematicalModelConverterGUI;modelConverter8Lptolemy/verification/kernel/MathematicalModelConverter;tableauLptolemy/actor/gui/Tableau; caveatsPanelLjavax/swing/JPanel; messageAreaLjavax/swing/JTextArea;left buttonPanelgoButtonLjavax/swing/JButton; clearButtonmoreInfoButton queryPanel scrollPaneLjavax/swing/JScrollPane;execLptolemy/gui/JTextAreaExec; splitPaneLjavax/swing/JSplitPane; preferredLjava/awt/Dimension; Exceptions_close()Z SourceFile"MathematicalModelConverterGUI.java D javax/swing/JPanel D javax/swing/BoxLayout D javax/swing/JTextAreaNOTE: This is a highly preliminary facility for verification with many limitations. It is best viewed as a concept demonstration. D java/awt/Dimension D javax/swing/JButtonConvert D Convert Model Center Clear Clear Log More Info8ptolemy/verification/gui/MathematicalModelConverterGUI$1 InnerClasses D ptolemy/actor/gui/PtolemyQuery D BCjava/awt/Insets D  javax/swing/JScrollPane Dptolemy/gui/JTextAreaExecTerminal (Verification Results) Djavax/swing/JSplitPane D 8ptolemy/verification/gui/MathematicalModelConverterGUI$2 D8ptolemy/verification/gui/MathematicalModelConverterGUI$3 D ef6ptolemy/verification/gui/MathematicalModelConverterGUIptolemy/actor/gui/PtolemyFrame*ptolemy/kernel/util/IllegalActionException,ptolemy/kernel/util/NameDuplicationException<(Lptolemy/kernel/util/NamedObj;Lptolemy/actor/gui/Tableau;)V6ptolemy/verification/kernel/MathematicalModelConvertergetName()Ljava/lang/String;setTitle(Ljava/lang/String;)V()Vjavax/swing/BorderFactorycreateEmptyBorder!(IIII)Ljavax/swing/border/Border; setBorder(Ljavax/swing/border/Border;)V(Ljava/awt/Container;I)V setLayout(Ljava/awt/LayoutManager;)V(Ljava/lang/String;II)V setEditable(Z)VcreateEtchedBorder()Ljavax/swing/border/Border; setLineWrapsetWrapStyleWordadd*(Ljava/awt/Component;)Ljava/awt/Component;setSize(II)VsetMaximumSize(Ljava/awt/Dimension;)VsetToolTipText)(Ljava/awt/Component;Ljava/lang/Object;)Vs(Lptolemy/verification/gui/MathematicalModelConverterGUI;Lptolemy/verification/kernel/MathematicalModelConverter;)VaddActionListener"(Ljava/awt/event/ActionListener;)V!(Lptolemy/kernel/util/NamedObj;)V(IIII)V setInsets(Ljava/awt/Insets;)V setTextWidth(I)V#ptolemy/actor/gui/EditorPaneFactorycreateEditorPaneT(Lptolemy/kernel/util/NamedObj;Lptolemy/actor/gui/PtolemyQuery;)Ljava/awt/Component;(Ljava/awt/Component;)V(Ljava/lang/String;Z)V,(ILjava/awt/Component;Ljava/awt/Component;)VsetOneTouchExpandablegetPreferredSize()Ljava/awt/Dimension;widthIsetDividerLocationgetContentPane()Ljava/awt/Container;java/awt/ContainerV(Lptolemy/verification/gui/MathematicalModelConverterGUI;Lptolemy/gui/JTextAreaExec;)V(Lptolemy/verification/gui/MathematicalModelConverterGUI;Lptolemy/verification/kernel/MathematicalModelConverter;Lptolemy/gui/JTextAreaExec;)VnotifyListeners!@ABCDEF"*+,*+YN--Y- Y  :-WY:Y -Yd-WY:Y:Y: WY!:  "Y*+#$ WY2WY: *%Y+&'*'(Y)**'+ +*',W-Y .:  /Y01: 2Y 3:  45: 6`7*8 9:Y* ;$*?G H  IJgh":<