AssumptionCopy.java

Go to the documentation of this file.

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

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


public class AssumptionCopy extends RQMLFirstClassCopy {
    public AssumptionCopy(ChildCopier cc) {
        super(cc);
    }


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

---