Method ExitFunctionDeclaration

semantic_resolver.go:32–51

(ctx *parser.FunctionDeclarationContext)

}

func (s *SemanticResolver) ExitFunctionDeclaration(ctx *parser.FunctionDeclarationContext) {
	function := s.at.GetNode2Scope()[ctx]
	if ctx.TypeTypeOrVoid() != nil {
		switch function.(type) {
		case *symbol.Func:
			f := function.(*symbol.Func)
			if GetInternalFunction(f.GetName()) != nil {
				// skip internal function
				return
			}
			returnType := f.GetReturnType()
			_, isDeclareFunction := returnType.(*symbol.DeclareFunctionType)
			r := s.checkReturn(ctx)
			if returnType != nil && r == false && isDeclareFunction == false {
				// 函数声明了返回值，但却没有返回返回值时，同时这个函数声明的返回值是"函数类型"时，则不需要校验
				s.at.Log(ctx, fmt.Sprintf("miss return at end of function: %s", f.GetName()))
			}
		}
	}
}

// 递归查询下级是否包含 return statement
func (s *SemanticResolver) checkReturn(ctx antlr.Tree) bool {