C# (CSharp) SuperCOOL.SemanticCheck SemanticCheckResult Examples

Example #1

File: SemanticCheckResult.cs Project: matcom-compilers-2019/cool-compiler-supercool

 public void Ensure(SemanticCheckResult semanticCheckResult)
 {
     if (!semanticCheckResult.Correct)
     {
         Errors.AddRange(semanticCheckResult.Errors);
     }
 }

Example #2

File: SemanticCheckResult.cs Project: matcom-compilers-2019/cool-compiler-supercool

 public void Ensure(SemanticCheckResult semanticCheckResult, bool condition, Lazy <Error> error)
 {
     if (!semanticCheckResult.Correct)
     {
         Errors.AddRange(semanticCheckResult.Errors);
     }
     else if (!condition)
     {
         Errors.Add(error.Value);
     }
 }