merged
This commit is contained in:
commit
7ef990ef08
2
bin/.gitignore
vendored
2
bin/.gitignore
vendored
@ -1,2 +0,0 @@
|
|||||||
/de/
|
|
||||||
/plugindevelopment/
|
|
@ -744,7 +744,8 @@ public class ClassFile
|
|||||||
|
|
||||||
// Datei vorbereiten
|
// Datei vorbereiten
|
||||||
//File file = new File(MyCompiler.getAPI().getOutputDir()
|
//File file = new File(MyCompiler.getAPI().getOutputDir()
|
||||||
File file = new File ("/Users/pl/forschung/PIZZA+/JVM_Generics/Testfiles/"
|
File file = new File ("/Users/pl/ResearchPapers/PIZZA+/Intersection_Types/"
|
||||||
|
//File file = new File ("/Users/pl/ResearchPapers/PIZZA+/JVM_Generics/Testfiles/"
|
||||||
+ class_name + ".class");
|
+ class_name + ".class");
|
||||||
FileOutputStream f = new FileOutputStream(file);
|
FileOutputStream f = new FileOutputStream(file);
|
||||||
|
|
||||||
|
@ -2400,7 +2400,7 @@ throws MatchException
|
|||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
//Wildcard ergänzt PL 12-12-05
|
//Wildcard ergänzt PL 14-12-05
|
||||||
if ( T instanceof ExtendsWildcardType )
|
if ( T instanceof ExtendsWildcardType )
|
||||||
{
|
{
|
||||||
Type Temp = ((ExtendsWildcardType) T).get_ExtendsType();
|
Type Temp = ((ExtendsWildcardType) T).get_ExtendsType();
|
||||||
@ -2415,7 +2415,7 @@ throws MatchException
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
//Wildcard ergänzt PL 14-12-05
|
||||||
if ( T instanceof SuperWildcardType )
|
if ( T instanceof SuperWildcardType )
|
||||||
{
|
{
|
||||||
Type Temp = ((SuperWildcardType) T).get_SuperType();
|
Type Temp = ((SuperWildcardType) T).get_SuperType();
|
||||||
|
Loading…
Reference in New Issue
Block a user