Exemplo n.º 1
0
        public override IResExp Substitute(Substitution subst)
        {
            var newExp = _exp == null ? null : _exp.Substitute(subst);

            return(new ResBreakExp(
                       this.Range,
                       subst.Lookup(_label),
                       newExp));
        }
Exemplo n.º 2
0
 public override IResExp Substitute(Substitution subst)
 {
     return(subst.Lookup(_varDecl, this.Range));
 }
Exemplo n.º 3
0
 public IResTypeExp Substitute(Substitution subst)
 {
     return(subst.Lookup(_varDecl, _range));
 }