Class NoOpRebuildOperator

    • Constructor Detail

      • NoOpRebuildOperator

        public NoOpRebuildOperator()
    • Method Detail

      • rebuild

        public AbstractState rebuild​(AbstractState predecessorCallState,
                                     AbstractState expandedOutputState)
        Description copied from interface: RebuildOperator
        Performs the rebuilding of the return state.
        Specified by:
        rebuild in interface RebuildOperator
        Parameters:
        predecessorCallState - the state of the caller at the moment of the procedure call
        expandedOutputState - the output of ExpandOperator
        Returns:
        The state of the caller after the procedure call