C# (CSharp) ILinearRef Examples

Example #1

 public Exception InvalidSwap(ILinearRef linearRef, string message)
 {
     return(IssueError(linearRef.SourceLocation,
                       $"invalid swap of {linearRef.Variable.Name}. Reason: {message}"));
 }

Example #2

 public Exception RelinquishedWithoutOwnership(ILinearRef linearRef)
 {
     return(IssueError(linearRef.SourceLocation,
                       $"cannot give up ownership of variable {linearRef.Variable.Name} twice"));
 }