errorfilenode.java

来自「Python Development Environment (Python I」· Java 代码 · 共 38 行

JAVA
38
字号
/*
 * Created on Oct 19, 2004
 *
 * @author Fabio Zadrozny
 */
package org.python.pydev.debug.codecoverage;


/**
 * @author Fabio Zadrozny
 */
public class ErrorFileNode {
    public Object node;
    public String desc;
    
    /* (non-Javadoc)
     * @see java.lang.Object#equals(java.lang.Object)
     */
    public boolean equals(Object obj) {
        if(!(obj instanceof ErrorFileNode)){
            return false;
        }
        
        ErrorFileNode f = (ErrorFileNode) obj;
        return f.node.equals(node) && f.desc == desc; 
    }
    
    /* (non-Javadoc)
     * @see java.lang.Object#toString()
     */
    public String toString() {
        return FileNode.getName(node.toString()) + "   " +desc;
    }
    
    

}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?