package org.simantics.scl.compiler.elaboration.chr.relations;

import org.simantics.scl.compiler.elaboration.chr.CHRRelation;
import org.simantics.scl.compiler.elaboration.relations.SCLRelation;
import org.simantics.scl.compiler.types.TVar;
import org.simantics.scl.compiler.types.Type;

public class ExternalCHRRelation implements CHRRelation {
    public final SCLRelation relation;

    public ExternalCHRRelation(SCLRelation relation) {
        this.relation = relation;
    }

    @Override
    public TVar[] getTypeVariables() {
        return relation.getTypeVariables();
    }

    @Override
    public Type[] getParameterTypes() {
        return relation.getParameterTypes();
    }
    
    @Override
    public String toString() {
        return relation.toString();
    }
}