org.eclipse.ocl.pivot.evaluation

Interface EvaluationLogger

public interface EvaluationLogger

Method Summary

Methods

Modifier and Type	Method and Description
void	append(java.lang.String message)

Method Detail

append

void append(@NonNull
          java.lang.String message)