LineTimeout.Scope (LINE Solver Java API)

java.lang.Object

jline.util.LineTimeout.Scope

All Implemented Interfaces:: AutoCloseable

Enclosing class:: LineTimeout

public static final class LineTimeout.Scope extends Object implements AutoCloseable

The frame a LineTimeout.arm(double) call pushed; closing it pops the frame.

Method Summary

Modifier and Type

Method

Description

double

budget()

The own budget passed to LineTimeout.arm(double), in seconds.

void

close()

boolean

isArmed()

True when a frame was pushed, i.e.

boolean

tripped()

True when a checkpoint of this frame (or of a frame nested in it) fired.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- isArmed
  
  public boolean isArmed()
  
  True when a frame was pushed, i.e. a finite budget is in force.
- budget
  
  public double budget()
  
  The own budget passed to LineTimeout.arm(double), in seconds.
- tripped
  
  public boolean tripped()
  
  True when a checkpoint of this frame (or of a frame nested in it) fired.
- close
  
  public void close()
  
  Specified by:
  
  close in interface AutoCloseable