KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > spoon > aval > support > validator > ProhibitsValidator


1 /**
2  * Spoon - http://spoon.gforge.inria.fr/
3  * Copyright (C) 2006 INRIA Futurs <renaud.pawlak@inria.fr>
4  *
5  * This software is governed by the CeCILL-C License under French law and
6  * abiding by the rules of distribution of free software. You can use,
7  * modify and/or redistribute the software under the terms of the
8  * CeCILL-C
9  * 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  */

20
21 package spoon.aval.support.validator;
22
23 import java.lang.annotation.Annotation JavaDoc;
24
25 import spoon.aval.Validator;
26 import spoon.aval.annotation.structure.Prohibits;
27 import spoon.aval.processing.AValProcessor;
28 import spoon.aval.processing.ValidationPoint;
29 import spoon.reflect.declaration.CtAnnotation;
30 import spoon.reflect.declaration.CtElement;
31 /**
32  * Implementation for the {@link Prohibits} validator.
33  *
34  * <p>
35  * This class implements the {@link Prohibits} structural validator.
36  * It checks if the current validation point is also annotated with an annotation
37  * of the type defined in the&#64;Prohibits instance. If this is the case, an ERROR is
38  * reported.
39  */

40 public class ProhibitsValidator implements Validator<Prohibits> {
41     /**
42      * Implementation of the Validator interface. Called by {@link AValProcessor}
43      */

44     public void check(ValidationPoint<Prohibits> vp) {
45         Class JavaDoc<? extends Annotation JavaDoc> reqA = vp.getValAnnotation().value();
46         CtElement element = vp.getProgramElement();
47         CtAnnotation dslAnnotation = vp.getDslAnnotation();
48         boolean valid = element.getAnnotation(reqA) ==null;
49         if (!valid) {
50             String JavaDoc message = vp.getValAnnotation().message().replace("?val", reqA.getCanonicalName());
51             ValidationPoint.report(vp.getValAnnotation().severity(), dslAnnotation, message,vp.fixerFactory(vp.getValAnnotation().fixers()));
52         }
53     }
54
55 }
56
Popular Tags