Class AssertionWriter


  • public class AssertionWriter
    extends Object
    • Method Detail

      • writeAssertStatement

        public void writeAssertStatement​(AssertStatement statement)
      • record

        public void record​(Expression expression)
      • record

        public void record​(Token op)
      • disableTracker

        public void disableTracker()
      • reenableTracker

        public void reenableTracker()