package ex2;

import ch.usi.dag.disl.annotation.GuardMethod;
import ch.usi.dag.disl.staticcontext.ClassStaticContext;

public class IsTriviallyThreadGuard {
    @GuardMethod
    public static boolean isThread(ClassStaticContext csc) {
        return csc.getInternalName().equals("java/lang/Thread") ||
                csc.getSuperClassInternalName().equals("java/lang/Thread");
    }
}