Rename PathTable => AlertTable

This commit is contained in:
Robert
2023-06-30 10:01:34 +01:00
parent 4e92688900
commit 2c2b0ecd79
2 changed files with 9 additions and 6 deletions

View File

@@ -32,18 +32,21 @@ import { isWholeFileLoc, isLineColumnLoc } from "../../common/bqrs-utils";
import { ScrollIntoViewHelper } from "./scroll-into-view-helper"; import { ScrollIntoViewHelper } from "./scroll-into-view-helper";
import { sendTelemetry } from "../common/telemetry"; import { sendTelemetry } from "../common/telemetry";
export type PathTableProps = ResultTableProps & { export type AlertTableProps = ResultTableProps & {
resultSet: InterpretedResultSet<SarifInterpretationData>; resultSet: InterpretedResultSet<SarifInterpretationData>;
}; };
export interface PathTableState { export interface AlertTableState {
expanded: Set<string>; expanded: Set<string>;
selectedItem: undefined | Keys.ResultKey; selectedItem: undefined | Keys.ResultKey;
} }
export class PathTable extends React.Component<PathTableProps, PathTableState> { export class AlertTable extends React.Component<
AlertTableProps,
AlertTableState
> {
private scroller = new ScrollIntoViewHelper(); private scroller = new ScrollIntoViewHelper();
constructor(props: PathTableProps) { constructor(props: AlertTableProps) {
super(props); super(props);
this.state = { expanded: new Set<string>(), selectedItem: undefined }; this.state = { expanded: new Set<string>(), selectedItem: undefined };
this.handleNavigationEvent = this.handleNavigationEvent.bind(this); this.handleNavigationEvent = this.handleNavigationEvent.bind(this);

View File

@@ -14,7 +14,7 @@ import {
ParsedResultSets, ParsedResultSets,
IntoResultsViewMsg, IntoResultsViewMsg,
} from "../../common/interface-types"; } from "../../common/interface-types";
import { PathTable } from "./alert-table"; import { AlertTable } from "./alert-table";
import { Graph } from "./graph"; import { Graph } from "./graph";
import { RawTable } from "./raw-results-table"; import { RawTable } from "./raw-results-table";
import { import {
@@ -461,7 +461,7 @@ class ResultTable extends React.Component<
...resultSet, ...resultSet,
interpretation: { ...resultSet.interpretation, data }, interpretation: { ...resultSet.interpretation, data },
}; };
return <PathTable {...this.props} resultSet={sarifResultSet} />; return <AlertTable {...this.props} resultSet={sarifResultSet} />;
} }
case "GraphInterpretationData": { case "GraphInterpretationData": {
const grapResultSet = { const grapResultSet = {