Package jline.solvers.jmt

Class ElementDocumentPair

java.lang.Object

jline.solvers.jmt.ElementDocumentPair

public class ElementDocumentPair
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Document	simDoc
Element	simElem

Constructor Summary

Constructors

Constructor	Description
ElementDocumentPair(Element simElem, Document simDoc)

Method Summary

Modifier and Type	Method	Description
Object	getSimDoc()
Object	getSimElem()

Methods inherited from class java.lang.Object

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

Field Details

simElem

public Element simElem

simDoc

public Document simDoc

Constructor Details

ElementDocumentPair

public ElementDocumentPair(Element simElem,
 Document simDoc)

Method Details

getSimElem

public Object getSimElem()

getSimDoc

public Object getSimDoc()