/** * @see Object#toString() */ public String toString() { StringBuilder buf = new StringBuilder(); buf.append( "classes " ); classes.printRefinementToBuffer( buf ); return buf.toString(); } }
/** * @see ExprNode#printRefinementToBuffer(StringBuffer) * * @return The buffer in which the refinement has been appended * @throws UnsupportedOperationException if this node isn't a part of a refinement. */ public StringBuilder printRefinementToBuffer( StringBuilder buf ) { buf.append( "or: {" ); boolean isFirst = true; for ( ExprNode node:children ) { if ( isFirst ) { isFirst = false; } else { buf.append( ", " ); } node.printRefinementToBuffer( buf ); } buf.append( '}' ); return buf; }
/** * @see ExprNode#printRefinementToBuffer(StringBuffer) * * @return The buffer in which the refinement has been appended * @throws UnsupportedOperationException if this node isn't a part of a refinement. */ public StringBuilder printRefinementToBuffer( StringBuilder buf ) { buf.append( "not: {" ); boolean isFirst = true; for ( ExprNode node:children ) { if ( isFirst ) { isFirst = false; } else { buf.append( ", " ); } node.printRefinementToBuffer( buf ); } buf.append( '}' ); return buf; }
/** * @see ExprNode#printRefinementToBuffer(StringBuffer) * * @param buf the buffer to append to. * @return The buffer in which the refinement has been appended * @throws UnsupportedOperationException if this node isn't a part of a refinement. */ public StringBuilder printRefinementToBuffer( StringBuilder buf ) { buf.append( "and: {" ); boolean isFirst = true; for ( ExprNode node:children ) { if ( isFirst ) { isFirst = false; } else { buf.append( ", " ); } node.printRefinementToBuffer( buf ); } buf.append( '}' ); return buf; }
refinement.printRefinementToBuffer( tempBuffer ); buffer.append( tempBuffer );