@@ -20,7 +20,10 @@ import { ToolsTransitionTable } from "../tools/TransitionTable";
2020import PlayArrowRoundedIcon from "@mui/icons-material/PlayArrowRounded" ;
2121import PauseRoundedIcon from "@mui/icons-material/PauseRounded" ;
2222import ReplayRoundedIcon from "@mui/icons-material/ReplayRounded" ;
23- import { ModifiedTableStateId } from "../../../consts/StateIdsExtensions" ;
23+ import {
24+ ModifiedTableStateId ,
25+ NullClosureStateId ,
26+ } from "../../../consts/StateIdsExtensions" ;
2427import { AppBarAndDrawer } from "../../../common/AppBarAndDrawer" ;
2528import { DrawerHeader } from "../../../common/DrawerHeader" ;
2629import { MainContent } from "../../../common/MainContent" ;
@@ -37,7 +40,7 @@ export const ModifiedTable = (props: ModifiedTableProps) => {
3740
3841 const dataContext = useContext ( DataContext ) ;
3942
40- const [ duration , setDuration ] = useState ( AnimationDurationOptions [ 0 ] ) ;
43+ const [ duration , setDuration ] = useState ( AnimationDurationOptions [ 3 ] ) ;
4144 const [ isPlaying , setIsPlaying ] = useState ( false ) ;
4245
4346 const [ isComplete , setIsComplete ] = useState ( false ) ; // set to true when data is completely displayed
@@ -73,11 +76,6 @@ export const ModifiedTable = (props: ModifiedTableProps) => {
7376 const [ open , setOpen ] = useState ( 1 ) ;
7477
7578 useEffect ( ( ) => {
76- console . log (
77- "ModifiedTable useEffect, isPlaying, duration: " ,
78- isPlaying ,
79- duration
80- ) ;
8179 if ( isPlaying ) {
8280 let timer = setTimeout ( ( ) => {
8381 console . log ( "inside set timeout, index" , index ) ;
@@ -99,12 +97,6 @@ export const ModifiedTable = (props: ModifiedTableProps) => {
9997 } , [ props , modifiedTableRows , isPlaying ] ) ;
10098
10199 const handleUpdateData = ( rowIndex : number , rows : RowModel [ ] ) => {
102- console . log (
103- "handleUpdateData, rowIndex, index, rows: " ,
104- rowIndex ,
105- index ,
106- rows
107- ) ;
108100 setModifiedTableRowId ( rowIndex ) ;
109101 setModifiedTableRows (
110102 rows . map ( ( row , mapIndex ) => {
@@ -171,16 +163,10 @@ export const ModifiedTable = (props: ModifiedTableProps) => {
171163 } ;
172164
173165 const handleDurationChange = ( event : SelectChangeEvent ) => {
174- console . log (
175- "ModifiedTable handleDurationChange, event.target.value, duration: " ,
176- event . target . value ,
177- duration
178- ) ;
179166 setDuration ( Number ( event . target . value ) ) ;
180167 } ;
181168
182169 const handleAnimation = ( ) => {
183- console . log ( "ModifiedTable handleAnimation" ) ;
184170 if ( isComplete ) {
185171 setIsReady ( false ) ;
186172 setIsComplete ( false ) ;
@@ -190,7 +176,6 @@ export const ModifiedTable = (props: ModifiedTableProps) => {
190176 } ;
191177
192178 const showNextRow = ( ) => {
193- console . log ( "ModifiedTable show next row, index: " , index ) ;
194179 const rowIndex = Math . floor ( index / numberOfColumns ) ;
195180 if ( isComplete ) {
196181 setIsReady ( true ) ;
@@ -228,12 +213,16 @@ export const ModifiedTable = (props: ModifiedTableProps) => {
228213 } ;
229214
230215 const appBarAndDrawerProps : AppBarAndDrawerProps = {
231- title : "Modified Transition Table" ,
216+ headerTitle : "Modified Transition Table" ,
217+ drawerTitle : "Null Closure Table" ,
232218 open,
233219 setOpen,
234220 transitionTableProps : {
235- rows : GetDrawerTransitionTableRows ( dataContext , ModifiedTableStateId ) ,
236- columns : GetDrawerTransitionTableColumns ( dataContext , false ) ,
221+ rows : GetDrawerTransitionTableRows (
222+ props . nullClosureRows ,
223+ NullClosureStateId
224+ ) ,
225+ columns : GetDrawerTransitionTableColumns ( dataContext . columns , [ "a" , "b" ] ) ,
237226 } ,
238227 } ;
239228
@@ -252,6 +241,7 @@ export const ModifiedTable = (props: ModifiedTableProps) => {
252241 sm : 2 ,
253242 md : 3 ,
254243 } }
244+ pt = { 1.6 }
255245 >
256246 { /* Transition table grid */ }
257247 < Grid item xs = { 12 } md = { 4 } >
0 commit comments