Changeset 356 for trunk/JFCMonitor/src


Ignore:
Timestamp:
01/26/12 15:47:23 (13 years ago)
Author:
sherbold
Message:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/JFCListener.java

    r355 r356  
    2424        /** 
    2525         * <p> 
    26          * Convenience variable. 
    27          * </p> 
    28          */ 
    29         final static private String ENDLINE = System.getProperty("line.separator"); 
    30  
    31         /** 
    32          * <p> 
    3326         * Writer for logging events. 
    3427         * </p> 
     
    4942                try { 
    5043                        outputWriter.write("<?xml version=\"1.0\" encoding=\"UTF-16\"?>" 
    51                                         + ENDLINE); 
    52                         outputWriter.write("<sessions>" + ENDLINE); 
     44                                        + StringTools.ENDLINE); 
     45                        outputWriter.write("<sessions>" + StringTools.ENDLINE); 
    5346                } catch (IOException e) { 
    5447                        System.err.println("JFCMONITOR -- Failure writing to log: " 
     
    7265                        MouseEvent mouseEvent = (MouseEvent) event; 
    7366                        if (!isMouseMovement(event.getID())) { 
    74                                 builder.append("<event id=\"" + event.getID() + "\">" + ENDLINE); 
     67                                builder.append("<event id=\"" + event.getID() + "\">" + StringTools.ENDLINE); 
    7568                                builder.append(" <param name=\"X\" value=\"" 
    76                                                 + mouseEvent.getX() + "\" />" + ENDLINE); 
     69                                                + mouseEvent.getX() + "\" />" + StringTools.ENDLINE); 
    7770                                builder.append(" <param name=\"Y\" value=\"" 
    78                                                 + mouseEvent.getY() + "\" />" + ENDLINE); 
     71                                                + mouseEvent.getY() + "\" />" + StringTools.ENDLINE); 
    7972                                builder.append(" <param name=\"Button\" value=\"" 
    80                                                 + mouseEvent.getButton() + "\" />" + ENDLINE); 
     73                                                + mouseEvent.getButton() + "\" />" + StringTools.ENDLINE); 
    8174                                builder.append(" <param name=\"Modifiers\" value=\"" 
    82                                                 + mouseEvent.getModifiers() + "\" />" + ENDLINE); 
     75                                                + mouseEvent.getModifiers() + "\" />" + StringTools.ENDLINE); 
    8376                                addSourceInfo(builder, event); 
    84                                 builder.append("</event>" + ENDLINE); 
     77                                builder.append("</event>" + StringTools.ENDLINE); 
    8578                        } 
    8679                } 
     
    8881                        KeyEvent keyEvent = (KeyEvent) event; 
    8982                        if (keyEvent.getID() == KeyEvent.KEY_TYPED) { 
    90                                 builder.append("<event id=\"" + event.getID() + "\">" + ENDLINE); 
     83                                builder.append("<event id=\"" + event.getID() + "\">" + StringTools.ENDLINE); 
    9184                                builder.append(" <param name=\"KeyCode\" value=\"" 
    92                                                 + keyEvent.getKeyCode() + "\" />" + ENDLINE); 
     85                                                + keyEvent.getKeyCode() + "\" />" + StringTools.ENDLINE); 
    9386                                builder.append(" <param name=\"Modifiers\" value=\"" 
    94                                                 + keyEvent.getModifiers() + "\" />" + ENDLINE); 
     87                                                + keyEvent.getModifiers() + "\" />" + StringTools.ENDLINE); 
    9588                                addSourceInfo(builder, event); 
    96                                 builder.append("</event>" + ENDLINE); 
     89                                builder.append("</event>" + StringTools.ENDLINE); 
    9790                        } 
    9891                } 
     
    119112         */ 
    120113        private void addSourceInfo(StringBuilder builder, AWTEvent event) { 
    121                 builder.append(" <source>" + ENDLINE); 
     114                builder.append(" <source>" + StringTools.ENDLINE); 
    122115                builder.append("  <param name=\"toString\" value=\"" 
    123116                                + StringTools 
    124117                                                .xmlEntityReplacement(event.getSource().toString()) 
    125                                 + "\" />" + ENDLINE); 
     118                                + "\" />" + StringTools.ENDLINE); 
    126119                if (event.getSource() instanceof Component) { 
    127120                        Component source = (Component) event.getSource(); 
     
    131124                        } 
    132125                } 
    133                 builder.append(" </source>" + ENDLINE); 
     126                builder.append(" </source>" + StringTools.ENDLINE); 
    134127        } 
    135128 
Note: See TracChangeset for help on using the changeset viewer.