Loading +TableBlock/convert_twodimensional_grid_to_java.m +2 −1 Original line number Diff line number Diff line Loading @@ -3,11 +3,12 @@ % % inputs: % grid:Grid - grid to convert % java_grid:List<HierarchicalCell> - place to put changed cells. % java_grid:TwoDimensionalGrid - place to put changed cells. % % outputs; % none % Author: Matthew Dawson matthew@mjdsystems.ca % Author: Yanjun Jiang jiangy76@mcmaster.ca % Organization: McMaster Centre for Software Certification function convert_twodimensional_grid_to_java(grid, java_grid) Loading +TableBlock/convert_twodimensional_grid_to_java_real.m +8 −5 Original line number Diff line number Diff line %% convert_hierarchical_grid_to_java % generates a java version fo the hiearchcial grid %% convert_twodimensional_grid_to_java_real % generates a java version for the two dimensional grid % % inputs: % grid:Grid - grid to convert % java_grid:List<HierarchicalCell> - place to put changed cells. % grid:RGrid - output grid to convert % top_grid:Grid - top grid to generate output variable name for. % left_grid:Grid - grid to generate left conditions for. % java_grid:TwoDimensionalGrid - place to put changed cells. % % outputs; % none % current_index:int - the index of row number or the index of sizeY() % Author: Matthew Dawson matthew@mjdsystems.ca % Author: Yanjun Jiang jiangy76@mcmaster.ca % Organization: McMaster Centre for Software Certification function current_index = convert_twodimensional_grid_to_java_real(grid, left_grid, top_grid, java_grid, current_index) Loading Loading
+TableBlock/convert_twodimensional_grid_to_java.m +2 −1 Original line number Diff line number Diff line Loading @@ -3,11 +3,12 @@ % % inputs: % grid:Grid - grid to convert % java_grid:List<HierarchicalCell> - place to put changed cells. % java_grid:TwoDimensionalGrid - place to put changed cells. % % outputs; % none % Author: Matthew Dawson matthew@mjdsystems.ca % Author: Yanjun Jiang jiangy76@mcmaster.ca % Organization: McMaster Centre for Software Certification function convert_twodimensional_grid_to_java(grid, java_grid) Loading
+TableBlock/convert_twodimensional_grid_to_java_real.m +8 −5 Original line number Diff line number Diff line %% convert_hierarchical_grid_to_java % generates a java version fo the hiearchcial grid %% convert_twodimensional_grid_to_java_real % generates a java version for the two dimensional grid % % inputs: % grid:Grid - grid to convert % java_grid:List<HierarchicalCell> - place to put changed cells. % grid:RGrid - output grid to convert % top_grid:Grid - top grid to generate output variable name for. % left_grid:Grid - grid to generate left conditions for. % java_grid:TwoDimensionalGrid - place to put changed cells. % % outputs; % none % current_index:int - the index of row number or the index of sizeY() % Author: Matthew Dawson matthew@mjdsystems.ca % Author: Yanjun Jiang jiangy76@mcmaster.ca % Organization: McMaster Centre for Software Certification function current_index = convert_twodimensional_grid_to_java_real(grid, left_grid, top_grid, java_grid, current_index) Loading