Constructor Detail

• public AssertionWriter(WriterController wc)

  Creates an assertion writer for the supplied controller.

  Parameters:

  wc - the active writer controller

Method Detail

• public void disableTracker()

  Temporarily disables power-assert value tracking.

• public void record(Token token)

  Records the current stack value for the supplied token position.

  Parameters:

  token - the token whose source position should be recorded

• public void record(Expression expression)

  Records the current stack value for the supplied expression position.

  Parameters:

  expression - the expression whose source position should be recorded

• public void reenableTracker()

  Restores power-assert value tracking after a previous disable.

• public void writeAssertStatement(AssertStatement statement)

  Emits bytecode for an assert statement.

  Parameters:

  statement - the assertion statement