2-24 HilfsmittelcZugangscEntscheidung, v1.0 April 2001 2 Postconditions 1. für das resource_name: resource_nameregistered_evaluator_list = resource_nameregistered_evaluators - policy_evaluator_list get_combinator() Das DecisionCombinator spezifiziert für das genannte Hilfsmittel wird zurückgegangen. Wenn a combinator ist nicht für das ResourceName spezifiziert worden vorausgesetzt, die Rückkehr wird seien Sie Null (sie bringt nicht das Rückstellungscombinator zurück). Vorbedingungen Keine Vorbedingungen. Postconditions 1. Rückhol==resource_nameregistered_ decision_combinator set_combinator() Ein DecisionCombinator wird für das genannte Hilfsmittel spezifiziert. Dieses combinator ist zurückgegangen durch das get_policy_decision_evaluators() PolicyEvaluatorLocator Methode. Das DecisionCombinator vorausgesetzt jedes vorhergehende combinator ersetzt spezifiziert für das gesicherte Hilfsmittel. Vorbedingungen Keine Vorbedingungen. Postconditions 1. resource_nameregistered_ decision_combinator==decision_combinator delete_combinator() Das DecisionCombinator für das ResourceName wird entfernt. Die Rückstellung combinator wird jetzt durch das PolicyEvaluatorLocator zurückgebracht get_policy_decision_evaluators() Methode. Vorbedingungen Keine Vorbedingungen. Postconditions 1. Die Hilfsmittelnamen, die nur resource_name zusammenbringen,SIND mit der Rückstellung verbunden combinator.