pub fn domain(
domain: &WriteDomain,
target: &Address,
taint: &TaintSet,
) -> GateOutcomeExpand description
Whether one file may be written: inside the prefixes, and the kind of file this domain writes.
pub fn domain(
domain: &WriteDomain,
target: &Address,
taint: &TaintSet,
) -> GateOutcomeWhether one file may be written: inside the prefixes, and the kind of file this domain writes.