Class SyncTransTinstTriple

java.lang.Object
  |
  +--SyncTransTinstTriple

public class SyncTransTinstTriple
extends java.lang.Object

Version:
Mon Apr 9 11:30:36 2001
Author:
M. Oliver Möller

Field Summary
 java.lang.String sync
           
 TextualInstantiation tinst
           
 org.w3c.dom.Element trans
           
 
Constructor Summary
SyncTransTinstTriple(java.lang.String theSync, org.w3c.dom.Element theTrans, TextualInstantiation theTinst)
          Default Constructor
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

sync

public java.lang.String sync

trans

public org.w3c.dom.Element trans

tinst

public TextualInstantiation tinst
Constructor Detail

SyncTransTinstTriple

public SyncTransTinstTriple(java.lang.String theSync,
                            org.w3c.dom.Element theTrans,
                            TextualInstantiation theTinst)
Default Constructor