soot.jimple.infoflow.rifl

类 RIFLDocument.DomainSpec

java.lang.Object

soot.jimple.infoflow.rifl.RIFLDocument.DomainSpec

封闭类:

RIFLDocument

public class RIFLDocument.DomainSpec
extends Object

Class representing a domain in the RIFL specification

构造器概要

构造器

构造器和说明
DomainSpec(String name) Creates a new instance of the DomainSpec class

方法概要

限定符和类型	方法和说明
String	getName() Gets the name of this domain

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

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

构造器详细资料

DomainSpec

public DomainSpec(String name)

Creates a new instance of the DomainSpec class

参数:

name - The name of this domain

方法详细资料

getName

public String getName()

Gets the name of this domain

返回:

The name of this domain