Class NeedsBackfillException

  • All Implemented Interfaces:
    java.io.Serializable

    public class NeedsBackfillException
    extends SolverException
    An exception to indicate that the solution of an expression is not yet known Furthermore, it cannot be determined whether or not the expression is even solvable. When this exception is thrown, a backfill record is placed on the encoded resolution indicating that resolver must attempt to solve the expression again, once the encoding is otherwise complete. This is needed, most notably, when an encoding depends on the address of the next instruction, because the length of the current instruction is not known until resolution has finished. Backfill becomes a possibility when an expression depends on a symbol that is not (yet) defined. Thus, as a matter of good record keeping, the exception takes the name of the missing symbol.
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      NeedsBackfillException​(java.lang.String symbol)
      Construct a backfill exception, resulting from the given missing symbol name
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getSymbol()
      Retrieve the missing symbol name from the original solution attempt
      • Methods inherited from class java.lang.Throwable

        addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, 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

      • NeedsBackfillException

        public NeedsBackfillException​(java.lang.String symbol)
        Construct a backfill exception, resulting from the given missing symbol name
        Parameters:
        symbol - the missing symbol name
    • Method Detail

      • getSymbol

        public java.lang.String getSymbol()
        Retrieve the missing symbol name from the original solution attempt
        Returns:
        the missing symbol name