Element function ( String arg0 , String arg1 ) { Text loc0 = doc . createTextNode ( arg1 ) ; Element loc1 = doc . createElement ( arg0 ) ; loc1 . appendChild ( loc0 ) ; return loc1 ; }
builds a text element for an atomic value . concode_field_sep Goal root concode_elem_sep DocumentBuilder builder concode_elem_sep Document doc concode_field_sep Element createTwinGoalElement concode_elem_sep Attr createAttribute concode_elem_sep Document build concode_elem_sep Element createNode concode_elem_sep Element createPropositionElement