ASTTAddr.java

import java.util.Set;

public class ASTTAddr implements ASTType {
    private final ASTType type;
    private final int depth;

    public ASTTAddr(ASTType _type, int _depth) {
        this.type = _type;
        this.depth = _depth;
    }
    
    public ASTType getType() {
        return type;
    }

    public int getDepth() {
        return depth;
    }

    @Override
    public String toStr() {
        return "addr("+type.toStr()+")";
    }

    @Override
    public boolean eqt(ASTType t) {
        if (!(t instanceof ASTTAddr other))
            return false;
        return type.eqt(other.getType());
    }

    @Override
    public boolean subtypeOf(ASTType t, Environment<ASTType> e, Set<String> seen) throws InterpreterError {
        t = ASTTypeDef.unfold(t, e);
        if (!(t instanceof ASTTAddr other))
            return false;
        
        ASTType thisInner = ASTTypeDef.unfold(this.type, e);
        ASTType otherInner = ASTTypeDef.unfold(other.getType(), e);
        
        // A<:>B
        return thisInner.subtypeOf(otherInner, e, seen) && otherInner.subtypeOf(thisInner, e, seen);
    }

}