import {useEffect, useState} from 'react' import Doc from "./Doc.tsx"; import './App.css' import {isResultDoc, ResultDoc} from "./resultdoc.ts"; const group_members = [ {name: "Anshul Gupta", sid: "862319580", nid: "agupt109"}, {name: "Nikhil Mahendrakar", sid: "862464249", nid: "nmahe008"}, {name: "Ishaan Bijor", sid: "862128714", nid: "ibijo001"}, {name: "Junbo Yang", sid: "862234040", nid: "jyang389"}, {name: "Junyan Hou", sid: "862394589", nid: "jhou038"}, ] function App() { const [query, setQuery] = useState(''); const [data, setData] = useState([]); useEffect(() => { if (query.length == 0) { setData([]); return; } fetch(`/query?q=${query}`, { method: "GET" }) .then(res => res.json()) .then((data: unknown) => { if (Array.isArray(data) && data.every(isResultDoc)) { setData(data); } else { console.error("Retrieved data is invalid"); } }) }, [query]); return ( <>

CS172 Project

{data.length == 0 && query.length == 0 &&

Group 10

{group_members.map(member => )}
{member.name} {member.nid} {member.sid}
}
setQuery(e.target.value)}/> {/*Add this later if search becomes too long*/} {/**/}
{data.map((doc: ResultDoc) => )} {data.length == 0 && query.length > 0 &&

No Results Found

}
) } export default App