package de.dhbwstuttgart.typeinference.result;

import de.dhbwstuttgart.exceptions.NotImplementedException;
import de.dhbwstuttgart.syntaxtree.type.RefTypeOrTPHOrWildcardOrGeneric;
import de.dhbwstuttgart.syntaxtree.type.TypePlaceholder;

/**
 * enthaelt alle Paare, die in einem Ergebnis nicht vorkommen koennen
 * sie sind noetig fuer origPairs in PairTPHsmallerTPH, da hier auch
 * Paare vorkommen koennen die keine Result sind (z.B. bei FunN$$)
 */
public class PairNoResult extends ResultPair<RefTypeOrTPHOrWildcardOrGeneric, RefTypeOrTPHOrWildcardOrGeneric>{
    //public final TypePlaceholder left;
    //public final TypePlaceholder right;
    
    /*
     * urspruengliches Paar aus diesem dieses Resultpair erzeugt wurde
     * wichtig fuer generated Generics
     */
    ResultPair origPair;

    public PairNoResult(RefTypeOrTPHOrWildcardOrGeneric left, RefTypeOrTPHOrWildcardOrGeneric right){
        super(left, right);
    }

    /* noch nicht implementiert. */
    @Override
    public void accept(ResultPairVisitor visitor) {
    	throw new NotImplementedException();
        //visitor.visit(this);
    }
}
