-
Notifications
You must be signed in to change notification settings - Fork 229
Expand file tree
/
Copy pathFileCodeSnippet.tsx
More file actions
113 lines (101 loc) · 2.93 KB
/
FileCodeSnippet.tsx
File metadata and controls
113 lines (101 loc) · 2.93 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
import { styled } from "styled-components";
import type {
AnalysisMessage,
CodeSnippet,
FileLink,
HighlightedRegion,
ResultSeverity,
} from "../../../variant-analysis/shared/analysis-result";
import { createRemoteFileRef } from "../../../common/location-link-utils";
import { CodeSnippetMessage } from "./CodeSnippetMessage";
import { CodeSnippetLine } from "./CodeSnippetLine";
import { sendTelemetry } from "../telemetry";
import { Link } from "../Link";
const borderColor = "var(--vscode-editor-snippetFinalTabstopHighlightBorder)";
const Container = styled.div`
font-family: var(--vscode-editor-font-family);
font-size: small;
`;
const TitleContainer = styled.div`
border: 0.1em solid ${borderColor};
border-top-left-radius: 0.2em;
border-top-right-radius: 0.2em;
padding: 0.5em;
`;
const CodeContainer = styled.div`
border-left: 0.1em solid ${borderColor};
border-right: 0.1em solid ${borderColor};
border-bottom: 0.1em solid ${borderColor};
border-bottom-left-radius: 0.2em;
border-bottom-right-radius: 0.2em;
padding-top: 1em;
padding-bottom: 1em;
`;
type Props = {
fileLink: FileLink;
codeSnippet?: CodeSnippet;
highlightedRegion?: HighlightedRegion;
severity?: ResultSeverity;
message?: AnalysisMessage;
messageChildren?: React.ReactNode;
};
const sendCodeSnippetTitleLinkTelemetry = () =>
sendTelemetry("file-code-snippet-title-link");
export const FileCodeSnippet = ({
fileLink,
codeSnippet,
highlightedRegion,
severity,
message,
messageChildren,
}: Props) => {
const startingLine = codeSnippet?.startLine || 0;
const endingLine = codeSnippet?.endLine || 0;
const titleFileUri = createRemoteFileRef(
fileLink,
highlightedRegion?.startLine || startingLine,
highlightedRegion?.endLine || endingLine,
highlightedRegion?.startColumn,
highlightedRegion?.endColumn,
);
if (!codeSnippet) {
return (
<Container>
<TitleContainer>
<Link onClick={sendCodeSnippetTitleLinkTelemetry} href={titleFileUri}>
{fileLink.filePath}
</Link>
</TitleContainer>
{message && severity && (
<CodeSnippetMessage message={message} severity={severity}>
{messageChildren}
</CodeSnippetMessage>
)}
</Container>
);
}
const code = codeSnippet.text.split("\n");
return (
<Container>
<TitleContainer>
<Link onClick={sendCodeSnippetTitleLinkTelemetry} href={titleFileUri}>
{fileLink.filePath}
</Link>
</TitleContainer>
<CodeContainer>
{code.map((line, index) => (
<CodeSnippetLine
key={index}
line={line}
lineIndex={index}
startingLineIndex={startingLine}
highlightedRegion={highlightedRegion}
severity={severity}
message={message}
messageChildren={messageChildren}
/>
))}
</CodeContainer>
</Container>
);
};