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 + -
显示快捷键?