Adding CFG page

psoft-tools/src/CFGgen.css

@@ -0,0 +1,89 @@
+@tailwind base;
+@tailwind components;
+@tailwind utilities;
+
+
+:root {
+  font-family: Inter, system-ui, Avenir, Helvetica, Arial, sans-serif;
+  line-height: 1.5;
+  font-weight: 400;
+
+  color-scheme: light dark;
+  color: rgba(255, 255, 255, 0.87);
+  background-color: #242424;
+
+  font-synthesis: none;
+  text-rendering: optimizeLegibility;
+  -webkit-font-smoothing: antialiased;
+  -moz-osx-font-smoothing: grayscale;
+}
+
+a {
+  font-weight: 500;
+  color: #646cff;
+  text-decoration: inherit;
+}
+a:hover {
+  color: #535bf2;
+}
+
+body {
+  margin: 0;
+  display: flex;
+  place-items: center;
+  min-width: 100%;
+  min-height: 100%;
+}
+
+h1 {
+  font-size: 3.2em;
+  line-height: 1.1;
+}
+
+button {
+  border-radius: 8px;
+  border: 1px solid transparent;
+  padding: 0.6em 1.2em;
+  font-size: 1em;
+  font-weight: 500;
+  font-family: inherit;
+  background-color: #1a1a1a;
+  cursor: pointer;
+  transition: border-color 0.25s;
+}
+button:hover {
+  border-color: #646cff;
+}
+button:focus,
+button:focus-visible {
+  outline: 4px auto -webkit-focus-ring-color;
+}
+
+.navbar button{
+  background-color: black;
+  color: white;
+}
+
+.navbar button:hover{
+  border-color: black;
+}
+
+.screen{
+  display: flex;
+}
+.flex{
+  flex-grow: 1;
+}
+
+@media (prefers-color-scheme: light) {
+  :root {
+    color: #213547;
+    background-color: #ffffff;
+  }
+  a:hover {
+    color: #747bff;
+  }
+  button {
+    background-color: #f9f9f9;
+  }
+}

psoft-tools/src/components/JavaEditor.tsx

@@ -0,0 +1,4 @@
+import { EditorProps, useMonaco } from "@monaco-editor/react";
+import { useEffect } from "react";
+import { Editor } from "@monaco-editor/react";
+

psoft-tools/src/components/Navbar.tsx

@@ -39,6 +39,9 @@ export default function Navbar() {
           <Link to="/HoareTriple">
             <button>Hoare Triples</button>
           </Link>
+          <Link to="/CFGgen">
+            <button>CFG gen</button>
+          </Link>
         </div>
         <div>
           <Link to="https://faculty.rpi.edu/konstantin-kuzmin">

psoft-tools/src/pages/CFGgen.tsx

@@ -0,0 +1,62 @@
+import { Editor } from "@monaco-editor/react";
+import Navbar from "../components/Navbar";
+import { useState } from "react";
+import { post } from "../lib/api";
+import { ThreeDots } from "react-loader-spinner";
+
+//Create Routing File
+interface ErrorObject {
+  fileName: string;
+  line: number;
+  column: number;
+  errorMessage: string;
+}
+
+export default function CFGGen() {
+  const [code, setCode] = useState("int main(){}");
+  const [loading, setLoading] = useState(false);
+
+  const handleGen = () => {
+    setLoading(true);
+    post("http://localhost:3000/fetchImage/CFG.jpeg", code);
+    setLoading(false);
+  };
+
+  const handleEditorChange = (value: string | undefined) => {
+    if (value) {
+      //console.log(value);
+      setCode(value);
+      //console.log(code);
+    }
+  };
+  //<img src="http://localhost:3000/fetchImage/CFG.jpeg" alt="CFG image here"></img>
+  return (
+    <div>
+      <div>
+        <Navbar />
+      </div>
+      <div
+        className="screen"
+        style={{ paddingTop: "50px", width: "100%", overflow: "hidden" }}
+      >
+        <div style={{ width: "50%", justifyContent: "left" }}>
+
+          <Editor height="92vh" width="50vw" onChange={handleEditorChange} defaultLanguage="c"
+            defaultValue='int main(){return 1;}// Use C/C++ code'/>
+        </div>
+        <div className="flex flex-col justify-center relative pl-8">
+          <div className=" flex-grow">
+            {loading ? (
+              <ThreeDots color="gray" height={100} width={100} />
+            ) : (
+              <img src="http://localhost:3000/fetchImage/CFG.jpeg" alt="CFG image here"></img>
+            )}
+          </div>
+          <div className="flex flex-row justify-evenly max-h-11 mb-4">
+            <button onClick={handleGen}>Generate CFG</button>
+          </div>
+        </div>
+      </div>
+    </div>
+  );
+}