Class SourceFile

java.lang.Object
  |
  +--SourceFile

public class SourceFile

extends java.lang.Object

Field Summary

de.dhbwstuttgart.typeinference.Menge

KlassenVektor

Constructor Summary

SourceFile()

Method Summary

(package private) Pair	adapt(java.lang.String strTV, Type T, de.dhbwstuttgart.typeinference.Menge vRFC, de.dhbwstuttgart.typeinference.Menge vRE)
void	codegen(boolean system_out)
(package private) boolean	hasSolvedForm(de.dhbwstuttgart.typeinference.Menge E)
(package private) Pair	isInFC(RefType R1, RefType R2, de.dhbwstuttgart.typeinference.Menge 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)
de.dhbwstuttgart.typeinference.Menge	makeFC()
int	pi(int n, java.lang.String C, java.lang.String D)
void	printMenge(java.lang.String strMenge, de.dhbwstuttgart.typeinference.Menge 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)
de.dhbwstuttgart.typeinference.Menge	unify(de.dhbwstuttgart.typeinference.Menge E, de.dhbwstuttgart.typeinference.Menge FC)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

KlassenVektor

public de.dhbwstuttgart.typeinference.Menge KlassenVektor

Constructor Detail

SourceFile

public SourceFile()

Method Detail

sc_check

public void sc_check(boolean ext)
              throws SCException

SCException

makeFC

public de.dhbwstuttgart.typeinference.Menge makeFC()

unify

public de.dhbwstuttgart.typeinference.Menge unify(de.dhbwstuttgart.typeinference.Menge E,
                              de.dhbwstuttgart.typeinference.Menge FC)

adapt

Pair adapt(java.lang.String strTV,
           Type T,
           de.dhbwstuttgart.typeinference.Menge vRFC,
           de.dhbwstuttgart.typeinference.Menge vRE)

isRXSimilarRY

boolean isRXSimilarRY(RefType RFC,
                      RefType RY)

isInFC

Pair isInFC(RefType R1,
            RefType R2,
            de.dhbwstuttgart.typeinference.Menge 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,
                       de.dhbwstuttgart.typeinference.Menge E,
                       int nDebug)

hasSolvedForm

boolean hasSolvedForm(de.dhbwstuttgart.typeinference.Menge E)

set_Class

public void set_Class(Class c)

codegen

public void codegen(boolean system_out)