13 lines
414 B
Java
13 lines
414 B
Java
package ex11;
|
|
|
|
import ch.usi.dag.disl.annotation.GuardMethod;
|
|
import ch.usi.dag.disl.staticcontext.ClassStaticContext;
|
|
import ch.usi.dag.disl.staticcontext.MethodStaticContext;
|
|
|
|
public class IsNotConstructorOrPrivateMethod {
|
|
@GuardMethod
|
|
public static boolean guard(final ClassStaticContext csc, final MethodStaticContext msc) {
|
|
return !msc.isMethodConstructor() && !msc.isMethodPrivate();
|
|
}
|
|
}
|