@CheckForNull
private static TypeTree getTypeFromExpression(Tree expression) {
if (expression.is(
Tree.Kind.VARIABLE,
Tree.Kind.TYPE_CAST,
Tree.Kind.RETURN_STATEMENT,
Tree.Kind.ASSIGNMENT,
Tree.Kind.CONDITIONAL_EXPRESSION)) {
TypeTreeLocator visitor = new TypeTreeLocator();
expression.accept(visitor);
return visitor.type;
}
return null;
}
private Symbol resolveType(Resolve.Env env, Tree tree) {
Preconditions.checkArgument(
tree.is(Tree.Kind.MEMBER_SELECT)
|| tree.is(Tree.Kind.IDENTIFIER)
|| tree.is(Tree.Kind.PARAMETERIZED_TYPE)
|| tree.is(Tree.Kind.ARRAY_TYPE)
|| tree.is(Tree.Kind.UNION_TYPE)
|| tree instanceof PrimitiveTypeTree,
"Kind of tree unexpected " + ((JavaTree) tree).getKind());
class FQV extends BaseTreeVisitor {
private final Resolve.Env env;
private Symbol site;
public FQV(Resolve.Env env) {
this.env = env;
}
@Override
public void visitParameterizedType(ParameterizedTypeTree tree) {
// Scan only the type, the generic arguments are not yet handled
scan(tree.type());
}
@Override
public void visitArrayType(ArrayTypeTree tree) {
super.visitArrayType(tree);
// TODO handle arrays type (for methods).
}
@Override
public void visitMemberSelectExpression(MemberSelectExpressionTree tree) {
scan(tree.expression());
if (site.kind >= Symbol.ERRONEOUS) {
return;
}
String name = tree.identifier().name();
if (site.kind == Symbol.PCK) {
env.packge = (Symbol.PackageSymbol) site;
site = resolve.findIdentInPackage(env, site, name, Symbol.TYP | Symbol.PCK);
} else {
env.enclosingClass = (Symbol.TypeSymbol) site;
site =
resolve.findMemberType(env, (Symbol.TypeSymbol) site, name, (Symbol.TypeSymbol) site);
}
associateReference(tree.identifier(), site);
}
@Override
public void visitIdentifier(IdentifierTree tree) {
site = resolve.findIdent(env, tree.name(), Symbol.TYP | Symbol.PCK);
associateReference(tree, site);
}
@Override
public void visitPrimitiveType(PrimitiveTypeTree tree) {
site =
resolve.findIdent(
semanticModel.getEnv(tree),
((JavaTree) tree).getAstNode().getLastChild().getTokenValue(),
Symbol.TYP);
}
}
FQV fqv = new FQV(env.dup());
tree.accept(fqv);
return fqv.site;
}
@Override
public ProgramState checkPreStatement(CheckerContext context, Tree syntaxNode) {
final PreStatementVisitor visitor = new PreStatementVisitor(context);
syntaxNode.accept(visitor);
return visitor.programState;
}