void function ( Document arg0 , Element arg1 , String arg2 , int arg3 ) { Element loc0 = arg0 . createElement ( arg2 ) ; loc0 . appendChild ( arg0 . createTextNode ( Integer . toString ( arg3 ) ) ) ; arg1 . appendChild ( loc0 ) ; }
append an new element to mazexml that carries the given name has a child node with the given value . concode_field_sep PlaceHolder placeHolder concode_field_sep void storeMaze concode_elem_sep void store