Class TinstElementPair

java.lang.Object
  |
  +--TinstElementPair

public class TinstElementPair

extends java.lang.Object

Wrapper Class for a pair describing an explicit element.
Usually used for Exits and Locations.

Version:

Vanilla-1 Tue Feb 13 11:46:22 2001

Author:

M. Oliver Möller

Field Summary

org.w3c.dom.Element	element The element (as defined in the template).
TextualInstantiation	tinst The textual instantiation the element belongs to

Constructor Summary

TinstElementPair(TextualInstantiation theTinst, org.w3c.dom.Element theElement)
Default Constructor

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

tinst

public final TextualInstantiation tinst

The textual instantiation the element belongs to

element

public final org.w3c.dom.Element element

The element (as defined in the template).

Constructor Detail

TinstElementPair

public TinstElementPair(TextualInstantiation theTinst,
                        org.w3c.dom.Element theElement)

Default Constructor

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object