01: /**
02: * Spoon - http://spoon.gforge.inria.fr/
03: * Copyright (C) 2006 INRIA Futurs <renaud.pawlak@inria.fr>
04: *
05: * This software is governed by the CeCILL-C License under French law and
06: * abiding by the rules of distribution of free software. You can use,
07: * modify and/or redistribute the software under the terms of the
08: * CeCILL-C
09: * license as circulated by CEA, CNRS and INRIA at the following URL:
10: * http://www.cecill.info.
11: *
12: * This program is distributed in the hope that it will be useful, but
13: * WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the CeCILL-C
15: * License for more details.
16: *
17: * The fact that you are presently reading this means that you have had
18: * knowledge of the CeCILL-C license and that you accept its terms.
19: */package spoon.aval.support.validator;
20:
21: import java.lang.annotation.Annotation;
22:
23: import spoon.aval.Validator;
24: import spoon.aval.annotation.structure.Requires;
25: import spoon.aval.processing.AValProcessor;
26: import spoon.aval.processing.ValidationPoint;
27: import spoon.reflect.declaration.CtAnnotation;
28: import spoon.reflect.declaration.CtElement;
29:
30: /**
31: * Implementation of the {@link Requires} validator.
32: * <p>
33: * This class implements the {@link Requires} validator.
34: * It checks that the current validation point contains an instance
35: * of the annotation refered by the @Required Validator. If this is not the case,
36: * an ERROR is reported.
37: *
38: */
39: public class RequiresValidator implements Validator<Requires> {
40: /**
41: * Implementation of the Validator interface. Called by {@link AValProcessor}
42: */
43: public void check(ValidationPoint<Requires> vp) {
44: Class<? extends Annotation> reqA = vp.getValAnnotation()
45: .value();
46: CtElement element = vp.getProgramElement();
47: CtAnnotation dslAnnotation = vp.getDslAnnotation();
48: boolean valid = element.getAnnotation(reqA) != null;
49: if (!valid) {
50: String message = vp.getValAnnotation().message().replace(
51: "?val", reqA.getCanonicalName());
52: ValidationPoint.report(vp.getValAnnotation().severity(),
53: dslAnnotation, message, vp.fixerFactory(vp
54: .getValAnnotation().fixers()));
55: }
56: }
57:
58: }
|