Esempio 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));
        }
Esempio n. 2
0
 public override IResExp Substitute(Substitution subst)
 {
     return(subst.Lookup(_varDecl, this.Range));
 }
Esempio n. 3
0
 public IResTypeExp Substitute(Substitution subst)
 {
     return(subst.Lookup(_varDecl, _range));
 }