Package eu.bandm.tools.tdom.runtime
Class TypedExtension.ExtendedElement<E extends TypedElement>
java.lang.Object
eu.bandm.tools.tdom.runtime.TypedExtension.ExtendedElement<E>
- Enclosing class:
- TypedExtension
FIXME ????
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
ExtendedElement
public ExtendedElement()
-
-
Method Details
-
lookahead
-