ua.gradsoft.javachecker.models
Class InvalidJavaTermException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          ua.gradsoft.termware.TermWareException
              ua.gradsoft.termware.exceptions.AssertException
                  ua.gradsoft.javachecker.models.InvalidJavaTermException

All Implemented Interfaces:

java.io.Serializable, SourceCodeLocation, ITermWareException

Direct Known Subclasses:

InvalidJavaExpressionModelException

public class InvalidJavaTermException
extends AssertException
implements SourceCodeLocation

Throws when we get somehwere invalid or non-compiling term

Author:

Ruslan Shevchenko

See Also:

Serialized Form

Constructor Summary

InvalidJavaTermException(java.lang.String message, FileAndLine where, java.lang.Exception ex)

InvalidJavaTermException(java.lang.String message, Term t)

InvalidJavaTermException(java.lang.String message, Term t, java.lang.Exception ex)

Method Summary

FileAndLine	getFileAndLine()
void	setFileAndLine(FileAndLine fileAndLine)

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

InvalidJavaTermException

public InvalidJavaTermException(java.lang.String message,
                                FileAndLine where,
                                java.lang.Exception ex)

InvalidJavaTermException

public InvalidJavaTermException(java.lang.String message,
                                Term t,
                                java.lang.Exception ex)

InvalidJavaTermException

public InvalidJavaTermException(java.lang.String message,
                                Term t)

Method Detail

getFileAndLine

public FileAndLine getFileAndLine()

Specified by:

getFileAndLine in interface SourceCodeLocation

setFileAndLine

public void setFileAndLine(FileAndLine fileAndLine)

Specified by:

setFileAndLine in interface SourceCodeLocation