FC ohne java.lang generieren

This commit is contained in:
JanUlrich 2017-12-20 15:27:39 +01:00
parent 55be865ab4
commit 009a638c9a

View File

@ -83,6 +83,7 @@ public class JavaTXCompiler {
//Alle Importierten Klassen in allen geparsten Sourcefiles kommen ins FC //Alle Importierten Klassen in allen geparsten Sourcefiles kommen ins FC
for(SourceFile sf : this.sourceFiles.values()) { for(SourceFile sf : this.sourceFiles.values()) {
//allClasses.addAll(getAvailableClasses(sf)); //allClasses.addAll(getAvailableClasses(sf));
allClasses.addAll(sf.getClasses());
} }
final ConstraintSet<Pair> cons = getConstraints(); final ConstraintSet<Pair> cons = getConstraints();