Uses of Class
TextualInstantiation

Uses of TextualInstantiation in

Fields in declared as TextualInstantiation

protected static TextualInstantiation	Flatten.rootInstDummy Textual instantiation corresponding to the root.
TextualInstantiation	GlobalJoin.rootTinst The TextualInstantiation, where the rootTransition is instantiated in.
TextualInstantiation	InstantiationTree.content
TextualInstantiation	SyncTransTinstTriple.tinst
TextualInstantiation	TextualInstantiation.father Pointer to the direct father.
TextualInstantiation	TinstElementPair.tinst The textual instantiation the element belongs to

Methods in that return TextualInstantiation

TextualInstantiation

ComponentMapper.retrieveTextualInstantiation(org.w3c.dom.Element component, TextualInstantiation tinst) Get the TextualInstantiation according to the mapping Component * TextualInstantiation ---> TextualInstantiation The first TextualInstantiation is the declaringContext, the result TextualInstantiation is the (sub-)declared one. If the TextualInstantiation is not entered yet, it is created with the empty constructor.

static TextualInstantiation

Flatten.recallInstantionAndComponentIDToTextualInstantiation(java.lang.String instantiationName, java.lang.String componentID) Counterpart to Flatten.memorizeInstantionAndComponentIDToTextualInstantiation(java.lang.String, java.lang.String, TextualInstantiation). Maps back to the TextualInstantiation

Methods in with parameters of type TextualInstantiation

boolean	ChannelRegistry.occursInOrBelow(java.lang.String sync, TextualInstantiation tinst) Checks, whether there exist an entry for sync in the textual instantiation or in any descendand of it
void	ChannelRegistry.registerSync(java.lang.String sync, org.w3c.dom.Element transition, TextualInstantiation tinst) Regiser a sync occuring on a specific transition in a specific texual instantiation (I.e., create appropriate hashtable entries)
void	ChannelRegistry.unregisterSync(java.lang.String sync, org.w3c.dom.Element transition, TextualInstantiation tinst) UNRegiser a sync occuring on a specific transition in a specific texual instantiation, i.e., remove from database (Needed if the synchronization changes) Throws exception, if there was no registration entry.
java.util.Enumeration	ChannelRegistry.enumTransitionsWithSyncOusideTinst(java.lang.String sync, TextualInstantiation tinst) Returns an enumeration of all (flat) transtions, that carry the specified sync and reside outside the specific tinst. (possibly the empty enumeration). Only works properly, if all transitions were registered with ChannelRegistry.registerSync(java.lang.String, org.w3c.dom.Element, TextualInstantiation).
void	ChannelRegistry.addConflict(java.lang.String sync, org.w3c.dom.Element transition, TextualInstantiation tinst) Adds the synchronization from a global join, that might cause a conflict. Note that the TextualInstantiaton handed over is not where the transition lives in, but the tinst of the component, where it originates from.
private boolean	ChannelRegistry.occursIn(java.lang.String sync, TextualInstantiation tinst) Check Hashtable for entry
private java.util.Enumeration	ChannelRegistry.enumTinstsOutsideTinst(TextualInstantiation tinst) Enumerate textual Instantiations (including root) outside a specific one, i.e., above and incomparable to it.
private java.util.Vector	ChannelRegistry.allTransitionsWithSyncInTinst(java.lang.String sync, TextualInstantiation tinst) Return vector of entires, of empty vector if there are none.
java.util.Enumeration	ChannelRegistry.enumTinstTransitionsWithSyncOutsideTinst(java.lang.String sync, TextualInstantiation tinst) The transitions OUTSIDE a tinst (those have to be cloned in phase III) Return enumeration of TinstElementPairs
TextualInstantiation	ComponentMapper.retrieveTextualInstantiation(org.w3c.dom.Element component, TextualInstantiation tinst) Get the TextualInstantiation according to the mapping Component * TextualInstantiation ---> TextualInstantiation The first TextualInstantiation is the declaringContext, the result TextualInstantiation is the (sub-)declared one. If the TextualInstantiation is not entered yet, it is created with the empty constructor.
void	ComponentMapper.enterTextualInstantiation(org.w3c.dom.Element component, TextualInstantiation tinst, TextualInstantiation subTinst) Create an entry in Component * TextualInstantiation ---> TextualInstantiation The first TextualInstantiation is the declaringContext, the result TextualInstantiation is the (sub-)declared one.
void	FlatDocumentWriter.addInstantiation(TextualInstantiation tinst) Arrange that a new instantiation is created. This means, that the template (if not present) is added and the instantiations and the system are updated.
private static java.lang.String	Flatten.translateTemplateInstantiation(TextualInstantiation tinst) Translates a instantiation of a hierarchical template to a flat one
private static java.lang.String	Flatten.translateXORTemplateInstantiation(TextualInstantiation tinst) Translates a instantiation of a hierarchical AND template to a flat (xor) template instantiation
private static java.lang.String	Flatten.translateANDTemplateInstantiation(TextualInstantiation tinst) Translates a instantiation of a hierarchical AND template to a flat (xor) template instantiation
private static void	Flatten.migrateTransitionChildren(org.w3c.dom.Element origTransition, TextualInstantiation tinst, org.w3c.dom.Element newTransition) Browse the children of the original transition, transform them and add them to the new transition (in the specific instantiation)
private static java.lang.String	Flatten.mapID(TextualInstantiation tinst, java.lang.String ID) Maps an ID in a way, such that the output is deterministic the outcome is different for different inputs the outcome is different from flat locations Used in translation of locations &l; components.
private static org.w3c.dom.Element	Flatten.transformLocationToFlat(TextualInstantiation tinst, org.w3c.dom.Element loc) Returns a flat location that corresponds to the hierarchical one, but name is altered IDs are mapped Coordinates are copied
private static org.w3c.dom.Element	Flatten.addRegisteredSynchronisationToTransition(java.lang.String syncText, org.w3c.dom.Element transition, TextualInstantiation tinst) Add synchronization and provide registration in {@see ChannelRegistry} Returns the synchronisation Element (only necessary for original (hierarchical) synchronizations)
private static org.w3c.dom.Element	Flatten.addRegisteredSendSynchronisationToTransition(java.lang.String syncText, org.w3c.dom.Element transition, TextualInstantiation tinst) Add SEND synchronization and provide registration in {@see ChannelRegistry} Returns the synchronisation Element (only necessary for original (hierarchical) synchronizations) ??? necessary ???
private static org.w3c.dom.Element	Flatten.addRegisteredReceiveSynchronisationToTransition(java.lang.String syncText, org.w3c.dom.Element transition, TextualInstantiation tinst) Add RECEIVE synchronization and provide registration in {@see ChannelRegistry} Returns the synchronisation Element (only necessary for original (hierarchical) synchronizations) ??? necessary ???
private static java.lang.String	Flatten.getActiveSubcomponentID(TextualInstantiation cpt) Takes the instantiation of the component as an argument and returns the (flat) location-ID, that corresponds to the situation, that this component is active, i.e.
static void	Flatten.memorizeInstantionAndComponentIDToTextualInstantiation(java.lang.String instantiationName, java.lang.String componentID, TextualInstantiation tinst) Remember the mapping from instantiation + componentID to the TextualInstantiaion this component corresponds to. Necessary for computing the target/source-ID of non-elementary transitions
static GlobalJoin	GlobalJoin.getGlobalJoin(org.w3c.dom.Element theRootTransition, TextualInstantiation theTinst) Constructor specifying the root transition (in the hierarchical version) Throws Exception, if HierarchicalDocumentReader.addGuardsAndAssignmentsOfConnectionInContext fails. If the second argument is Flatten.rootInstDummy, then this gobal join is global exit of a component.
void	GlobalJoin.grow(TextualInstantiation tinst, org.w3c.dom.Element exitOrExitpoint) Main method telling the global join to continue to grow, starting with one particular <exit> or <exitpoint> the search for possibly different growth stops, when the listOfExitPoints contains only exits of OR templates/components if a grow is completed, the join is defined completely the last thing that is set is the GlobalJoin.triggerVariable if at some point in the growing, the join has several options to continue, it splits itself according to these options, adds all of the new ones to the Vector GlobalJoin.allGlobalJoins and calls grow() on them
void	HierarchicalDocumentReader.createJoinsForGlobalExits(TextualInstantiation tinst, org.w3c.dom.Element globalEntry) Create the Joins for stopping global elements (direct children of root);
InstantiationTree	InstantiationTree.findNodeWithContent(TextualInstantiation tinst) Returns the node of the tree that contains the specific TextualInstantiation. Returns null, if it is not found.
org.w3c.dom.Element	LocationMapper.migrateOrdinaryLocation(org.w3c.dom.Element loc, TextualInstantiation tinst) Take an ordinary location and return a flattened one. Does NOT migrate all the children (this is job of Flatten, in particular of the methos transformLocationToFlat) and the ID is up to a change later. However, it records a mapping {Location, Component} * TextualInstantiation -> Location that is needed in the translations of global joins.
org.w3c.dom.Element	LocationMapper.mapTextualInstantiationToActiveLocation(TextualInstantiation tinst) for instantiations of AND templates
org.w3c.dom.Element	LocationMapper.mapTextualInstantiationToIdleLocation(TextualInstantiation tinst) for instantiations of XOR/AND templates
org.w3c.dom.Element	LocationMapper.mapHierachicalLocationToFlatOne(org.w3c.dom.Element loc, TextualInstantiation tinst) Computes the mapping {Locations, Components} * TextualInstantiation -> Location Throws an exception, if there is no entry.
org.w3c.dom.Element	LocationMapper.mapTargetToFlatLocation(org.w3c.dom.Element target, TextualInstantiation tinst) Map a (hierarchical) target to the flat location it points to. (If it does not exist yet, invent a new (flat) location for it). If the target point to a basic location, it behaves like
org.w3c.dom.Element	LocationMapper.mapTargetIDEntryrefToFlatLocation(java.lang.String elementID, java.lang.String entryID, TextualInstantiation tinst) Map ID of Element a connection points to and (possibly) the ID of the entry to a coresponding flat location. (If it does not exist yet, invent a new (flat) location for it). If the target point to a basic location, it behaves like
void	TextualInstantiation.setup(java.lang.String objectPrefix, java.util.Vector v, TextualInstantiation fatherPointer, org.w3c.dom.Element tplElement, org.w3c.dom.Element theComponent, org.w3c.dom.Element theTranslation) Is assumed to be called exactly once.

Constructors in with parameters of type TextualInstantiation

InstantiationTree(TextualInstantiation tinst)
Default Constructor

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

TextualInstantiation(java.lang.String objectPrefix, java.util.Vector v, TextualInstantiation fatherPointer, org.w3c.dom.Element tplElement, org.w3c.dom.Element theComponent, org.w3c.dom.Element theTranslation)
Default Constructor objectPrefix gives a hint, in how to name the object such that the origin is derivable The vector gives the list of parameters fatherPrefix is the textual prefix of the father instantiation
it is used for unique naming templateElement is the node in the hierarchical document that is instanciated
(for the kicker, this is null) NOTE:Equivalently, you can call the empty constructor and later call setup(java.lang.String, java.util.Vector, TextualInstantiation, org.w3c.dom.Element, org.w3c.dom.Element, org.w3c.dom.Element) with the same arguments.

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