reads in a given maze file , performs various validation and constructs a representation of the maze concode_field_sep PlaceHolder placeHolder concode_field_sep void validateMaze concode_elem_sep Maze constructMaze concode_elem_sep List<String> readMazeFile
Maze function ( String arg0 ) { List < String > loc0 = readMazeFile ( arg0 ) ; validateMaze ( loc0 ) ; return constructMaze ( loc0 ) ; }