use of com.goide.quickfix.GoReplaceWithReturnStatementQuickFix in project go-lang-idea-plugin by go-lang-plugin-org.
the class GoAnnotator method annotate.
// todo: unify with DlvApi.Variable.Kind
@Override
public void annotate(@NotNull PsiElement element, @NotNull AnnotationHolder holder) {
if (!(element instanceof GoCompositeElement) || !element.isValid())
return;
if (element instanceof GoPackageClause) {
PsiElement identifier = ((GoPackageClause) element).getIdentifier();
if (identifier != null && identifier.textMatches("_")) {
holder.createErrorAnnotation(identifier, "Invalid package name");
return;
}
}
if (element instanceof GoContinueStatement) {
if (!(PsiTreeUtil.getParentOfType(element, GoForStatement.class, GoFunctionLit.class) instanceof GoForStatement)) {
Annotation annotation = holder.createErrorAnnotation(element, "Continue statement not inside a for loop");
annotation.registerFix(new GoReplaceWithReturnStatementQuickFix(element));
}
} else if (element instanceof GoBreakStatement) {
if (GoPsiImplUtil.getBreakStatementOwner(element) == null) {
Annotation annotation = holder.createErrorAnnotation(element, "Break statement not inside a for loop, select or switch");
annotation.registerFix(new GoReplaceWithReturnStatementQuickFix(element));
}
} else if (element instanceof GoReferenceExpression) {
GoReferenceExpression reference = (GoReferenceExpression) element;
PsiElement resolvedReference = reference.resolve();
if (resolvedReference instanceof PsiDirectory || resolvedReference instanceof GoImportSpec) {
// It's a package reference. It should either be inside a package clause or part of a larger reference expression.
if (!(element.getParent() instanceof GoReferenceExpression) && PsiTreeUtil.getParentOfType(reference, GoPackageClause.class) == null) {
holder.createErrorAnnotation(element, "Use of package " + element.getText() + " without selector");
}
}
if (resolvedReference instanceof GoTypeSpec && isIllegalUseOfTypeAsExpression(reference)) {
holder.createErrorAnnotation(element, "Type " + element.getText() + " is not an expression");
}
if (resolvedReference instanceof GoConstDefinition && resolvedReference.getParent() instanceof GoConstSpec && PsiTreeUtil.getParentOfType(element, GoConstDeclaration.class) != null) {
checkSelfReference((GoReferenceExpression) element, resolvedReference, holder);
}
if (resolvedReference instanceof GoVarDefinition && resolvedReference.getParent() instanceof GoVarSpec && PsiTreeUtil.getParentOfType(element, GoVarDeclaration.class) != null) {
checkSelfReference((GoReferenceExpression) element, resolvedReference, holder);
}
} else if (element instanceof GoLiteralTypeExpr) {
if (isIllegalUseOfTypeAsExpression(element)) {
holder.createErrorAnnotation(element, "Type " + element.getText() + " is not an expression");
}
} else if (element instanceof GoCompositeLit) {
GoCompositeLit literal = (GoCompositeLit) element;
if (literal.getType() instanceof GoMapType) {
GoLiteralValue literalValue = literal.getLiteralValue();
if (literalValue != null) {
for (GoElement literalElement : literalValue.getElementList()) {
if (literalElement.getKey() == null) {
holder.createErrorAnnotation(literalElement, "Missing key in map literal");
}
}
}
}
} else if (element instanceof GoTypeAssertionExpr) {
GoType type = ((GoTypeAssertionExpr) element).getExpression().getGoType(null);
if (type != null) {
GoType underlyingType = type.getUnderlyingType();
if (!(underlyingType instanceof GoInterfaceType)) {
String message = String.format("Invalid type assertion: %s, (non-interface type %s on left)", element.getText(), type.getText());
holder.createErrorAnnotation(((GoTypeAssertionExpr) element).getExpression(), message);
}
}
} else if (element instanceof GoBuiltinCallExpr) {
GoBuiltinCallExpr call = (GoBuiltinCallExpr) element;
if ("make".equals(call.getReferenceExpression().getText())) {
checkMakeCall(call, holder);
}
} else if (element instanceof GoCallExpr) {
GoCallExpr call = (GoCallExpr) element;
GoExpression callExpression = call.getExpression();
if (GoInspectionUtil.getFunctionResultCount(call) == 0) {
PsiElement parent = call.getParent();
boolean simpleStatement = parent instanceof GoLeftHandExprList && parent.getParent() instanceof GoSimpleStatement;
boolean inDeferOrGo = parent instanceof GoDeferStatement || parent instanceof GoGoStatement;
if (!simpleStatement && !inDeferOrGo) {
holder.createErrorAnnotation(call, call.getText() + " used as value");
}
}
if (callExpression instanceof GoReferenceExpression) {
GoReferenceExpression reference = (GoReferenceExpression) callExpression;
if (reference.textMatches("cap")) {
if (GoPsiImplUtil.builtin(reference.resolve())) {
checkCapCall(call, holder);
}
}
}
} else if (element instanceof GoTopLevelDeclaration) {
if (element.getParent() instanceof GoFile) {
if (element instanceof GoTypeDeclaration) {
for (GoTypeSpec spec : ((GoTypeDeclaration) element).getTypeSpecList()) {
if (spec.getIdentifier().textMatches(GoConstants.INIT)) {
holder.createErrorAnnotation(spec, "Cannot declare init, must be a function");
}
}
} else if (element instanceof GoVarDeclaration) {
for (GoVarSpec spec : ((GoVarDeclaration) element).getVarSpecList()) {
for (GoVarDefinition definition : spec.getVarDefinitionList()) {
if (definition.getIdentifier().textMatches(GoConstants.INIT)) {
holder.createErrorAnnotation(spec, "Cannot declare init, must be a function");
}
}
}
} else if (element instanceof GoConstDeclaration) {
for (GoConstSpec spec : ((GoConstDeclaration) element).getConstSpecList()) {
for (GoConstDefinition definition : spec.getConstDefinitionList()) {
if (definition.getIdentifier().textMatches(GoConstants.INIT)) {
holder.createErrorAnnotation(spec, "Cannot declare init, must be a function");
}
}
}
} else if (element instanceof GoFunctionDeclaration) {
GoFunctionDeclaration declaration = (GoFunctionDeclaration) element;
if (declaration.getIdentifier().textMatches(GoConstants.INIT) || declaration.getIdentifier().textMatches(GoConstants.MAIN) && GoConstants.MAIN.equals(declaration.getContainingFile().getPackageName())) {
GoSignature signature = declaration.getSignature();
if (signature != null) {
GoResult result = signature.getResult();
if (result != null && !result.isVoid()) {
Annotation annotation = holder.createErrorAnnotation(result, declaration.getName() + " function must have no arguments and no return values");
annotation.registerFix(new GoEmptySignatureQuickFix(declaration));
}
GoParameters parameters = signature.getParameters();
if (!parameters.getParameterDeclarationList().isEmpty()) {
Annotation annotation = holder.createErrorAnnotation(parameters, declaration.getName() + " function must have no arguments and no return values");
annotation.registerFix(new GoEmptySignatureQuickFix(declaration));
}
}
}
}
}
} else if (element instanceof GoIndexOrSliceExpr) {
GoIndexOrSliceExpr slice = (GoIndexOrSliceExpr) element;
GoExpression expr = slice.getExpression();
GoExpression thirdIndex = slice.getIndices().third;
if (expr == null || thirdIndex == null) {
return;
}
if (GoTypeUtil.isString(expr.getGoType(null))) {
ASTNode[] colons = slice.getNode().getChildren(TokenSet.create(GoTypes.COLON));
if (colons.length == 2) {
PsiElement secondColon = colons[1].getPsi();
TextRange r = TextRange.create(secondColon.getTextRange().getStartOffset(), thirdIndex.getTextRange().getEndOffset());
Annotation annotation = holder.createErrorAnnotation(r, "Invalid operation " + slice.getText() + " (3-index slice of string)");
annotation.registerFix(new GoDeleteRangeQuickFix(secondColon, thirdIndex, "Delete third index"));
}
}
}
}
Aggregations