soot.jimple.infoflow.memory.reasons

类 TimeoutReason

java.lang.Object

soot.jimple.infoflow.memory.reasons.TimeoutReason

所有已实现的接口:

ISolverTerminationReason

public class TimeoutReason
extends Object
implements ISolverTerminationReason

Reason for terminating a data flow solver that has run out of time

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
TimeoutReason(long timeElapsed, long timeout) Creates a new instance of the TimeoutReason class

方法概要

限定符和类型	方法和说明
ISolverTerminationReason	combine(ISolverTerminationReason terminationReason) Combines this termination reason with the given one
boolean	equals(Object obj)
long	getTimeElapsed() Gets the time that has elapsed so far
long	getTimeout() Gets the maximum amount of time that the solver was allowed to spend on the task
int	hashCode()

从类继承的方法 java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

构造器详细资料

TimeoutReason

public TimeoutReason(long timeElapsed,
                     long timeout)

Creates a new instance of the TimeoutReason class

参数:

timeElapsed - The time that has elapsed so far

timeout - The maximum time that the solver was allowed to spend

方法详细资料

getTimeElapsed

public long getTimeElapsed()

Gets the time that has elapsed so far

返回:

The time that the solver has spent so far

getTimeout

public long getTimeout()

Gets the maximum amount of time that the solver was allowed to spend on the task

返回:

The maximum amount of time that the solver was allowed to spend on the task

hashCode

public int hashCode()

覆盖:

hashCode 在类中 Object

equals

public boolean equals(Object obj)

覆盖:

equals 在类中 Object

combine

public ISolverTerminationReason combine(ISolverTerminationReason terminationReason)

从接口复制的说明: ISolverTerminationReason

Combines this termination reason with the given one

指定者:

combine 在接口中 ISolverTerminationReason

参数:

terminationReason - The reason to combine this one with

返回:

A combined termination reason that models the current reason as well as the given one, i.e., the fact that the solver was terminated for multiple reasons