1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
package com.github.javaparser.ast.validator;
import com.github.javaparser.ast.ImportDeclaration;
import com.github.javaparser.ast.Node;
import com.github.javaparser.ast.body.*;
import com.github.javaparser.ast.expr.AnnotationExpr;
import com.github.javaparser.ast.expr.ClassExpr;
import com.github.javaparser.ast.expr.LambdaExpr;
import com.github.javaparser.ast.expr.StringLiteralExpr;
import com.github.javaparser.ast.modules.ModuleDeclaration;
import com.github.javaparser.ast.nodeTypes.NodeWithTypeArguments;
import com.github.javaparser.ast.nodeTypes.NodeWithTypeParameters;
import com.github.javaparser.ast.stmt.AssertStmt;
import com.github.javaparser.ast.stmt.ForeachStmt;
import com.github.javaparser.ast.stmt.SwitchEntryStmt;
import com.github.javaparser.ast.stmt.TryStmt;
import com.github.javaparser.ast.type.UnionType;
import com.github.javaparser.ast.validator.chunks.CommonValidators;
import com.github.javaparser.ast.validator.chunks.ModifierValidator;
import com.github.javaparser.ast.validator.chunks.NoBinaryIntegerLiteralsValidator;
import com.github.javaparser.ast.validator.chunks.NoUnderscoresInIntegerLiteralsValidator;
/**
* This validator validates according to Java 1.0 syntax rules.
*/
public class Java1_0Validator extends Validators {
protected final Validator modifiersWithoutStrictfpAndDefaultAndStaticInterfaceMethodsAndPrivateInterfaceMethods
= new ModifierValidator(false, false, false);
protected final Validator noAssertKeyword = new SimpleValidator<>(AssertStmt.class,
n -> true,
(n, reporter) -> reporter.report(n, "'assert' keyword is not supported.")
);
protected final Validator noInnerClasses = new SimpleValidator<>(ClassOrInterfaceDeclaration.class,
n -> !n.isTopLevelType(),
(n, reporter) -> reporter.report(n, "inner classes or interfaces are not supported.")
);
protected final Validator noReflection = new SimpleValidator<>(ClassExpr.class,
n -> true,
(n, reporter) -> reporter.report(n, "Reflection is not supported.")
);
protected final Validator noGenerics = new TreeVisitorValidator((node, reporter) -> {
if (node instanceof NodeWithTypeArguments) {
if (((NodeWithTypeArguments<? extends Node>) node).getTypeArguments().isPresent()) {
reporter.report(node, "Generics are not supported.");
}
}
if (node instanceof NodeWithTypeParameters) {
if (((NodeWithTypeParameters<? extends Node>) node).getTypeParameters().isNonEmpty()) {
reporter.report(node, "Generics are not supported.");
}
}
});
protected final SingleNodeTypeValidator<TryStmt> tryWithoutResources = new SingleNodeTypeValidator<>(TryStmt.class, (n, reporter) -> {
if (n.getCatchClauses().isEmpty() && !n.getFinallyBlock().isPresent()) {
reporter.report(n, "Try has no finally and no catch.");
}
if (n.getResources().isNonEmpty()) {
reporter.report(n, "Catch with resource is not supported.");
}
});
protected final Validator noAnnotations = new TreeVisitorValidator((node, reporter) -> {
if (node instanceof AnnotationExpr || node instanceof AnnotationDeclaration) {
reporter.report(node, "Annotations are not supported.");
}
});
protected final Validator noEnums = new SimpleValidator<>(EnumDeclaration.class,
n -> true,
(n, reporter) -> reporter.report(n, "Enumerations are not supported.")
);
protected final Validator noVarargs = new SimpleValidator<>(Parameter.class,
Parameter::isVarArgs,
(n, reporter) -> reporter.report(n, "Varargs are not supported.")
);
protected final Validator noForEach = new SimpleValidator<>(ForeachStmt.class,
n -> true,
(n, reporter) -> reporter.report(n, "For-each loops are not supported.")
);
protected final Validator noStaticImports = new SimpleValidator<>(ImportDeclaration.class,
ImportDeclaration::isStatic,
(n, reporter) -> reporter.report(n, "Static imports are not supported.")
);
protected final Validator noStringsInSwitch = new SimpleValidator<>(SwitchEntryStmt.class,
n -> n.getLabel().map(l -> l instanceof StringLiteralExpr).orElse(false),
(n, reporter) -> reporter.report(n.getLabel().get(), "Strings in switch statements are not supported.")
);
protected final Validator noBinaryIntegerLiterals = new NoBinaryIntegerLiteralsValidator();
protected final Validator noUnderscoresInIntegerLiterals = new NoUnderscoresInIntegerLiteralsValidator();
protected final Validator noMultiCatch = new SimpleValidator<>(UnionType.class,
n -> true,
(n, reporter) -> reporter.report(n, "Multi-catch is not supported.")
);
protected final Validator noLambdas = new SimpleValidator<>(LambdaExpr.class,
n -> true,
(n, reporter) -> reporter.report(n, "Lambdas are not supported.")
);
protected final Validator noModules = new SimpleValidator<>(ModuleDeclaration.class,
n -> true,
(n, reporter) -> reporter.report(n, "Modules are not supported.")
);
public Java1_0Validator() {
super(new CommonValidators());
add(modifiersWithoutStrictfpAndDefaultAndStaticInterfaceMethodsAndPrivateInterfaceMethods);
add(noAssertKeyword);
add(noInnerClasses);
add(noReflection);
add(noGenerics);
add(tryWithoutResources);
add(noAnnotations);
add(noEnums);
add(noVarargs);
add(noForEach);
add(noStaticImports);
add(noStringsInSwitch);
add(noBinaryIntegerLiterals);
add(noUnderscoresInIntegerLiterals);
add(noMultiCatch);
add(noLambdas);
add(noModules);
}
}
|
