DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

bug fix for prettyPrint() 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1673 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-08-27 13:46:57 +00:00
parent 8829f2bdcb
commit e573a6a414
1 changed files with 3 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
com.ibm.wala.core/src/com/ibm/wala/logic/Disjunction.java
View File

@ -56,19 +56,10 @@ public class Disjunction extends AbstractBinaryFormula implements IMaxTerm {
}
public String prettyPrint(ILogicDecorator d) {
if (clauses.size() == 1) {
return getF1().prettyPrint(d);
} else {
StringBuffer result = new StringBuffer();
result.append(" ( ");
result.append(getF1().prettyPrint(d));
result.append(" ) ");
result.append(d.prettyPrint(getConnective()));
result.append(" ( ");
result.append(getF2().prettyPrint(d));
result.append(" )");
return result.toString();
if (d == null) {
throw new IllegalArgumentException("d == null");
}
return d.prettyPrint(this);
}
@Override