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