fats 0.0.7

fats

fats 是一个类似猫的 dotnet 工具，它可以将多个 F# 范围从多个文件快速导出到 stdout。
请注意：F# 范围使用基于1的行和基于0的列。
给定一个指向 .sarif 文件的单一路径，fats 将导出 sarif 结果中的区域。

安装

dotnet tool install --global fats

用法

USAGE: fats.exe [--help] [--nomarkup] [<paths>...]

PATHS:

    <paths>...            the ranges to dump

OPTIONS:

    --nomarkup            don't use console markup like bold or underline
    --noprefix            don't dump line content before the range
    --nopostfix           don't dump line content after the range
    --help                display this list of options.

单个 path 参数由一个文件路径组成，后面可以有一个可选的冒号和一个括号内的范围。
目前支持两种类型的范围

• (起始行-结束行) - 行范围
• (起始行,起始列-结束行,结束列) - 字符范围
• (行,列) - 单行范围

起始和结束行/列号之间可以有单个或多个短横线。
默认输出样式是打印整个行，并用下划线和粗体字体标记精确的范围。请参阅使用说明以控制此。

示例

> fats "./src/Fats/Program.fs:(1,0-1,4)" "./src/Fats/Program.fs:(3,0--4,0)" "./src/Fats/Program.fs:(5,0--5,10)"

> fats --nomarkup "./src/Fats/Program.fs:(1,0-1,4)" "./src/Fats/Program.fs:(3,0--4,0)" "./src/Fats/Program.fs:(5,0--5,10)"
namespace Fats
module Model =

    type Line =

> fats  --nomarkup "./src/Fats/Program.fs(1-3)" # lines 1 to 3
namespace Fats

module Model =

> fats  --nomarkup "./src/Fats/Program.fs:(1,3)" # line containing the position
namespace Fats

> fats --nomarkup ./testbed.sarif
GRA-STRING-002: The usage of String.StartsWith with a single string argument is discouraged. Signal your intention explicitly by calling an overload.
C:/Users/schae/src/testbed/Library.fs(6,11)
        if name.StartsWith("world") then
---