org.rdtdm.rule
Class Substitution

java.lang.Object
  |
  +--org.rdtdm.rule.Substitution

public class Substitution
extends java.lang.Object

Substitution beinhaltet eine beliebige Substitution. D.h. eine Menge von Paaren, wobei ein Paar genau eine Erseutzung darstellt.

Copyright (c) 2001 by Dirk Münstermann
All Rights Reserved

Version:
$Revision: 1.4 $ ($Date: 2001/09/26 12:46:12 $)
Changelog:
 $Log: Substitution.java,v $
 Revision 1.4  2001/09/26 12:46:12  dirk
 insert javadoc comment for the class

 


Author:
Dirk Münstermann

Field Summary
private static int stopit
           
(package private)  java.util.Hashtable sub
           
 
Constructor Summary
Substitution()
           
 
Method Summary
 void addAllSubs(Substitution sub)
           
 void addSub(java.lang.String variable, java.lang.String symbol)
           
 java.lang.Object clone()
           
private  java.util.Hashtable concatenate(java.util.Hashtable leftsubs, java.util.Hashtable rightsubs)
           
 void concatenateLeft(Substitution sub)
          F?gt zwei Substitutionen zusammen, indem die ?bergebene Substitution von links mit der aktuellen Substitution verbunden wird.
 void concatenateRight(Substitution sub)
          F?gt zwei Substitutionen zusammen, indem die ?bergebene Substitution von rechts mit der aktuellen Substitution verbunden wird.
 boolean containsPred(java.lang.String predicate)
           
 boolean containsVar(java.lang.String variable)
           
static java.util.ArrayList createLitVarSubs(RuleSchema rs1, RuleSchema rs2)
          Liefert alle m?glichen Substitutionen zur ?berf?hrung des Regelschemata 1 in das Regelschemata 2.
static java.util.ArrayList createLitVarSubs(Substitution sub, RuleSchema rs1, RuleSchema rs2)
          Liefert ausgehend von einer Teil-Substitution alle m?glichen Voll-Substitutionen zwische zwei Regelschemata zurueck.
static java.util.ArrayList createPredVarSubs(RuleSchema rs1, RuleSchema rs2)
          Liefert alle m?glichen Substitutionen zur ?berf?hrung des Regelschemata 1 in das Regelschemata 2.
static java.util.ArrayList createPredVarSubs(Substitution sub, RuleSchema rs1, RuleSchema rs2)
          Liefert ausgehend von einer Teil-Substitution alle m?glichen Voll-Substitutionen zwische zwei Regelschemata zurueck.
static java.util.Collection createSubstitutions(RuleSchema rs1, RuleSchema rs2)
          Returns a collection of substitutions for rssub rs1 to rs2
 java.util.Hashtable getSubs()
           
 boolean isEmpty()
           
 void replaceKeys(Substitution sub)
          Vertauscht die Schl?ssel.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

sub

java.util.Hashtable sub

stopit

private static int stopit
Constructor Detail

Substitution

public Substitution()
Method Detail

clone

public java.lang.Object clone()
Overrides:
clone in class java.lang.Object

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

addSub

public void addSub(java.lang.String variable,
                   java.lang.String symbol)

addAllSubs

public void addAllSubs(Substitution sub)

getSubs

public java.util.Hashtable getSubs()

containsVar

public boolean containsVar(java.lang.String variable)

containsPred

public boolean containsPred(java.lang.String predicate)

isEmpty

public boolean isEmpty()

replaceKeys

public void replaceKeys(Substitution sub)
Vertauscht die Schl?ssel. Eine Art von Verkn?pfung.

Returns:
Throws:


concatenateLeft

public void concatenateLeft(Substitution sub)
F?gt zwei Substitutionen zusammen, indem die ?bergebene Substitution von links mit der aktuellen Substitution verbunden wird.

Parameters:
sub - Substitution zum Verbinden


concatenateRight

public void concatenateRight(Substitution sub)
F?gt zwei Substitutionen zusammen, indem die ?bergebene Substitution von rechts mit der aktuellen Substitution verbunden wird.

Parameters:
sub - Substitution zum Verbinden


concatenate

private java.util.Hashtable concatenate(java.util.Hashtable leftsubs,
                                        java.util.Hashtable rightsubs)

createSubstitutions

public static java.util.Collection createSubstitutions(RuleSchema rs1,
                                                       RuleSchema rs2)
Returns a collection of substitutions for rssub rs1 to rs2

Parameters:
rs1 - the first ruleschema
rs2 - the second ruleschema
Returns:
a collection of substitutions


createPredVarSubs

public static java.util.ArrayList createPredVarSubs(RuleSchema rs1,
                                                    RuleSchema rs2)
Liefert alle m?glichen Substitutionen zur ?berf?hrung des Regelschemata 1 in das Regelschemata 2.

Parameters:
rs1 - Regelschema 1
rs2 - Regelschema 2
Returns:
Eine ArrayList von Substitutionen f?r die ?bergebenen Regelschemata.


createPredVarSubs

public static java.util.ArrayList createPredVarSubs(Substitution sub,
                                                    RuleSchema rs1,
                                                    RuleSchema rs2)
Liefert ausgehend von einer Teil-Substitution alle m?glichen Voll-Substitutionen zwische zwei Regelschemata zurueck.

Parameters:
sub - Teilsubstitution
rs1 - Regelschema 1
rs2 - Regelschema 2
Returns:
Eine ArrayList von Substitutionen f?r das ?bergebene Regelschema.


createLitVarSubs

public static java.util.ArrayList createLitVarSubs(RuleSchema rs1,
                                                   RuleSchema rs2)
Liefert alle m?glichen Substitutionen zur ?berf?hrung des Regelschemata 1 in das Regelschemata 2.

Parameters:
rs1 - Regelschema 1
rs2 - Regelschema 2
Returns:
Eine ArrayList von Substitutionen f?r die ?bergebenen Regelschemata.


createLitVarSubs

public static java.util.ArrayList createLitVarSubs(Substitution sub,
                                                   RuleSchema rs1,
                                                   RuleSchema rs2)
Liefert ausgehend von einer Teil-Substitution alle m?glichen Voll-Substitutionen zwische zwei Regelschemata zurueck.

Parameters:
sub - Teilsubstitution
rs1 - Regelschema 1
rs2 - Regelschema 2
Returns:
Eine ArrayList von Substitutionen f?r das ?bergebene Regelschema.