Beispiel #1
0
 public override void PostprocessPurity(TranslationResult result, TranslationContext context)
 {
     if (this.Impure)
     {
         result.AsImpureAssertion(context, this.SilverType, "method call");
     }
 }