update Context
open override fun updateContext(newContext: ExecutionContext, index: Int): ExistenceError
Content copied to clipboard
Creates a new exception instance with the context with in position index updated to newContext. Subclasses should override this method and return the correct instance.