Package ora4mas.nopl

Class GUIInterface

  • public class GUIInterface
extends java.lang.Object
    General GUI for OrgArts

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private static javax.swing.JTabbedPane allArtsPane  
      private javax.swing.JPanel artPanel  
      private static javax.swing.JFrame frame  
      private static int guiCount  
      private java.lang.String lastNFacts  
      private java.lang.String lastNSStr  
      private java.lang.String lastOEStr  
      (package private) npl.NPLInterpreter nengine  
      private javax.xml.transform.Transformer nsTransformer  
      private javax.swing.JTextPane ostext  
      private javax.xml.parsers.DocumentBuilder parser  
      private javax.swing.JTabbedPane tpane  
      private javax.swing.JTextArea txtLog  
      private javax.swing.JTextPane txtNF  
      private javax.swing.JTextArea txtNP  
      private javax.swing.JTextPane txtNS  
      private javax.swing.JTextPane txtOE  
      private static java.util.concurrent.ScheduledThreadPoolExecutor updater  

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private GUIInterface()  

    • Method Summary

      Modifier and Type Method Description
      static GUIInterface add​(java.lang.String id, java.lang.String title, npl.NPLInterpreter nengine, boolean hasOE)  
      javax.xml.transform.Transformer getNSTransformer()  
      javax.xml.parsers.DocumentBuilder getParser()  
      private static void initFrame()  
      void remove()  
      void setNormativeProgram​(java.lang.String source)  
      void setSpecification​(java.lang.String sSpec)  
      void updateNFacts​(java.lang.String nFacts)  
      void updateNS()  
      void updateOE​(ToXML oe, javax.xml.transform.Transformer transformer)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • nengine

        npl.NPLInterpreter nengine

      • frame

        private static javax.swing.JFrame frame

      • allArtsPane

        private static javax.swing.JTabbedPane allArtsPane

      • updater

        private static java.util.concurrent.ScheduledThreadPoolExecutor updater

      • guiCount

        private static int guiCount

      • tpane

        private javax.swing.JTabbedPane tpane

      • txtOE

        private javax.swing.JTextPane txtOE

      • txtNF

        private javax.swing.JTextPane txtNF

      • txtNS

        private javax.swing.JTextPane txtNS

      • txtNP

        private javax.swing.JTextArea txtNP

      • ostext

        private javax.swing.JTextPane ostext

      • txtLog

        private javax.swing.JTextArea txtLog

      • artPanel

        private javax.swing.JPanel artPanel

      • lastOEStr

        private java.lang.String lastOEStr

      • lastNFacts

        private java.lang.String lastNFacts

      • lastNSStr

        private java.lang.String lastNSStr

      • parser

        private javax.xml.parsers.DocumentBuilder parser

      • nsTransformer

        private javax.xml.transform.Transformer nsTransformer

    • Constructor Detail

      • GUIInterface

        private GUIInterface()

    • Method Detail

      • initFrame

        private static void initFrame()

      • add

        public static GUIInterface add​(java.lang.String id,
                               java.lang.String title,
                               npl.NPLInterpreter nengine,
                               boolean hasOE)
                        throws java.lang.Exception
        Throws:
        java.lang.Exception

      • remove

        public void remove()

      • setNormativeProgram

        public void setNormativeProgram​(java.lang.String source)

      • setSpecification

        public void setSpecification​(java.lang.String sSpec)
                      throws java.lang.Exception
        Throws:
        java.lang.Exception

      • updateOE

        public void updateOE​(ToXML oe,
                     javax.xml.transform.Transformer transformer)
              throws java.lang.Exception
        Throws:
        java.lang.Exception

      • updateNFacts

        public void updateNFacts​(java.lang.String nFacts)

      • updateNS

        public void updateNS()

      • getParser

        public javax.xml.parsers.DocumentBuilder getParser()
                                            throws javax.xml.parsers.ParserConfigurationException
        Throws:
        javax.xml.parsers.ParserConfigurationException

      • getNSTransformer

        public javax.xml.transform.Transformer getNSTransformer()
                                                 throws javax.xml.transform.TransformerConfigurationException,
                                                        javax.xml.transform.TransformerFactoryConfigurationError,
                                                        java.io.IOException
        Throws:
        javax.xml.transform.TransformerConfigurationException
        javax.xml.transform.TransformerFactoryConfigurationError
        java.io.IOException