📄 taskprinter.java
字号:
package com.sun.electric.tool.generator.flag;
import com.sun.electric.database.topology.PortInst;
import com.sun.electric.tool.generator.flag.router.ToConnect;
import com.sun.electric.tool.generator.layout.LayoutLib;
/** TaskPrinter will describe the task at hand only if I need to report
* that something went wrong. */
public class TaskPrinter {
private final StringBuffer taskDescription = new StringBuffer();
private boolean taskDescriptionPrinted = false;
private void printTaskDescription() {
if (taskDescriptionPrinted) return;
System.out.println(taskDescription.toString());
taskDescriptionPrinted = true;
}
public void saveTaskDescription(String msg) {
taskDescription.setLength(0);
taskDescriptionPrinted = false;
taskDescription.append(msg);
}
public void clearTaskDescription() {
taskDescriptionPrinted = false;
}
public void prln(String s) {
printTaskDescription();
System.out.println(s);
}
public void pr(String s) {
printTaskDescription();
System.out.print(s);
}
public void error(boolean cond, String msg) {
if (cond) {
printTaskDescription();
LayoutLib.error(true, msg);
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -