override fun formatting()

in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/FullTextDocumentService.kt [75:78]


    override fun formatting(params: DocumentFormattingParams): CompletableFuture<List<TextEdit?>>? {
        // "-- comment\n\nclass うるう年\n\ntypes -- 型定義\n\npublic 年 = nat;\n\nvalues -- 定数定義f\n\npublic static ルール1 : 年 = 4;\npublic static ルール2 : 年 = 100;\npublic static ルール3 : 年 = 400;\n\ninstance variables -- インスタンス変数定義\n\nprivate 西暦 : nat := 2000;\n\noperations -- 操作定義\n\npublic 西暦設定 : 年 ==> int\n  西暦設定(年) == 西暦 := 年;\n\npublic うるう年判定 : () ==> seq of char\n  うるう年判定() ==\n    if(西暦 mod ルール1 = 0) then\n      if(西暦 mod ルール2 = 0) then\n        if(西暦 mod ルール3 = 0) then\n          return "うるう年"\n        else\n          return "平年"\n      else\n        return "うるう年"\n    else\n      return "平年";\n\nend うるう年\n\n\n\n\n\nfunctions\n\npublic うるう年判定仕様 : int -> seq of char\n  うるう年判定仕様(年) ==\n    if(年 mod 4 = 0) then\n      if(年 mod 100 = 0) then\n        if(年 mod 400 = 0) then\n          "うるう年"\n        else\n          "平年"\n      else\n        "うるう年"\n    else\n      "平年";\n\n"
        return null
    }