Package play.exceptions
Class CompilationException
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- java.lang.RuntimeException
-
- play.exceptions.PlayException
-
- play.exceptions.CompilationException
-
- All Implemented Interfaces:
java.io.Serializable,SourceAttachment
public class CompilationException extends PlayException implements SourceAttachment
A java compilation error- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description CompilationException(java.lang.String problem)CompilationException(VirtualFile source, java.lang.String problem, int line, int start, int end)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.StringgetErrorDescription()java.lang.StringgetErrorTitle()java.lang.IntegergetLineNumber()java.lang.StringgetMessage()java.util.List<java.lang.String>getSource()java.lang.IntegergetSourceEnd()java.lang.StringgetSourceFile()java.lang.IntegergetSourceStart()booleanisSourceAvailable()-
Methods inherited from class play.exceptions.PlayException
getId, getInterestingStackTraceElement, getInterestingStrackTraceElement, getMoreHTML
-
-
-
-
Constructor Detail
-
CompilationException
public CompilationException(java.lang.String problem)
-
CompilationException
public CompilationException(VirtualFile source, java.lang.String problem, int line, int start, int end)
-
-
Method Detail
-
getErrorTitle
public java.lang.String getErrorTitle()
- Specified by:
getErrorTitlein classPlayException
-
getErrorDescription
public java.lang.String getErrorDescription()
- Specified by:
getErrorDescriptionin classPlayException
-
getMessage
public java.lang.String getMessage()
- Overrides:
getMessagein classjava.lang.Throwable
-
getSource
public java.util.List<java.lang.String> getSource()
- Specified by:
getSourcein interfaceSourceAttachment
-
getLineNumber
public java.lang.Integer getLineNumber()
- Specified by:
getLineNumberin interfaceSourceAttachment- Overrides:
getLineNumberin classPlayException
-
getSourceFile
public java.lang.String getSourceFile()
- Specified by:
getSourceFilein interfaceSourceAttachment- Overrides:
getSourceFilein classPlayException
-
getSourceStart
public java.lang.Integer getSourceStart()
-
getSourceEnd
public java.lang.Integer getSourceEnd()
-
isSourceAvailable
public boolean isSourceAvailable()
- Overrides:
isSourceAvailablein classPlayException
-
-