Class STViz


  • public class STViz
    extends java.lang.Object
    • Method Detail

      • open

        public void open()
      • waitForClose

        public void waitForClose()
                          throws java.lang.InterruptedException
        Throws:
        java.lang.InterruptedException
      • updateCurrentST

        private void updateCurrentST​(STViewFrame m)
      • setText

        protected void setText​(javax.swing.JEditorPane component,
                               java.lang.String text)
      • toComponentPosition

        protected int toComponentPosition​(javax.swing.text.JTextComponent component,
                                          int position)
      • toEventPosition

        protected int toEventPosition​(javax.swing.text.JTextComponent component,
                                      int position)
      • highlight

        protected final void highlight​(javax.swing.text.JTextComponent comp,
                                       int i,
                                       int j)
      • highlight

        protected void highlight​(javax.swing.text.JTextComponent comp,
                                 int i,
                                 int j,
                                 boolean scroll)
      • findEventAtOutputLocation

        public InterpEvent findEventAtOutputLocation​(java.util.List<InterpEvent> events,
                                                     int charIndex)
      • main

        public static void main​(java.lang.String[] args)
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • test1

        public static void test1()
                          throws java.io.IOException
        Throws:
        java.io.IOException
      • test2

        public static void test2()
                          throws java.io.IOException
        Throws:
        java.io.IOException
      • test3

        public static void test3()
                          throws java.io.IOException
        Throws:
        java.io.IOException
      • test4

        public static void test4()
                          throws java.io.IOException
        Throws:
        java.io.IOException
      • writeFile

        public static void writeFile​(java.lang.String dir,
                                     java.lang.String fileName,
                                     java.lang.String content)