PostconditionCopy.java

Go to the documentation of this file.

package com.arcle.rmt.j2se.bridge.copy.rqml;
import com.arcle.rmt.j2se.bridge.copy.ChildCopier;

import com.arcle.rmt.rqml.*;

public class PostconditionCopy extends StringOrTermsCopy {
    public PostconditionCopy(ChildCopier cc) {
        super(cc);
    }


    public boolean copy(RQMLSecondClass source, RQMLSecondClass destination) {
        if (!(source instanceof Postcondition && destination instanceof Postcondition)) {
            return false;
        }
        return super.copy(source, destination);
    }
}

---