File Source: DummyChannelWindow.java

         /* 
    P/P   *  Method: com.dmdirc.addons.ui_dummy.DummyChannelWindow__static_init
          */
     1  /*
     2   * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
     3   *
     4   * Permission is hereby granted, free of charge, to any person obtaining a copy
     5   * of this software and associated documentation files (the "Software"), to deal
     6   * in the Software without restriction, including without limitation the rights
     7   * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
     8   * copies of the Software, and to permit persons to whom the Software is
     9   * furnished to do so, subject to the following conditions:
    10   *
    11   * The above copyright notice and this permission notice shall be included in
    12   * all copies or substantial portions of the Software.
    13   *
    14   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
    15   * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
    16   * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
    17   * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
    18   * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
    19   * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
    20   * SOFTWARE.
    21   */
    22  
    23  package com.dmdirc.addons.ui_dummy;
    24  
    25  import com.dmdirc.Channel;
    26  import com.dmdirc.commandparser.parsers.ChannelCommandParser;
    27  import com.dmdirc.parser.irc.ChannelClientInfo;
    28  import com.dmdirc.ui.interfaces.ChannelWindow;
    29  
    30  import java.util.List;
    31  
    32  /**
    33   * Dummy channel window, used for testing.
    34   */
    35  public final class DummyChannelWindow extends DummyInputWindow implements ChannelWindow {
    36  
    37      /** Parent channel. */
    38      private final Channel parent;
    39  
    40      /** 
    41       * Instantiates a new DummyChannelWindow. 
    42       *
    43       * @param parent Parent channel
    44       */
    45      public DummyChannelWindow(final Channel parent) {
                 /* 
    P/P           *  Method: void com.dmdirc.addons.ui_dummy.DummyChannelWindow(Channel)
                  * 
                  *  Preconditions:
                  *    parent != null
                  * 
                  *  Postconditions:
                  *    this.commandParser == &new ChannelCommandParser(DummyChannelWindow#1)
                  *    this.container == parent
                  *    this.container != null
                  *    this.parent == this.container
                  *    new ChannelCommandParser(DummyChannelWindow#1) num objects == 1
                  */
    46          super(parent, new ChannelCommandParser(parent.getServer(), parent));
    47          this.parent = parent;
    48      }
    49  
    50      /** {@inheritDoc} */
    51      @Override
    52      public void updateNames(final List<ChannelClientInfo> clients) {
    53          // Do nothing
             /* 
    P/P       *  Method: void updateNames(List)
              */
    54      }
    55  
    56      /** {@inheritDoc} */
    57      @Override
    58      public void addName(final ChannelClientInfo client) {
    59          // Do nothing
             /* 
    P/P       *  Method: void addName(ChannelClientInfo)
              */
    60      }
    61  
    62      /** {@inheritDoc} */
    63      @Override
    64      public void removeName(final ChannelClientInfo client) {
    65          // Do nothing
             /* 
    P/P       *  Method: void removeName(ChannelClientInfo)
              */
    66      }
    67  
    68      /** {@inheritDoc} */
    69      @Override
    70      public void updateNames() {
    71          // Do nothing
             /* 
    P/P       *  Method: void updateNames()
              */
    72      }
    73  
    74      /** {@inheritDoc} */
    75      @Override
    76      public Channel getChannel() {
                 /* 
    P/P           *  Method: Channel getChannel()
                  * 
                  *  Postconditions:
                  *    return_value == this.parent
                  *    init'ed(return_value)
                  */
    77          return parent;
    78      }
    79  
    80      /** {@inheritDoc} */
    81      @Override
    82      public void redrawNicklist() {
    83          // Do nothing
             /* 
    P/P       *  Method: void redrawNicklist()
              */
    84      }
    85  
    86  }








SofCheck Inspector Build Version : 2.17854
DummyChannelWindow.java 2009-Jun-25 01:54:24
DummyChannelWindow.class 2009-Sep-02 17:04:17