public void toString(StringBuffer s) {
s.append("return ");
if (hasResult()) {
getResult().toString(s);
}
s.append(";\n");
}
public void toString(StringBuffer s) {
s.append("<");
for (int i = 0; i < getNumTypeArgument(); i++) {
if (i != 0) s.append(", ");
getTypeArgument(i).toString(s);
}
s.append(">");
super.toString(s);
}
public void toString(StringBuffer s) {
s.append("if(");
getCondition().toString(s);
s.append(") ");
getThen().toString(s);
if (hasElse()) {
s.append(indent());
s.append("else ");
getElse().toString(s);
}
}
/**
* @ast method
* @aspect PrettyPrint
* @declaredat /home/uoji/JastAddJ/Java1.4Frontend/PrettyPrint.jadd:89
*/
public void toString(StringBuffer s) {
s.append(indent());
getModifiers().toString(s);
s.append("interface " + name());
if (getNumSuperInterfaceId() > 0) {
s.append(" extends ");
getSuperInterfaceId(0).toString(s);
for (int i = 1; i < getNumSuperInterfaceId(); i++) {
s.append(", ");
getSuperInterfaceId(i).toString(s);
}
}
ppBodyDecls(s);
}
/**
* @ast method
* @aspect PrettyPrint
* @declaredat /home/uoji/JastAddJ/Java1.4Frontend/PrettyPrint.jadd:537
*/
public void toString(StringBuffer s) {
s.append(indent());
s.append(";");
}
/**
* @ast method
* @aspect GenericsPrettyPrint
* @declaredat
* /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.5Frontend/GenericsPrettyPrint.jrag:161
*/
public void toString(StringBuffer s) {
s.append("?");
}
/**
* @ast method
* @aspect PrettyPrint
* @declaredat /home/uoji/JastAddJ/Java1.4Frontend/PrettyPrint.jadd:394
*/
public void toString(StringBuffer s) {
getLeftOperand().toString(s);
s.append(printOp());
getRightOperand().toString(s);
}
/**
* @ast method
* @aspect PrettyPrint
* @declaredat /home/uoji/JastAddJ/Java1.4Frontend/PrettyPrint.jadd:490
*/
public void toString(StringBuffer s) {
getAccess().toString(s);
s.append("[]");
}
/**
* @ast method
* @aspect PrettyPrint
* @declaredat
* /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/PrettyPrint.jadd:692
*/
public void toString(StringBuffer s) {
s.append(indent());
s.append("throw ");
getExpr().toString(s);
s.append(";");
}
public void toString(StringBuffer s) {
s.append("\"" + escape(getLITERAL()) + "\"");
}