de.unisaarland.cs.st.jerify.verifier
Class TSError

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.TSError

public class TSError
extends java.lang.Object

Constructor Summary

TSError()

Method Summary

static void	report(checkers.source.Result r, java.lang.Object o)
static void	setChecker(Checker c)

Methods inherited from class java.lang.Object

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

Constructor Detail

TSError

public TSError()

Method Detail

report

public static final void report(checkers.source.Result r,
                                java.lang.Object o)

setChecker

public static final void setChecker(Checker c)