Package jline.solvers.jmt

Class DocumentSectionPair

java.lang.Object

jline.solvers.jmt.DocumentSectionPair

public class DocumentSectionPair
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Element	section
Document	simDoc

Constructor Summary

Constructors

Constructor	Description
DocumentSectionPair(Document simDoc, Element section)

Method Summary

Modifier and Type	Method	Description
Element	getSection()
Document	getSimDoc()

Methods inherited from class java.lang.Object

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

Field Details

simDoc

public Document simDoc

section

public Element section

Constructor Details

DocumentSectionPair

public DocumentSectionPair(Document simDoc,
 Element section)

Method Details

getSimDoc

public Document getSimDoc()

getSection

public Element getSection()