package bluej.stride.framedjava.errors;

import java.util.Collections;
import java.util.List;

import threadchecker.OnThread;
import threadchecker.Tag;
import bluej.stride.framedjava.ast.JavaFragment;

public class JavaCompileError
extends CodeError{    
   private final int startPos;
   
   private final int endPos;
   
   private final String message;
    
   @OnThread(Tag.Any)
   
   public JavaCompileError(JavaFragment slotElement, int startPos, int endPos, String message, int identifier)
   {
      super(slotElement, identifier);
       
      this.startPos = startPos;
       
      this.endPos = endPos;
      if (endPos < startPos) {            
         throw new IllegalArgumentException("JavaCompileError ends before it begins");         
         }
       
      this.message = message;     
      }

   
   @Override
   @OnThread(Tag.Any)
   
   public String getMessage()
   {        
      return message;     
      }

   
   @Override
   
   public List getFixSuggestions()
   {
      return Collections.emptyList();     
      }

   
   @Override
   
   public String toString()
{              
return "JavaCompileError [startPos=" + startPos + ", endPos="
      + endPos + ", message=" + message + "]";     
      }
   
   @Override
   
   public int getStartPosition()
   {        
      return startPos;     
      }

   
   @Override
   
   public int getEndPosition()
   {        
      return endPos;     
      }
    
   
   @Override
   
   public boolean isJavaPos()
   {        
      return true;     
      } 
   }
top, use, map, class JavaCompileError

.   JavaCompileError
.   getMessage
.   getFixSuggestions
.   toString
.   getStartPosition
.   getEndPosition
.   isJavaPos




82 neLoCode + 0 LoComm