ContractClassMemberHelper { public static boolean isContractConstructor(CtBehavior contractBehavior) { return contractBehavior.hasAnnotation(ConstructorContract.class) && isDynamic(contractBehavior); }  static boolean isContractConstructor(CtBehavior contractBehavior); static boolean isContractClassInitializer(CtBehavior contractBehavior); static boolean isClassInvariant(CtBehavior contractBehavior); static boolean isBeforeInvariantHelperMethod(CtBehavior contractBehavior); static String makeBeforeInvariantHelperMethodName(CtMethod contractMethod); static CtField createWeakTargetField(CtClass contractClass); static final String TARGET_FIELD_NAME; }
@Test public void testIsConstructorForMethod() throws Exception { assertFalse(isContractConstructor(contractClass.getDeclaredMethod("contractMethod"))); }
@Test public void testIsConstructorForConstructor() throws Exception { assertTrue(isContractConstructor(contractClass.getDeclaredMethod("constructor"))); }