package bluej.collect;

import java.io.File;

import bluej.compiler.Diagnostic;




| Wraps a Diagnostic with two extra pieces of information:
|
| - Whether the message was shown to the user (previously, only the first message was shown;
|   now it is all the messages unless there is an internal problem showing it)
|
| - What the original file name was (.stride file for Stride)
|

public class DiagnosticWithShown
{       

   private final Diagnostic diagnostic;
   
   
   private final boolean shownToUser;
   
   
   private final File userFileName;

   
   


|
| @param diagnostic
| @param shownToUser Will now usually be true (unless editor cannot be found, or similar) , since we switched to red underlines for errors.
|
public DiagnosticWithShown(Diagnostic diagnostic, boolean shownToUser, File userFileName)
   {        
      this.diagnostic = diagnostic;
       
      this.shownToUser = shownToUser;
       
      this.userFileName = userFileName;     
      }
   
   public Diagnostic getDiagnostic()
   {        
      return diagnostic;     
      }
   
   public boolean wasShownToUser()
   {        
      return shownToUser;     
      }
   
   public File getUserFileName()
   {        
      return userFileName;     
      } 
   }