Class SourceFile


java.lang.Object

  |

  +--SourceFile


public class SourceFile
extends java.lang.Object


Field Summary
 java.util.Vector KlassenVektor
           
 
Constructor Summary
SourceFile()
           
 
Method Summary
(package private)  Pair adapt(java.lang.String strTV, Type T, java.util.Vector vRFC, java.util.Vector vRE)
           
 void codegen(boolean system_out)
           
(package private)  boolean hasSolvedForm(java.util.Vector E)
           
(package private)  Pair isInFC(RefType R1, RefType R2, java.util.Vector FC)
           
 boolean isRealSubClass(java.lang.String Basis, java.lang.String Mutter)
           
(package private)  boolean isRXSimilarRY(RefType RFC, RefType RY)
           
(package private)  boolean isTVinRefType(TyploseVariable TV, RefType RT)
           
 java.util.Vector makeFC()
           
 int pi(int n, java.lang.String C, java.lang.String D)
           
 void printMenge(java.lang.String strMenge, java.util.Vector E, int nDebug)
           
 void sc_check(boolean ext)
           
 void set_Class(Class c)
           
(package private)  void Subst(Pair P, int nTypnrInPair, TyploseVariable a, RefType o, boolean bMitVorbedingung)
           
 java.util.Vector unify(java.util.Vector E, java.util.Vector FC)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

KlassenVektor


public java.util.Vector KlassenVektor
Constructor Detail

SourceFile


public SourceFile()
Method Detail

sc_check


public void sc_check(boolean ext)
              throws SCException
SCException

makeFC


public java.util.Vector makeFC()

unify


public java.util.Vector unify(java.util.Vector E,
                              java.util.Vector FC)

adapt


Pair adapt(java.lang.String strTV,
           Type T,
           java.util.Vector vRFC,
           java.util.Vector vRE)

isRXSimilarRY


boolean isRXSimilarRY(RefType RFC,
                      RefType RY)

isInFC


Pair isInFC(RefType R1,
            RefType R2,
            java.util.Vector FC)

isTVinRefType


boolean isTVinRefType(TyploseVariable TV,
                      RefType RT)

Subst


void Subst(Pair P,
           int nTypnrInPair,
           TyploseVariable a,
           RefType o,
           boolean bMitVorbedingung)

isRealSubClass


public boolean isRealSubClass(java.lang.String Basis,
                              java.lang.String Mutter)

pi


public int pi(int n,
              java.lang.String C,
              java.lang.String D)
       throws SCException
SCException

printMenge


public void printMenge(java.lang.String strMenge,
                       java.util.Vector E,
                       int nDebug)

hasSolvedForm


boolean hasSolvedForm(java.util.Vector E)

set_Class


public void set_Class(Class c)

codegen


public void codegen(boolean system_out)