typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

add new line before first constant slot #21

Closed Jianchu closed 8 years ago

Jianchu commented 8 years ago

The previous ToStringSerializer didn't add \n before the first constant slot, so the output of constant slot is:

( 81 => @DataFlowTop )
( 82 => @DataFlowTop )
( 83 => @DataFlowTop )( 1 => @DataFlow )

and this commit makes the format better.