org.jmlspecs.jml4.esc
Class PostProcessor

java.lang.Object
  org.jmlspecs.jml4.esc.PostProcessor

public class PostProcessor
extends java.lang.Object

Field Summary

static boolean

useOldErrorReporting

Constructor Summary

PostProcessor(CompilerOptions options, ProblemReporter problemReporter, Counter counter)

Method Summary

void	postProcess(Result[] results, int sourceStart)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

useOldErrorReporting

public static boolean useOldErrorReporting

Constructor Detail

PostProcessor

public PostProcessor(CompilerOptions options,
                     ProblemReporter problemReporter,
                     Counter counter)

Method Detail

postProcess

public void postProcess(Result[] results,
                        int sourceStart)