soot.jimple.infoflow.rifl

类 RIFLDocument.FlowPair

java.lang.Object

soot.jimple.infoflow.rifl.RIFLDocument.FlowPair

封闭类:

RIFLDocument

public class RIFLDocument.FlowPair
extends Object

Class representing a pair of domains between which information flow is allowed

构造器概要

构造器

构造器和说明
FlowPair(RIFLDocument.DomainSpec firstDomain, RIFLDocument.DomainSpec secondDomain) Creates a new instance of the RIFLDocument.FlowPair class

方法概要

限定符和类型	方法和说明
boolean	equals(Object other)
RIFLDocument.DomainSpec	getFirstDomain() Gets the first domain in the pair, i.e. the start domain of the information flow
RIFLDocument.DomainSpec	getSecondDomain() Gets the second domain in the pair, i.e. the target domain of the information flow
int	hashCode()

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

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

构造器详细资料

FlowPair

public FlowPair(RIFLDocument.DomainSpec firstDomain,
                RIFLDocument.DomainSpec secondDomain)

Creates a new instance of the RIFLDocument.FlowPair class

参数:

firstDomain - The first domain in the pair, i.e. the start domain of the information flow

secondDomain - The second domain in the pair, i.e. the target domain of the information flow

方法详细资料

getFirstDomain

public RIFLDocument.DomainSpec getFirstDomain()

Gets the first domain in the pair, i.e. the start domain of the information flow

返回:

The first domain in the pair

getSecondDomain

public RIFLDocument.DomainSpec getSecondDomain()

Gets the second domain in the pair, i.e. the target domain of the information flow

返回:

The second domain in the pair

hashCode

public int hashCode()

覆盖:

hashCode 在类中 Object

equals

public boolean equals(Object other)

覆盖:

equals 在类中 Object