VerifierMessageBase msg = (VerifierMessageBase) iterator.next();
System.out.println( "WARN (" + msg.getClass().getSimpleName() + "): " + msg.getMessage() );
System.out.println( "\t FAULT: [" + msg.getClass().getSimpleName() + "] " + msg.getFaulty() );
if ( msg instanceof VerifierMessage ) {
System.out.println( "\t CAUSES (message):" );
VerifierMessage amsg = (VerifierMessage) msg;
for ( Iterator iterator2 = amsg.getCauses().iterator(); iterator2.hasNext(); ) {
Cause c = (Cause) iterator2.next();
System.out.println( "\t\t [" + c.getClass().getSimpleName() + "]" + c );
}
} else if ( msg instanceof VerifierRangeCheckMessage ) {
System.out.println( "\t CAUSES (range):" );
VerifierRangeCheckMessage amsg = (VerifierRangeCheckMessage) msg;
for ( Iterator iterator2 = amsg.getCauses().iterator(); iterator2.hasNext(); ) {
Cause c = (Cause) iterator2.next();
System.out.println( "\t\t" + c );
}