// Checkerframework stubs for the jboss.logging module

package org.jboss.logging;

import org.checkerframework.checker.nullness.qual.Nullable;

public interface BasicLogger {
    void tracef(String format, @Nullable Object param1, @Nullable Object param2);
}

public interface Logger {
    void tracev(String format, @Nullable Object param1);
}