CloneSet36


Previous CloneSetNext CloneSetBack to Main Report
Clone
Mass
Clones in
CloneSet
Parameter
Count
Clone
Similarity
Syntax Category
[Sequence Length]
56201.000class_body_declarations[5]
Clone AbstractionParameter Bindings
Clone Instance
(Click to see clone)
Line CountSource Line
Source File
156150
E:/TSE/Projects-CloneDR/jEdit-4.2/src/org/gjt/sp/jedit/textarea/Gutter.java
256585
E:/TSE/Projects-CloneDR/jEdit-4.2/src/org/gjt/sp/jedit/textarea/TextAreaPainter.java
Next
Last
Clone Instance
1
Line Count
56
Source Line
150
Source File
E:/TSE/Projects-CloneDR/jEdit-4.2/src/org/gjt/sp/jedit/textarea/Gutter.java

//{{{ addExtension() method
/**
 * Adds a text area extension, which can perform custom painting and
 * tool tip handling.
 * @param extension The extension
 * @since jEdit 4.0pre4
 */
public void addExtension(TextAreaExtension extension) {
  extensionMgr.addExtension(DEFAULT_LAYER, extension);
  repaint();
} //}}}

//{{{ addExtension() method
/**
 * Adds a text area extension, which can perform custom painting and
 * tool tip handling.
 * @param layer The layer to add the extension to. Note that more than
 * extension can share the same layer.
 * @param extension The extension
 * @since jEdit 4.0pre4
 */
public void addExtension(int layer, TextAreaExtension extension) {
  extensionMgr.addExtension(layer, extension);
  repaint();
} //}}}

//{{{ removeExtension() method
/**
 * Removes a text area extension. It will no longer be asked to
 * perform custom painting and tool tip handling.
 * @param extension The extension
 * @since jEdit 4.0pre4
 */
public void removeExtension(TextAreaExtension extension) {
  extensionMgr.removeExtension(extension);
  repaint();
} //}}}

//{{{ getExtensions() method
/**
 * Returns an array of registered text area extensions. Useful for
 * debugging purposes.
 * @since jEdit 4.1pre5
 */
public TextAreaExtension[] getExtensions() {
  return extensionMgr.getExtensions();
} //}}}

//{{{ getToolTipText() method
/**
 * Returns the tool tip to display at the specified location.
 * @param evt The mouse event
 */
public String getToolTipText(MouseEvent evt) {
  if ( !textArea.getBuffer().isLoaded())
    return null;
  return extensionMgr.getToolTipText(evt.getX(), evt.getY());
} //}}}


First
Previous
Clone Instance
2
Line Count
56
Source Line
585
Source File
E:/TSE/Projects-CloneDR/jEdit-4.2/src/org/gjt/sp/jedit/textarea/TextAreaPainter.java

//}}}
//{{{ addExtension() method
/**
 * Adds a text area extension, which can perform custom painting and
 * tool tip handling.
 * @param extension The extension
 * @since jEdit 4.0pre4
 */
public void addExtension(TextAreaExtension extension) {
  extensionMgr.addExtension(DEFAULT_LAYER, extension);
  repaint();
} //}}}

//{{{ addExtension() method
/**
 * Adds a text area extension, which can perform custom painting and
 * tool tip handling.
 * @param layer The layer to add the extension to. Note that more than
 * extension can share the same layer.
 * @param extension The extension
 * @since jEdit 4.0pre4
 */
public void addExtension(int layer, TextAreaExtension extension) {
  extensionMgr.addExtension(layer, extension);
  repaint();
} //}}}

//{{{ removeExtension() method
/**
 * Removes a text area extension. It will no longer be asked to
 * perform custom painting and tool tip handling.
 * @param extension The extension
 * @since jEdit 4.0pre4
 */
public void removeExtension(TextAreaExtension extension) {
  extensionMgr.removeExtension(extension);
  repaint();
} //}}}

//{{{ getExtensions() method
/**
 * Returns an array of registered text area extensions. Useful for
 * debugging purposes.
 * @since jEdit 4.1pre5
 */
public TextAreaExtension[] getExtensions() {
  return extensionMgr.getExtensions();
} //}}}

//{{{ getToolTipText() method
/**
 * Returns the tool tip to display at the specified location.
 * @param evt The mouse event
 */
public String getToolTipText(MouseEvent evt) {
  if ( !textArea.getBuffer().isLoaded())
    return null;
  return extensionMgr.getToolTipText(evt.getX(), evt.getY());
} //}}}


Clone AbstractionParameter Count: 0Parameter Bindings

//}}}
//{{{ addExtension() method
/**
         * Adds a text area extension, which can perform custom painting and
         * tool tip handling.
         * @param extension The extension
         * @since jEdit 4.0pre4
         */
public void addExtension(TextAreaExtension extension) {
  extensionMgr.addExtension(DEFAULT_LAYER, extension);
  repaint();
} //}}}

//{{{ addExtension() method
/**
         * Adds a text area extension, which can perform custom painting and
         * tool tip handling.
         * @param layer The layer to add the extension to. Note that more than
         * extension can share the same layer.
         * @param extension The extension
         * @since jEdit 4.0pre4
         */
public void addExtension(int layer, TextAreaExtension extension) {
  extensionMgr.addExtension(layer, extension);
  repaint();
} //}}}

//{{{ removeExtension() method
/**
         * Removes a text area extension. It will no longer be asked to
         * perform custom painting and tool tip handling.
         * @param extension The extension
         * @since jEdit 4.0pre4
         */
public void removeExtension(TextAreaExtension extension) {
  extensionMgr.removeExtension(extension);
  repaint();
} //}}}

//{{{ getExtensions() method
/**
         * Returns an array of registered text area extensions. Useful for
         * debugging purposes.
         * @since jEdit 4.1pre5
         */
public TextAreaExtension[] getExtensions() {
  return extensionMgr.getExtensions();
} //}}}

//{{{ getToolTipText() method
/**
         * Returns the tool tip to display at the specified location.
         * @param evt The mouse event
         */
public String getToolTipText(MouseEvent evt) {
  if ( !textArea.getBuffer().isLoaded())
    return null;
  return extensionMgr.getToolTipText(evt.getX(), evt.getY());
} //}}}
 

CloneAbstraction
Parameter Bindings
Parameter
Index
Clone
Instance
Parameter
Name
Value
None