// Copyright (c) Microsoft Corporation.  All Rights Reserved.  See License.txt in the project root for license information.

namespace FSharp.Compiler.EditorServices

open Internal.Utilities.Library
open FSharp.Compiler.Syntax
open FSharp.Compiler.SyntaxTreeOps
open FSharp.Compiler.SyntaxTrivia
open FSharp.Compiler.Text
open FSharp.Compiler.Text.Position
open FSharp.Compiler.Text.Range

module Structure =

    /// Set of visitor utilities, designed for the express purpose of fetching ranges
    /// from an untyped AST for the purposes of block structure.
    [<RequireQualifiedAccess>]
    module Range =

        /// Create a range starting at the end of r1 and finishing at the end of r2
        let endToEnd (r1: range) (r2: range) =
            mkFileIndexRange r1.FileIndex r1.End r2.End

        /// Create a range starting at the end of r1 and finishing at the start of r2
        let endToStart (r1: range) (r2: range) =
            mkFileIndexRange r1.FileIndex r1.End r2.Start

        /// Create a range beginning at the start of r1 and finishing at the end of r2
        let startToEnd (r1: range) (r2: range) =
            mkFileIndexRange r1.FileIndex r1.Start r2.End

        /// Create a range beginning at the start of r1 and finishing at the start of r2
        let startToStart (r1: range) (r2: range) =
            mkFileIndexRange r1.FileIndex r1.Start r2.Start

        /// Create a new range from r by shifting the starting column by m
        let modStart (m: int) (r: range) =
            let modstart = mkPos r.StartLine (r.StartColumn + m)
            mkFileIndexRange r.FileIndex modstart r.End

        /// Create a new range from r by shifting the ending column by m
        let modEnd (m: int) (r: range) =
            let modend = mkPos r.EndLine (r.EndColumn + m)
            mkFileIndexRange r.FileIndex r.Start modend

        /// Produce a new range by adding modStart to the StartColumn of `r`
        /// and subtracting modEnd from the EndColumn of `r`
        let modBoth modStart modEnd (r: range) =
            let rStart = mkPos r.StartLine (r.StartColumn + modStart)
            let rEnd = mkPos r.EndLine (r.EndColumn - modEnd)
            mkFileIndexRange r.FileIndex rStart rEnd

    let longIdentRange (longId: LongIdent) =
        match longId with
        | [] -> range0
        | head :: _ -> Range.startToEnd head.idRange (List.last longId).idRange

    /// Calculate the range of the provided type arguments (<'a, ..., 'z>)
    /// or return the range `other` when `typeArgs` = []
    let rangeOfTypeArgsElse other (typeArgs: SynTyparDecl list) =
        match typeArgs with
        | [] -> other
        | ls ->
            ls
            |> List.map (fun (SynTyparDecl(typar = typarg)) -> typarg.Range)
            |> List.reduce unionRanges

    /// Collapse indicates the way a range/snapshot should be collapsed. `Same` is for a scope inside
    /// some kind of scope delimiter, e.g. `[| ... |]`, `[ ... ]`, `{ ... }`, etc.  `Below` is for expressions
    /// following a binding or the right hand side of a pattern, e.g. `let x = ...`
    [<RequireQualifiedAccess>]
    type Collapse =
        | Below
        | Same

    /// Tag to identify the construct that can be stored alongside its associated ranges
    [<RequireQualifiedAccess>]
    type Scope =
        | Open
        | Namespace
        | Module
        | Type
        | Member
        | LetOrUse
        | Val
        | ComputationExpr
        | IfThenElse
        | ThenInIfThenElse
        | ElseInIfThenElse
        | TryWith
        | TryInTryWith
        | WithInTryWith
        | TryFinally
        | TryInTryFinally
        | FinallyInTryFinally
        | ArrayOrList
        | ObjExpr
        | For
        | While
        | Match
        | MatchBang
        | MatchLambda
        | MatchClause
        | Lambda
        | Quote
        | Record
        | SpecialFunc
        | Do
        | New
        | Attribute
        | Interface
        | HashDirective
        | LetOrUseBang
        | TypeExtension
        | YieldOrReturn
        | YieldOrReturnBang
        | Tuple
        | UnionCase
        | EnumCase
        | RecordField
        | RecordDefn
        | UnionDefn
        | Comment
        | XmlDocComment

        override self.ToString() =
            match self with
            | Open -> "Open"
            | Namespace -> "Namespace"
            | Module -> "Module"
            | Type -> "Type"
            | Member -> "Member"
            | LetOrUse -> "LetOrUse"
            | Val -> "Val"
            | ComputationExpr -> "ComputationExpr"
            | IfThenElse -> "IfThenElse"
            | ThenInIfThenElse -> "ThenInIfThenElse"
            | ElseInIfThenElse -> "ElseInIfThenElse"
            | TryWith -> "TryWith"
            | TryInTryWith -> "TryInTryWith"
            | WithInTryWith -> "WithInTryWith"
            | TryFinally -> "TryFinally"
            | TryInTryFinally -> "TryInTryFinally"
            | FinallyInTryFinally -> "FinallyInTryFinally"
            | ArrayOrList -> "ArrayOrList"
            | ObjExpr -> "ObjExpr"
            | For -> "For"
            | While -> "While"
            | Match -> "Match"
            | MatchBang -> "MatchBang"
            | MatchLambda -> "MatchLambda"
            | MatchClause -> "MatchClause"
            | Lambda -> "Lambda"
            | Quote -> "Quote"
            | Record -> "Record"
            | SpecialFunc -> "SpecialFunc"
            | Do -> "Do"
            | New -> "New"
            | Attribute -> "Attribute"
            | Interface -> "Interface"
            | HashDirective -> "HashDirective"
            | LetOrUseBang -> "LetOrUseBang"
            | TypeExtension -> "TypeExtension"
            | YieldOrReturn -> "YieldOrReturn"
            | YieldOrReturnBang -> "YieldOrReturnBang"
            | Tuple -> "Tuple"
            | UnionCase -> "UnionCase"
            | EnumCase -> "EnumCase"
            | RecordField -> "RecordField"
            | RecordDefn -> "RecordDefn"
            | UnionDefn -> "UnionDefn"
            | Comment -> "Comment"
            | XmlDocComment -> "XmlDocComment"

    /// Stores the range for a construct, the sub-range that should be collapsed for outlining,
    /// a tag for the construct type, and a tag for the collapse style
    [<NoComparison>]
    type ScopeRange =
        {
            Scope: Scope
            Collapse: Collapse
            /// HintSpan in BlockSpan
            Range: range
            /// TextSpan in BlockSpan
            CollapseRange: range
        }

    type LineNumber = int
    type LineStr = string

    type CommentType =
        | SingleLine
        | XmlDoc

    [<NoComparison>]
    type CommentList =
        {
            Lines: ResizeArray<LineNumber * LineStr>
            Type: CommentType
        }

        static member New ty lineStr =
            {
                Type = ty
                Lines = ResizeArray [ lineStr ]
            }

    /// Returns outlining ranges for given parsed input.
    let getOutliningRanges (sourceLines: string[]) (parsedInput: ParsedInput) =
        let acc = ResizeArray()

        /// Validation function to ensure that ranges yielded for outlining span 2 or more lines
        let inline rcheck scope collapse (fullRange: range) (collapseRange: range) =
            if fullRange.StartLine <> fullRange.EndLine then
                acc.Add
                    {
                        Scope = scope
                        Collapse = collapse
                        Range = fullRange
                        CollapseRange = collapseRange
                    }

        //============================================//
        //     Implementation File AST Traversal      //
        //============================================//

        let rec parseExpr expr =
            match expr with
            | SynExpr.Upcast(e, _, _)
            | SynExpr.Downcast(e, _, _)
            | SynExpr.AddressOf(_, e, _, _)
            | SynExpr.InferredDowncast(e, _)
            | SynExpr.InferredUpcast(e, _)
            | SynExpr.DotGet(e, _, _, _)
            | SynExpr.Do(e, _)
            | SynExpr.Typed(e, _, _)
            | SynExpr.DotIndexedGet(e, _, _, _) -> parseExpr e

            | SynExpr.Set(e1, e2, _)
            | SynExpr.DotSet(e1, _, e2, _)
            | SynExpr.DotIndexedSet(e1, _, e2, _, _, _) ->
                parseExpr e1
                parseExpr e2

            | SynExpr.New(_, _, e, r) ->
                rcheck Scope.New Collapse.Below r e.Range
                parseExpr e

            | SynExpr.YieldOrReturn(_, e, r) ->
                rcheck Scope.YieldOrReturn Collapse.Below r r
                parseExpr e

            | SynExpr.YieldOrReturnFrom(_, e, r) ->
                rcheck Scope.YieldOrReturnBang Collapse.Below r r
                parseExpr e

            | SynExpr.DoBang(e, r) ->
                rcheck Scope.Do Collapse.Below r <| Range.modStart 3 r
                parseExpr e

            | SynExpr.LetOrUseBang(pat = pat; rhs = eLet; andBangs = es; body = eBody) ->
                let exprs =
                    [
                        eLet
                        for SynExprAndBang(body = eAndBang) in es do
                            eAndBang
                    ]

                for e in exprs do
                    // for `let!`, `use!` or `and!` the pattern begins at the end of the
                    // keyword so that this scope can be used without adjustment if there is no `=`
                    // on the same line. If there is an `=` the range will be adjusted during the
                    // tooltip creation
                    let r = Range.endToEnd pat.Range e.Range
                    rcheck Scope.LetOrUseBang Collapse.Below r r
                    parseExpr e

                parseExpr eBody

            | SynExpr.For(doBody = e; range = r)
            | SynExpr.ForEach(_, _, _, _, _, _, e, r) ->
                rcheck Scope.For Collapse.Below r r
                parseExpr e

            | SynExpr.LetOrUse(bindings = bindings; body = body) ->
                parseBindings bindings
                parseExpr body

            | SynExpr.Match(matchDebugPoint = seqPointAtBinding; clauses = clauses; range = r)
            | SynExpr.MatchBang(matchDebugPoint = seqPointAtBinding; clauses = clauses; range = r) ->
                match seqPointAtBinding with
                | DebugPointAtBinding.Yes sr ->
                    let collapse = Range.endToEnd sr r
                    rcheck Scope.Match Collapse.Same r collapse
                | _ -> ()

                List.iter parseMatchClause clauses

            | SynExpr.MatchLambda(_, caseRange, clauses, matchSeqPoint, r) ->
                let caseRange =
                    match matchSeqPoint with
                    | DebugPointAtBinding.Yes r -> r
                    | _ -> caseRange

                let collapse = Range.endToEnd caseRange r
                rcheck Scope.MatchLambda Collapse.Same r collapse
                List.iter parseMatchClause clauses

            | SynExpr.App(atomicFlag, isInfix, funcExpr, argExpr, r) ->
                // seq exprs, custom operators, etc
                if
                    ExprAtomicFlag.NonAtomic = atomicFlag
                    && not isInfix
                    && (match funcExpr with
                        | SynExpr.Ident _ -> true
                        | _ -> false)
                    && (match argExpr with
                        | SynExpr.ComputationExpr _ -> false
                        | _ -> true)
                then
                    // if the argExpr is a computation expression another match will handle the outlining
                    // these cases must be removed to prevent creating unnecessary tags for the same scope
                    let collapse = Range.endToEnd funcExpr.Range r
                    rcheck Scope.SpecialFunc Collapse.Below r collapse

                elif
                    ExprAtomicFlag.NonAtomic = atomicFlag
                    && (not isInfix)
                    && (match argExpr with
                        | SynExpr.ComputationExpr _ -> true
                        | _ -> false)
                then
                    let collapse = Range.startToEnd argExpr.Range r
                    let collapse = Range.modBoth 1 1 collapse
                    rcheck Scope.ComputationExpr Collapse.Same r collapse

                parseExpr argExpr
                parseExpr funcExpr

            | SynExpr.Sequential(_, _, e1, e2, _) ->
                parseExpr e1
                parseExpr e2

            | SynExpr.ArrayOrListComputed(isArray, e, r) ->
                let collapse = Range.modBoth (if isArray then 2 else 1) (if isArray then 2 else 1) r
                rcheck Scope.ArrayOrList Collapse.Same r collapse
                parseExpr e

            | SynExpr.ComputationExpr(_, e, _r) as _c -> parseExpr e

            | SynExpr.ObjExpr(
                argOptions = argOpt; bindings = bindings; members = ms; extraImpls = extraImpls; newExprRange = newRange; range = mWhole) ->
                let bindings = unionBindingAndMembers bindings ms

                match argOpt with
                | Some(args, _) ->
                    let collapse = Range.endToEnd args.Range mWhole
                    rcheck Scope.ObjExpr Collapse.Below mWhole collapse
                | None ->
                    let collapse = Range.endToEnd newRange mWhole
                    rcheck Scope.ObjExpr Collapse.Below mWhole collapse

                parseBindings bindings
                parseExprInterfaces extraImpls

            | SynExpr.TryWith(e, matchClauses, mWhole, tryPoint, withPoint, _trivia) ->
                match tryPoint, withPoint with
                | DebugPointAtTry.Yes tryRange, DebugPointAtWith.Yes withRange ->
                    let mFull = Range.startToEnd tryRange mWhole
                    let collapse = Range.endToEnd tryRange mWhole
                    let collapseTry = Range.endToStart tryRange withRange
                    let fullrangeTry = Range.startToStart tryRange withRange
                    let collapseWith = Range.endToEnd withRange mWhole
                    let fullrangeWith = Range.startToEnd withRange mWhole
                    rcheck Scope.TryWith Collapse.Below mFull collapse
                    rcheck Scope.TryInTryWith Collapse.Below fullrangeTry collapseTry
                    rcheck Scope.WithInTryWith Collapse.Below fullrangeWith collapseWith
                | _ -> ()

                parseExpr e
                List.iter parseMatchClause matchClauses

            | SynExpr.TryFinally(tryExpr, finallyExpr, r, tryPoint, finallyPoint, _trivia) ->
                match tryPoint, finallyPoint with
                | DebugPointAtTry.Yes tryRange, DebugPointAtFinally.Yes finallyRange ->
                    let collapse = Range.endToEnd tryRange finallyExpr.Range
                    let mFull = Range.startToEnd tryRange finallyExpr.Range
                    let collapseFinally = Range.endToEnd finallyRange r
                    let fullrangeFinally = Range.startToEnd finallyRange r
                    rcheck Scope.TryFinally Collapse.Below mFull collapse
                    rcheck Scope.FinallyInTryFinally Collapse.Below fullrangeFinally collapseFinally
                | _ -> ()

                parseExpr tryExpr
                parseExpr finallyExpr

            | SynExpr.IfThenElse(
                ifExpr = ifExpr; thenExpr = thenExpr; elseExpr = elseExprOpt; spIfToThen = spIfToThen; range = r; trivia = trivia) ->
                match spIfToThen with
                | DebugPointAtBinding.Yes rt ->
                    // Outline the entire IfThenElse
                    let mFull = Range.startToEnd rt r
                    let collapse = Range.endToEnd ifExpr.Range r
                    rcheck Scope.IfThenElse Collapse.Below mFull collapse
                    // Outline the `then` scope
                    let thenRange = Range.endToEnd (Range.modEnd -4 trivia.IfToThenRange) thenExpr.Range
                    let thenCollapse = Range.endToEnd trivia.IfToThenRange thenExpr.Range
                    rcheck Scope.ThenInIfThenElse Collapse.Below thenRange thenCollapse
                | _ -> ()

                parseExpr ifExpr
                parseExpr thenExpr

                match elseExprOpt with
                | Some elseExpr ->
                    match elseExpr with // prevent double collapsing on elifs
                    | SynExpr.IfThenElse _ -> parseExpr elseExpr
                    | _ ->
                        // This is not the best way to establish the position of `else`
                        // the AST doesn't provide an easy way to find the position of the keyword
                        // as such `else` will be left out of block structuring and outlining until a
                        // a suitable approach is determined
                        parseExpr elseExpr
                | None -> ()

            | SynExpr.While(_, _, e, r)
            | SynExpr.WhileBang(_, _, e, r) ->
                rcheck Scope.While Collapse.Below r r
                parseExpr e

            | SynExpr.Lambda(args = pats; body = e; range = r) ->
                rcheck Scope.Lambda Collapse.Below r (Range.endToEnd pats.Range r)

                parseExpr e

            | SynExpr.Lazy(e, r) ->
                rcheck Scope.SpecialFunc Collapse.Below r r
                parseExpr e

            | SynExpr.Quote(_, isRaw, e, _, r) ->
                // subtract columns so the @@> or @> is not collapsed
                let collapse = Range.modBoth (if isRaw then 3 else 2) (if isRaw then 3 else 2) r
                rcheck Scope.Quote Collapse.Same r collapse
                parseExpr e

            | SynExpr.Tuple(_, es, _, r) ->
                rcheck Scope.Tuple Collapse.Same r r
                List.iter parseExpr es

            | SynExpr.Paren(e, _, _, _) -> parseExpr e

            | SynExpr.Record(recCtor, recCopy, recordFields, r) ->
                match recCtor with
                | Some(_, ctorArgs, _, _, _) -> parseExpr ctorArgs
                | _ -> ()

                match recCopy with
                | Some(e, _) -> parseExpr e
                | _ -> ()

                recordFields
                |> List.choose (fun (SynExprRecordField(expr = e)) -> e)
                |> List.iter parseExpr
                // exclude the opening `{` and closing `}` of the record from collapsing
                let m = Range.modBoth 1 1 r
                rcheck Scope.Record Collapse.Same r m
            | _ -> ()

        and parseMatchClause (SynMatchClause(pat = synPat; resultExpr = e) as clause) =
            let rec getLastPat =
                function
                | SynPat.Or(rhsPat = pat) -> getLastPat pat
                | x -> x

            let synPat = getLastPat synPat
            let synPatRange = synPat.Range
            let resultExprRange = e.Range

            // Avoid rcheck because we want to be able to collapse resultExpr even if it spans a single line
            // but is not on the same one as the pattern
            if synPatRange.EndLine <> resultExprRange.EndLine then
                acc.Add
                    {
                        Scope = Scope.MatchClause
                        Collapse = Collapse.Same
                        Range = resultExprRange
                        // Collapse the scope starting with `->`
                        CollapseRange = Range.endToEnd synPatRange clause.Range
                    }

            parseExpr e

        and parseAttributes (Attributes attrs) =
            let attrListRange () =
                if not (List.isEmpty attrs) then
                    let range = Range.startToEnd attrs[0].Range attrs[attrs.Length - 1].ArgExpr.Range
                    rcheck Scope.Attribute Collapse.Same range range

            match attrs with
            | [] -> ()
            | [ _ ] -> attrListRange ()
            | head :: tail ->
                attrListRange ()
                parseExpr head.ArgExpr
                // If there are more than 2 attributes only add tags to the 2nd and beyond, to avoid
                // double collapsing on the first attribute
                for attr in tail do
                    let range = Range.startToEnd attr.Range attr.ArgExpr.Range
                    rcheck Scope.Attribute Collapse.Same range range

                // visit the expressions inside each attribute
                for attr in attrs do
                    parseExpr attr.ArgExpr

        and parseBinding binding =
            let (SynBinding(kind = kind; attributes = attrs; valData = valData; expr = expr; range = br)) = binding
            let (SynValData(memberFlags = memberFlags)) = valData

            match kind with
            | SynBindingKind.Normal ->
                let collapse = Range.endToEnd binding.RangeOfBindingWithoutRhs binding.RangeOfBindingWithRhs

                match memberFlags with
                | Some {
                           MemberKind = SynMemberKind.Constructor
                       } -> rcheck Scope.New Collapse.Below binding.RangeOfBindingWithRhs collapse
                | Some _ -> rcheck Scope.Member Collapse.Below binding.RangeOfBindingWithRhs collapse
                | None -> rcheck Scope.LetOrUse Collapse.Below binding.RangeOfBindingWithRhs collapse
            | SynBindingKind.Do ->
                let r = Range.modStart 2 br
                rcheck Scope.Do Collapse.Below br r
            | _ -> ()

            parseAttributes attrs
            parseExpr expr

        and parseBindings sqs =
            for bind in sqs do
                parseBinding bind

        and parseExprInterface intf =
            let (SynInterfaceImpl(interfaceTy = synType; bindings = bindings; range = range)) = intf
            let collapse = Range.endToEnd synType.Range range |> Range.modEnd -1
            rcheck Scope.Interface Collapse.Below range collapse
            parseBindings bindings

        and parseExprInterfaces intfs =
            for intf in intfs do
                parseExprInterface intf

        and parseSynMemberDefn (objectModelRange: range) d =
            match d with
            | SynMemberDefn.Member(binding, _) ->
                let (SynBinding(attributes = attrs; valData = valData; headPat = synPat; range = bindingRange)) =
                    binding

                match valData with
                | SynValData(
                    memberFlags = Some {
                                           MemberKind = SynMemberKind.Constructor
                                       }) ->
                    let collapse = Range.endToEnd synPat.Range d.Range
                    rcheck Scope.New Collapse.Below d.Range collapse

                | SynValData(
                    memberFlags = Some {
                                           MemberKind = SynMemberKind.PropertyGet | SynMemberKind.PropertySet
                                       }) ->
                    let range = withStart (mkPos d.Range.StartLine objectModelRange.StartColumn) d.Range

                    let collapse =
                        match synPat with
                        | SynPat.LongIdent(longDotId = longIdent) -> Range.endToEnd longIdent.Range d.Range
                        | _ -> Range.endToEnd bindingRange d.Range

                    rcheck Scope.Member Collapse.Below range collapse
                | _ ->
                    let collapse = Range.endToEnd bindingRange d.Range
                    rcheck Scope.Member Collapse.Below d.Range collapse

                parseAttributes attrs
                parseBinding binding

            | SynMemberDefn.GetSetMember(getBinding, setBinding, m, _) ->
                getBinding
                |> Option.map (fun b -> SynMemberDefn.Member(b, m))
                |> Option.iter (parseSynMemberDefn objectModelRange)

                setBinding
                |> Option.map (fun b -> SynMemberDefn.Member(b, m))
                |> Option.iter (parseSynMemberDefn objectModelRange)

            | SynMemberDefn.LetBindings(bindings, _, _, _) -> parseBindings bindings

            | SynMemberDefn.Interface(interfaceType = tp; members = iMembers; range = r) ->
                rcheck Scope.Interface Collapse.Below d.Range (Range.endToEnd tp.Range d.Range)

                match iMembers with
                | Some members -> List.iter (parseSynMemberDefn r) members
                | None -> ()

            | SynMemberDefn.NestedType(td, _, _) -> parseTypeDefn td

            | SynMemberDefn.AbstractSlot(slotSig = SynValSig(synType = synt); range = r) ->
                rcheck Scope.Member Collapse.Below d.Range (Range.startToEnd synt.Range r)

            | SynMemberDefn.AutoProperty(synExpr = e; range = r) ->
                rcheck Scope.Member Collapse.Below d.Range r
                parseExpr e
            | _ -> ()

        (*  For Cases like
            --------------
                type JsonDocument =
                    private {   Json : string
                                Path : string   }
            Or
                 type JsonDocument =
                    internal |  Json of string
                             |  Path of string
        *)
        and parseSimpleRepr simple =
            match simple with
            | SynTypeDefnSimpleRepr.Enum(cases, _er) ->
                for SynEnumCase(attributes = attrs; range = cr) in cases do
                    rcheck Scope.EnumCase Collapse.Below cr cr
                    parseAttributes attrs

            | SynTypeDefnSimpleRepr.Record(_, fields, rr) ->
                rcheck Scope.RecordDefn Collapse.Same rr rr

                for SynField(attributes = attrs; range = fr) in fields do
                    rcheck Scope.RecordField Collapse.Below fr fr
                    parseAttributes attrs

            | SynTypeDefnSimpleRepr.Union(_, cases, ur) ->
                rcheck Scope.UnionDefn Collapse.Same ur ur

                for SynUnionCase(attributes = attrs; range = cr) in cases do
                    rcheck Scope.UnionCase Collapse.Below cr cr
                    parseAttributes attrs

            | _ -> ()

        and parseTypeDefn typeDefn =
            let (SynTypeDefn(typeInfo = typeInfo; typeRepr = objectModel; members = members; range = mFull)) =
                typeDefn

            let (SynComponentInfo(typeParams = TyparDecls typeArgs; range = r)) = typeInfo
            let typeArgsRange = rangeOfTypeArgsElse r typeArgs
            let collapse = Range.endToEnd (Range.modEnd 1 typeArgsRange) mFull

            match objectModel with
            | SynTypeDefnRepr.ObjectModel(defnKind, objMembers, r) ->
                match defnKind with
                | SynTypeDefnKind.Augmentation _ -> rcheck Scope.TypeExtension Collapse.Below mFull collapse
                | _ -> rcheck Scope.Type Collapse.Below mFull collapse

                List.iter (parseSynMemberDefn r) objMembers
                // visit the members of a type extension
                List.iter (parseSynMemberDefn r) members
            | SynTypeDefnRepr.Simple(simpleRepr, r) ->
                rcheck Scope.Type Collapse.Below mFull collapse
                parseSimpleRepr simpleRepr
                List.iter (parseSynMemberDefn r) members
            | SynTypeDefnRepr.Exception _ -> ()

        let getConsecutiveModuleDecls (scope: Scope) (predicate: SynModuleDecl -> range option) decls =
            let groupConsecutiveDecls input =
                let rec loop (input: range list) (res: range list list) currentBulk =
                    match input, currentBulk with
                    | [], [] -> List.rev res
                    | [], _ -> List.rev (currentBulk :: res)
                    | r :: rest, [] -> loop rest res [ r ]
                    | r :: rest, last :: _ when
                        r.StartLine = last.EndLine + 1
                        || sourceLines[last.EndLine .. r.StartLine - 2]
                           |> Array.forall System.String.IsNullOrWhiteSpace
                        ->
                        loop rest res (r :: currentBulk)
                    | r :: rest, _ -> loop rest (currentBulk :: res) [ r ]

                loop input [] []

            let selectRanges (ranges: range list) =
                match ranges with
                | [] -> None
                | [ r ] when r.StartLine = r.EndLine -> None
                | [ r ] ->
                    let range = mkRange "" r.Start r.End

                    let res =
                        {
                            Scope = scope
                            Collapse = Collapse.Same
                            Range = range
                            CollapseRange = range
                        }

                    Some res
                | lastRange :: rest ->
                    let firstRange = Seq.last rest
                    let range = mkRange "" firstRange.Start lastRange.End

                    let res =
                        {
                            Scope = scope
                            Collapse = Collapse.Same
                            Range = range
                            CollapseRange = range
                        }

                    Some res

            decls
            |> List.choose predicate
            |> groupConsecutiveDecls
            |> List.choose selectRanges
            |> acc.AddRange

        let collectOpens =
            getConsecutiveModuleDecls Scope.Open (function
                | SynModuleDecl.Open(_, r) -> Some r
                | _ -> None)

        let collectHashDirectives =
            getConsecutiveModuleDecls Scope.HashDirective (fun decl ->
                match decl with
                | SynModuleDecl.HashDirective(ParsedHashDirective(directive, _, _), r) ->
                    let prefixLength = "#".Length + directive.Length + " ".Length
                    Some(mkRange "" (mkPos r.StartLine prefixLength) r.End)
                | _ -> None)

        let collectConditionalDirectives directives sourceLines =
            let rec group directives stack (sourceLines: string array) =
                match directives with
                | [] -> ()
                | ConditionalDirectiveTrivia.If _ as ifDirective :: directives -> group directives (ifDirective :: stack) sourceLines
                | ConditionalDirectiveTrivia.Else elseRange as elseDirective :: directives ->
                    match stack with
                    | ConditionalDirectiveTrivia.If(_, ifRange) :: stack ->
                        let startLineIndex = elseRange.StartLine - 2

                        if startLineIndex >= 0 then
                            // start of #if until the end of the line directly above #else
                            let range =
                                mkFileIndexRange
                                    ifRange.FileIndex
                                    ifRange.Start
                                    (mkPos (elseRange.StartLine - 1) sourceLines[startLineIndex].Length)

                            {
                                Scope = Scope.HashDirective
                                Collapse = Collapse.Same
                                Range = range
                                CollapseRange = range
                            }
                            |> acc.Add

                        group directives (elseDirective :: stack) sourceLines
                    | _ -> group directives stack sourceLines
                | ConditionalDirectiveTrivia.EndIf endIfRange :: directives ->
                    match stack with
                    | ConditionalDirectiveTrivia.If(_, ifRange) :: stack ->
                        let range = Range.startToEnd ifRange endIfRange

                        {
                            Scope = Scope.HashDirective
                            Collapse = Collapse.Same
                            Range = range
                            CollapseRange = range
                        }
                        |> acc.Add

                        group directives stack sourceLines
                    | ConditionalDirectiveTrivia.Else elseRange :: stack ->
                        let range = Range.startToEnd elseRange endIfRange

                        {
                            Scope = Scope.HashDirective
                            Collapse = Collapse.Same
                            Range = range
                            CollapseRange = range
                        }
                        |> acc.Add

                        group directives stack sourceLines
                    | _ -> group directives stack sourceLines

            group directives [] sourceLines

        let rec parseDeclaration (decl: SynModuleDecl) =
            match decl with
            | SynModuleDecl.Let(_, bindings, r) ->
                for binding in bindings do
                    let collapse = Range.endToEnd binding.RangeOfBindingWithoutRhs r
                    rcheck Scope.LetOrUse Collapse.Below r collapse

                parseBindings bindings

            | SynModuleDecl.Types(types, _r) ->
                for t in types do
                    parseTypeDefn t

            // Fold the attributes above a module
            | SynModuleDecl.NestedModule(moduleInfo = moduleInfo; decls = decls) ->
                let (SynComponentInfo(attributes = attrs; range = cmpRange)) = moduleInfo
                // Outline the full scope of the module
                let r = Range.endToEnd cmpRange decl.Range
                rcheck Scope.Module Collapse.Below decl.Range r
                // A module's component info stores the ranges of its attributes
                parseAttributes attrs
                collectOpens decls
                List.iter parseDeclaration decls

            | SynModuleDecl.Expr(e, _) -> parseExpr e

            | SynModuleDecl.Attributes(attrs, _) -> parseAttributes attrs

            | _ -> ()

        let parseModuleOrNamespace (SynModuleOrNamespace(longId, _, kind, decls, _, attribs, _, r, _)) =
            parseAttributes attribs
            let idRange = longIdentRange longId
            let mFull = Range.startToEnd idRange r
            let collapse = Range.endToEnd idRange r

            // do not return range for top level implicit module in scripts
            if kind = SynModuleOrNamespaceKind.NamedModule then
                rcheck Scope.Module Collapse.Below mFull collapse

            collectHashDirectives decls
            collectOpens decls
            List.iter parseDeclaration decls

        /// Determine if a line is a single line or xml documentation comment
        let (|Comment|_|) (line: string) =
            if line.StartsWithOrdinal("///") then Some XmlDoc
            elif line.StartsWithOrdinal("//") then Some SingleLine
            else None

        let getCommentRanges trivia (lines: string[]) =
            let rec loop (lastLineNum, currentComment, result as state) (lines: string list) lineNum =
                match lines with
                | [] -> state
                | lineStr :: rest ->
                    match lineStr.TrimStart(), currentComment with
                    | Comment commentType, Some comment ->
                        loop
                            (if comment.Type = commentType && lineNum = lastLineNum + 1 then
                                 comment.Lines.Add(lineNum, lineStr)
                                 lineNum, currentComment, result
                             else
                                 let comments = CommentList.New commentType (lineNum, lineStr)
                                 lineNum, Some comments, comment :: result)
                            rest
                            (lineNum + 1)
                    | Comment commentType, None ->
                        let comments = CommentList.New commentType (lineNum, lineStr)
                        loop (lineNum, Some comments, result) rest (lineNum + 1)
                    | _, Some comment -> loop (lineNum, None, comment :: result) rest (lineNum + 1)
                    | _ -> loop (lineNum, None, result) rest (lineNum + 1)

            let comments =
                let (_, lastComment, comments) = loop (-1, None, []) (List.ofArray lines) 0

                match lastComment with
                | Some comment -> comment :: comments
                | _ -> comments
                |> List.rev

            comments
            |> List.filter (fun comment -> comment.Lines.Count > 1)
            |> List.map (fun comment ->
                let lines = comment.Lines
                let startLine, startStr = lines[0]
                let endLine, endStr = lines[lines.Count - 1]
                let startCol = startStr.IndexOf '/'
                let endCol = endStr.TrimEnd().Length

                let scopeType =
                    match comment.Type with
                    | SingleLine -> Scope.Comment
                    | XmlDoc -> Scope.XmlDocComment

                let range = mkRange "" (mkPos (startLine + 1) startCol) (mkPos (endLine + 1) endCol)

                {
                    Scope = scopeType
                    Collapse = Collapse.Same
                    Range = range
                    CollapseRange = range
                })
            |> acc.AddRange

            for trivia in trivia do
                match trivia with
                | CommentTrivia.BlockComment m when m.StartLine <> m.EndLine ->
                    {
                        Scope = Scope.Comment
                        Collapse = Collapse.Same
                        Range = m
                        CollapseRange = m
                    }
                    |> acc.Add
                | _ -> ()

        //=======================================//
        //     Signature File AST Traversal      //
        //=======================================//

        (*
            The following helper functions are necessary due to a bug in the Parsed UAST within a
            signature file that causes the scopes to extend past the end of the construct and overlap
            with the following construct. This necessitates inspecting the children of the construct and
            finding the end of the last child's range to use instead.

            Detailed further in - https://github.com/dotnet/fsharp/issues/2094
        *)

        let lastMemberSigRangeElse r memberSigs =
            match memberSigs with
            | [] -> r
            | ls ->
                match List.last ls with
                | SynMemberSig.Inherit(range = r)
                | SynMemberSig.Interface(range = r)
                | SynMemberSig.Member(range = r)
                | SynMemberSig.NestedType(range = r)
                | SynMemberSig.ValField(range = r) -> r

        let lastTypeDefnSigRangeElse range (typeSigs: SynTypeDefnSig list) =
            match typeSigs with
            | [] -> range
            | ls ->
                let (SynTypeDefnSig(members = memberSigs; range = r)) = List.last ls
                lastMemberSigRangeElse r memberSigs

        let lastModuleSigDeclRangeElse range (sigDecls: SynModuleSigDecl list) =
            match sigDecls with
            | [] -> range
            | ls ->
                match List.last ls with
                | SynModuleSigDecl.Types(typeSigs, r) -> lastTypeDefnSigRangeElse r typeSigs
                | SynModuleSigDecl.Val(SynValSig(range = r), _) -> r
                | SynModuleSigDecl.Exception(_, r) -> r
                | SynModuleSigDecl.Open(_, r) -> r
                | SynModuleSigDecl.ModuleAbbrev(_, _, r) -> r
                | _ -> range

        let rec parseSynMemberDefnSig inp =
            match inp with
            | SynMemberSig.Member(memberSig = valSigs; range = r) ->
                let collapse = Range.endToEnd valSigs.RangeOfId r
                rcheck Scope.Member Collapse.Below r collapse
            | SynMemberSig.ValField(SynField(attributes = attrs; range = fr), mFull) ->
                let collapse = Range.endToEnd fr mFull
                rcheck Scope.Val Collapse.Below mFull collapse
                parseAttributes attrs
            | SynMemberSig.Interface(tp, r) -> rcheck Scope.Interface Collapse.Below r (Range.endToEnd tp.Range r)
            | SynMemberSig.NestedType(typeDefSig, _r) -> parseTypeDefnSig typeDefSig
            | _ -> ()

        and parseTypeDefnSig typeDefn =
            let (SynTypeDefnSig(typeInfo = typeInfo; typeRepr = objectModel; members = memberSigs)) = typeDefn

            let (SynComponentInfo(attributes = attribs; typeParams = TyparDecls typeArgs; longId = longId; range = r)) =
                typeInfo

            parseAttributes attribs

            let makeRanges memberSigs =
                let typeArgsRange = rangeOfTypeArgsElse r typeArgs
                let rangeEnd = lastMemberSigRangeElse r memberSigs
                let collapse = Range.endToEnd (Range.modEnd 1 typeArgsRange) rangeEnd
                let mFull = Range.startToEnd (longIdentRange longId) rangeEnd
                mFull, collapse

            List.iter parseSynMemberDefnSig memberSigs

            match objectModel with
            // matches against a type declaration with <'T, ...> and (args, ...)
            | SynTypeDefnSigRepr.ObjectModel(SynTypeDefnKind.Unspecified, objMembers, _) ->
                List.iter parseSynMemberDefnSig objMembers
                let mFull, collapse = makeRanges objMembers
                rcheck Scope.Type Collapse.Below mFull collapse

            | SynTypeDefnSigRepr.ObjectModel(kind = SynTypeDefnKind.Augmentation _; memberSigs = objMembers) ->
                let mFull, collapse = makeRanges objMembers
                rcheck Scope.TypeExtension Collapse.Below mFull collapse
                List.iter parseSynMemberDefnSig objMembers

            | SynTypeDefnSigRepr.ObjectModel(_, objMembers, _) ->
                let mFull, collapse = makeRanges objMembers
                rcheck Scope.Type Collapse.Below mFull collapse
                List.iter parseSynMemberDefnSig objMembers
            // visit the members of a type extension

            | SynTypeDefnSigRepr.Simple(simpleRepr, _) ->
                let mFull, collapse = makeRanges memberSigs
                rcheck Scope.Type Collapse.Below mFull collapse
                parseSimpleRepr simpleRepr

            | SynTypeDefnSigRepr.Exception _ -> ()

        let getConsecutiveSigModuleDecls (scope: Scope) (predicate: SynModuleSigDecl -> range option) decls =
            let groupConsecutiveSigDecls input =
                let rec loop (input: range list) (res: range list list) currentBulk =
                    match input, currentBulk with
                    | [], [] -> List.rev res
                    | [], _ -> List.rev (currentBulk :: res)
                    | r :: rest, [] -> loop rest res [ r ]
                    | r :: rest, last :: _ when r.StartLine = last.EndLine + 1 -> loop rest res (r :: currentBulk)
                    | r :: rest, _ -> loop rest (currentBulk :: res) [ r ]

                loop input [] []

            let selectSigRanges (ranges: range list) =
                match ranges with
                | [] -> None
                | [ r ] when r.StartLine = r.EndLine -> None
                | [ r ] ->
                    let range = mkRange "" r.Start r.End

                    let res =
                        {
                            Scope = scope
                            Collapse = Collapse.Same
                            Range = range
                            CollapseRange = range
                        }

                    Some res
                | lastRange :: rest ->
                    let firstRange = Seq.last rest
                    let range = mkRange "" firstRange.Start lastRange.End

                    let res =
                        {
                            Scope = scope
                            Collapse = Collapse.Same
                            Range = range
                            CollapseRange = range
                        }

                    Some res

            decls
            |> List.choose predicate
            |> groupConsecutiveSigDecls
            |> List.choose selectSigRanges
            |> acc.AddRange

        let collectSigHashDirectives (decls: SynModuleSigDecl list) =
            decls
            |> getConsecutiveSigModuleDecls Scope.HashDirective (fun decl ->
                match decl with
                | SynModuleSigDecl.HashDirective(ParsedHashDirective(directive, _, _), r) ->
                    let prefixLength = "#".Length + directive.Length + " ".Length
                    Some(mkRange "" (mkPos r.StartLine prefixLength) r.End)
                | _ -> None)

        let collectSigOpens =
            getConsecutiveSigModuleDecls Scope.Open (function
                | SynModuleSigDecl.Open(_, r) -> Some r
                | _ -> None)

        let rec parseModuleSigDeclaration (decl: SynModuleSigDecl) =
            match decl with
            | SynModuleSigDecl.Val(valSig, r) ->
                let (SynValSig(attributes = attrs; ident = SynIdent(ident, _); range = valrange)) = valSig
                let collapse = Range.endToEnd ident.idRange valrange
                rcheck Scope.Val Collapse.Below r collapse
                parseAttributes attrs

            | SynModuleSigDecl.Types(typeSigs, _) -> List.iter parseTypeDefnSig typeSigs

            // Fold the attributes above a module
            | SynModuleSigDecl.NestedModule(moduleInfo = moduleInfo; moduleDecls = decls; range = moduleRange) ->
                let (SynComponentInfo(attributes = attrs; range = cmpRange)) = moduleInfo
                let rangeEnd = lastModuleSigDeclRangeElse moduleRange decls
                // Outline the full scope of the module
                let collapse = Range.endToEnd cmpRange rangeEnd
                let mFull = Range.startToEnd moduleRange rangeEnd
                rcheck Scope.Module Collapse.Below mFull collapse
                // A module's component info stores the ranges of its attributes
                parseAttributes attrs
                collectSigOpens decls
                List.iter parseModuleSigDeclaration decls
            | _ -> ()

        let parseModuleOrNamespaceSigs moduleSig =
            let (SynModuleOrNamespaceSig(longId, _, kind, decls, _, attribs, _, r, _)) = moduleSig
            parseAttributes attribs
            let rangeEnd = lastModuleSigDeclRangeElse r decls
            let idrange = longIdentRange longId
            let mFull = Range.startToEnd idrange rangeEnd
            let collapse = Range.endToEnd idrange rangeEnd

            if kind.IsModule then
                rcheck Scope.Module Collapse.Below mFull collapse

            collectSigHashDirectives decls
            collectSigOpens decls
            List.iter parseModuleSigDeclaration decls

        match parsedInput with
        | ParsedInput.ImplFile file ->
            file.Contents |> List.iter parseModuleOrNamespace
            collectConditionalDirectives file.Trivia.ConditionalDirectives sourceLines
            getCommentRanges file.Trivia.CodeComments sourceLines
        | ParsedInput.SigFile file ->
            file.Contents |> List.iter parseModuleOrNamespaceSigs
            collectConditionalDirectives file.Trivia.ConditionalDirectives sourceLines
            getCommentRanges file.Trivia.CodeComments sourceLines

        acc :> seq<_>
