void function ( Document arg0 , Element arg1 ) { Element loc0 = arg0 . createElement ( "srini_string" ) ; arg1 . appendChild ( loc0 ) ; for ( SourceSinkDomPair loc1 : this . document . getDomainAssignment ( ) ) writeSourceSinkDomPair ( loc1 , arg0 , loc0 ) ; }
writes out the domains assignments section of the rifl document concode_field_sep RIFLDocument document concode_field_sep void writeFlowPair concode_elem_sep void writeSourceSinkDomPair concode_elem_sep RIFLDocument getDocument concode_elem_sep void writeJavaFieldSpec concode_elem_sep void writeAttackerIO concode_elem_sep void writeDomains concode_elem_sep void writeDomainHierarchy concode_elem_sep void writeJavaParameterSpec concode_elem_sep void writeDomainSpec concode_elem_sep void writeFlowPolicy concode_elem_sep void writeDomainPair concode_elem_sep String write concode_elem_sep void writeSourceSinkSpec