JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues110 Pull Requests Actions Packages Projects Releases Wiki Activity

Compare commits

..

2 Commits
typeErasur ... strucTypes

Author SHA1 Message Date
Aldaron7
2d598d28e9 Erste Tests für strucTypes 2017-10-18 17:39:16 +02:00
Aldaron7
9faf25d670 Documentation anfügen 2017-10-18 14:30:31 +02:00
1453 changed files with 25865 additions and 49367 deletions
.gitignoreREADME_aktuelle_Branches
doc
Javadoc
allclasses-frame.htmlallclasses-noframe.htmlconstant-values.htmldeprecated-list.htmlhelp-doc.html
index-files
index-1.htmlindex-10.htmlindex-11.htmlindex-12.htmlindex-13.htmlindex-14.htmlindex-15.htmlindex-16.htmlindex-17.htmlindex-18.htmlindex-19.htmlindex-2.htmlindex-20.htmlindex-21.htmlindex-22.htmlindex-23.htmlindex-24.htmlindex-3.htmlindex-4.htmlindex-5.htmlindex-6.htmlindex-7.htmlindex-8.htmlindex-9.html
index.html
mycompiler
MyCompiler.htmlMyCompilerAPI.htmlSourceFile.html
class-use
MyCompiler.htmlMyCompilerAPI.htmlSourceFile.html
mybytecode
Attribute.htmlAttributeInfo.htmlCONSTANT_Class_info.htmlCONSTANT_Double_info.htmlCONSTANT_Fieldref_info.htmlCONSTANT_Float_info.htmlCONSTANT_Integer_info.htmlCONSTANT_InterfaceMethodref_info.htmlCONSTANT_Long_info.htmlCONSTANT_Methodref_info.htmlCONSTANT_NameAndType_info.htmlCONSTANT_String_info.htmlCONSTANT_Utf8_info.htmlCPInfo.htmlClassFile.htmlCodeAttribute.htmlExceptionTable.htmlFieldInfo.htmlJVMCode.htmlKey.htmlMethodInfo.html
class-use
Attribute.htmlAttributeInfo.htmlCONSTANT_Class_info.htmlCONSTANT_Double_info.htmlCONSTANT_Fieldref_info.htmlCONSTANT_Float_info.htmlCONSTANT_Integer_info.htmlCONSTANT_InterfaceMethodref_info.htmlCONSTANT_Long_info.htmlCONSTANT_Methodref_info.htmlCONSTANT_NameAndType_info.htmlCONSTANT_String_info.htmlCONSTANT_Utf8_info.htmlCPInfo.htmlClassFile.htmlCodeAttribute.htmlExceptionTable.htmlFieldInfo.htmlJVMCode.htmlKey.htmlMethodInfo.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
myclass
Class.htmlClassBody.htmlClassDeclId.htmlConstructor.htmlDeclId.htmlExceptionList.htmlFieldDecl.htmlFormalParameter.htmlInstVarDecl.htmlMethod.htmlParameterList.htmlStatus.htmlUsedId.htmlUserDef.html
class-use
Class.htmlClassBody.htmlClassDeclId.htmlConstructor.htmlDeclId.htmlExceptionList.htmlFieldDecl.htmlFormalParameter.htmlInstVarDecl.htmlMethod.htmlParameterList.htmlStatus.htmlUsedId.htmlUserDef.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
myexception
CTypeReconstructionException.htmlJVMCodeException.htmlMatchException.htmlSCClassBodyException.htmlSCClassException.htmlSCExcept.htmlSCException.htmlSCMethodException.htmlSCStatementException.html
class-use
CTypeReconstructionException.htmlJVMCodeException.htmlMatchException.htmlSCClassBodyException.htmlSCClassException.htmlSCExcept.htmlSCException.htmlSCMethodException.htmlSCStatementException.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
mymodifier
Abstract.htmlModifier.htmlModifiers.htmlPrivate.htmlProtected.htmlPublic.htmlStatic.html
class-use
Abstract.htmlModifier.htmlModifiers.htmlPrivate.htmlProtected.htmlPublic.htmlStatic.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
myoperator
AddOp.htmlAndOp.htmlDivideOp.htmlEqualOp.htmlGreaterEquOp.htmlGreaterOp.htmlLessEquOp.htmlLessOp.htmlLogOp.htmlMinusOp.htmlModuloOp.htmlMulOp.htmlNotEqualOp.htmlOperator.htmlOrOp.htmlPlusOp.htmlRelOp.htmlTimesOp.html
class-use
AddOp.htmlAndOp.htmlDivideOp.htmlEqualOp.htmlGreaterEquOp.htmlGreaterOp.htmlLessEquOp.htmlLessOp.htmlLogOp.htmlMinusOp.htmlModuloOp.htmlMulOp.htmlNotEqualOp.htmlOperator.htmlOrOp.htmlPlusOp.htmlRelOp.htmlTimesOp.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
myparser
JavaLexer.htmlJavaParser.htmlJavaParser.yyException.htmlJavaParser.yyInput.htmlScanner.htmlToken.html
class-use
JavaLexer.htmlJavaParser.htmlJavaParser.yyException.htmlJavaParser.yyInput.htmlScanner.htmlToken.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
mystatement
ArgumentList.htmlAssign.htmlBinary.htmlBinaryExpr.htmlBlock.htmlBoolLiteral.htmlCastExpr.htmlCharLiteral.htmlEmptyStmt.htmlExpr.htmlExprStmt.htmlIfStmt.htmlInstVar.htmlInstanceOf.htmlIntLiteral.htmlLiteral.htmlLocalOrFieldVar.htmlLocalVarDecl.htmlMethodCall.htmlNegativeExpr.htmlNewArray.htmlNewClass.htmlNotExpr.htmlNull.htmlPositivExpr.htmlPostDecExpr.htmlPostIncExpr.htmlPreDecExpr.htmlPreIncExpr.htmlReceiver.htmlReturn.htmlStatement.htmlStringLiteral.htmlThis.htmlUnaryExpr.htmlUnaryMinus.htmlUnaryNot.htmlUnaryPlus.htmlWhileStmt.html
class-use
ArgumentList.htmlAssign.htmlBinary.htmlBinaryExpr.htmlBlock.htmlBoolLiteral.htmlCastExpr.htmlCharLiteral.htmlEmptyStmt.htmlExpr.htmlExprStmt.htmlIfStmt.htmlInstVar.htmlInstanceOf.htmlIntLiteral.htmlLiteral.htmlLocalOrFieldVar.htmlLocalVarDecl.htmlMethodCall.htmlNegativeExpr.htmlNewArray.htmlNewClass.htmlNotExpr.htmlNull.htmlPositivExpr.htmlPostDecExpr.htmlPostIncExpr.htmlPreDecExpr.htmlPreIncExpr.htmlReceiver.htmlReturn.htmlStatement.htmlStringLiteral.htmlThis.htmlUnaryExpr.htmlUnaryMinus.htmlUnaryNot.htmlUnaryPlus.htmlWhileStmt.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
mytest
CSimpleTest.html
class-use
CSimpleTest.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
mytype
BaseType.htmlBooleanType.htmlCharacterType.htmlGenericTypeVar.htmlIntegerType.htmlPair.htmlParaList.htmlRefType.htmlReturnType.htmlType.htmlTyploseVariable.htmlVoid.html
class-use
BaseType.htmlBooleanType.htmlCharacterType.htmlGenericTypeVar.htmlIntegerType.htmlPair.htmlParaList.htmlRefType.htmlReturnType.htmlType.htmlTyploseVariable.htmlVoid.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
mytypereconstruction
CHelper.htmlCIntersectionType.htmlCMultiplyTuple.htmlCReconstructionTuple.htmlCSubstitution.htmlCSupportData.htmlCTriple.htmlCTypeReconstructionResult.html
class-use
CHelper.htmlCIntersectionType.htmlCMultiplyTuple.htmlCReconstructionTuple.htmlCSubstitution.htmlCSupportData.htmlCTriple.htmlCTypeReconstructionResult.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
replacementlistener
CReplaceTypeEvent.htmlIReplaceTypeEventProvider.htmlITypeReplacementListener.html
class-use
CReplaceTypeEvent.htmlIReplaceTypeEventProvider.htmlITypeReplacementListener.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
set
CHashtableSet.htmlCMultiplyTupleSet.htmlCReconstructionTupleSet.htmlCSet.htmlCSubstitutionSet.htmlCTripleSet.htmlCTypeAssumptionSet.htmlCVectorSet.htmlIHashSetElement.htmlIHashSetKey.html
class-use
CHashtableSet.htmlCMultiplyTupleSet.htmlCReconstructionTupleSet.htmlCSet.htmlCSubstitutionSet.htmlCTripleSet.htmlCTypeAssumptionSet.htmlCVectorSet.htmlIHashSetElement.htmlIHashSetKey.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
typeassumption
CInstVarTypeAssumption.htmlCLocalVarTypeAssumption.htmlCMethodTypeAssumption.htmlCParaTypeAssumption.htmlCTypeAssumption.html
class-use
CInstVarTypeAssumption.htmlCLocalVarTypeAssumption.htmlCMethodTypeAssumption.htmlCParaTypeAssumption.htmlCTypeAssumption.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
typeassumptionkey
CInstVarKey.htmlCLocalVarKey.htmlCMethodKey.htmlCMethodParaKey.htmlCTypeAssumptionKey.html
class-use
CInstVarKey.htmlCLocalVarKey.htmlCMethodKey.htmlCMethodParaKey.htmlCTypeAssumptionKey.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
unify
FC_TTO.htmlUnify.html
class-use
FC_TTO.htmlUnify.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
unused
ConstantValueAttribute.htmlImport.htmlJavaCompiler.htmlTestClass.html
class-use
ConstantValueAttribute.htmlImport.htmlJavaCompiler.htmlTestClass.html
package-frame.htmlpackage-summary.htmlpackage-tree.htmlpackage-use.html
overview-frame.htmloverview-summary.htmloverview-tree.htmlpackage-list
resources
inherit.gif
serialized-form.htmlstylesheet.css
LambdaJavadoc
de
dhbwstuttgart
syntaxtree
statement
BoolLiteral.htmlCharLiteral.htmlDoubleLiteral.htmlFloatLiteral.htmlIntLiteral.htmlLiteral.htmlLongLiteral.htmlNegativeExpr.htmlNotExpr.htmlNull.htmlPositivExpr.htmlPostDecExpr.htmlPostIncExpr.htmlPreDecExpr.htmlPreIncExpr.htmlStringLiteral.html
class-use
Literal.htmlNegativeExpr.htmlNotExpr.htmlPositivExpr.htmlPostDecExpr.htmlPostIncExpr.htmlPreDecExpr.htmlPreIncExpr.html
OldStuff
ClassDiagram.ucd
JavaDoc
Abstract.htmlAddOp.htmlAndOp.htmlArgumentList.htmlAssign.htmlAttribute.htmlAttributeInfo.htmlBaseType.htmlBinary.htmlBinaryExpr.htmlBlock.htmlBoolLiteral.htmlBooleanType.htmlCONSTANT_Class_info.htmlCONSTANT_Double_info.htmlCONSTANT_Fieldref_info.htmlCONSTANT_Float_info.htmlCONSTANT_Integer_info.htmlCONSTANT_InterfaceMethodref_info.htmlCONSTANT_Long_info.htmlCONSTANT_Methodref_info.htmlCONSTANT_NameAndType_info.htmlCONSTANT_String_info.htmlCONSTANT_Utf8_info.htmlCPInfo.htmlCastExpr.htmlCharLiteral.htmlCharacterType.htmlClass.htmlClassBody.htmlClassDeclId.htmlClassFile.htmlCodeAttribute.htmlConstantValueAttribute.htmlConstructor.htmlDeclId.htmlDivideOp.htmlEmptyStmt.htmlEqualOp.htmlExceptionList.htmlExceptionTable.htmlExpr.htmlExprStmt.htmlFieldDecl.htmlFieldInfo.htmlFormalParameter.htmlGreaterEquOp.htmlGreaterOp.htmlIfStmt.htmlImport.htmlInstVar.htmlInstVarDecl.htmlInstanceOf.htmlIntLiteral.htmlIntegerType.htmlJVMCode.htmlJVMCodeException.htmlJavaCompiler.htmlJavaLexer.htmlJavaParser.htmlJavaParser.yyException.htmlJavaParser.yyInput.htmlKey.htmlLessEquOp.htmlLessOp.htmlLiteral.htmlLocalOrFieldVar.htmlLocalVarDecl.htmlLogOp.htmlMethod.htmlMethodCall.htmlMethodInfo.htmlMinusOp.htmlModifier.htmlModifiers.htmlModuloOp.htmlMulOp.htmlMyCompiler.htmlNegativeExpr.htmlNewArray.htmlNewClass.htmlNoReceiver.htmlNotEqualOp.htmlNotExpr.htmlNull.htmlOperator.htmlOrOp.htmlPair.htmlParaList.htmlParameterList.htmlPlusOp.htmlPositivExpr.htmlPostDecExpr.htmlPostIncExpr.htmlPreDecExpr.htmlPreIncExpr.htmlPrivate.htmlProtected.htmlPublic.htmlReceiver.htmlRefType.htmlRelOp.htmlReturn.htmlReturnType.htmlSCClassBodyException.htmlSCClassException.htmlSCExcept.htmlSCException.htmlSCMethodException.htmlSCStatementException.htmlScanner.htmlSourceFile.htmlStatement.htmlStatic.htmlStatus.htmlStringLiteral.htmlThis.htmlTimesOp.htmlToken.htmlType.htmlTypeSpec.htmlTyploseVariable.htmlUnaryExpr.htmlUnaryMinus.htmlUnaryNot.htmlUnaryPlus.htmlUsedId.htmlUserDef.htmlVoid.htmlWhileStmt.htmlallclasses-frame.htmlallclasses-noframe.html
class-use
Abstract.htmlAddOp.htmlAndOp.htmlArgumentList.htmlAssign.htmlAttribute.htmlAttributeInfo.htmlBaseType.htmlBinary.htmlBinaryExpr.htmlBlock.htmlBoolLiteral.htmlBooleanType.htmlCONSTANT_Class_info.htmlCONSTANT_Double_info.htmlCONSTANT_Fieldref_info.htmlCONSTANT_Float_info.htmlCONSTANT_Integer_info.htmlCONSTANT_InterfaceMethodref_info.htmlCONSTANT_Long_info.htmlCONSTANT_Methodref_info.htmlCONSTANT_NameAndType_info.htmlCONSTANT_String_info.htmlCONSTANT_Utf8_info.htmlCPInfo.htmlCastExpr.htmlCharLiteral.htmlCharacterType.htmlClass.htmlClassBody.htmlClassDeclId.htmlClassFile.htmlCodeAttribute.htmlConstantValueAttribute.htmlConstructor.htmlDeclId.htmlDivideOp.htmlEmptyStmt.htmlEqualOp.htmlExceptionList.htmlExceptionTable.htmlExpr.htmlExprStmt.htmlFieldDecl.htmlFieldInfo.htmlFormalParameter.htmlGreaterEquOp.htmlGreaterOp.htmlIfStmt.htmlImport.htmlInstVar.htmlInstVarDecl.htmlInstanceOf.htmlIntLiteral.htmlIntegerType.htmlJVMCode.htmlJVMCodeException.htmlJavaCompiler.htmlJavaLexer.htmlJavaParser.htmlJavaParser.yyException.htmlJavaParser.yyInput.htmlKey.htmlLessEquOp.htmlLessOp.htmlLiteral.htmlLocalOrFieldVar.htmlLocalVarDecl.htmlLogOp.htmlMethod.htmlMethodCall.htmlMethodInfo.htmlMinusOp.htmlModifier.htmlModifiers.htmlModuloOp.htmlMulOp.htmlMyCompiler.htmlNegativeExpr.htmlNewArray.htmlNewClass.htmlNoReceiver.htmlNotEqualOp.htmlNotExpr.htmlNull.htmlOperator.htmlOrOp.htmlPair.htmlParaList.htmlParameterList.htmlPlusOp.htmlPositivExpr.htmlPostDecExpr.htmlPostIncExpr.htmlPreDecExpr.htmlPreIncExpr.htmlPrivate.htmlProtected.htmlPublic.htmlReceiver.htmlRefType.htmlRelOp.htmlReturn.htmlReturnType.htmlSCClassBodyException.htmlSCClassException.htmlSCExcept.htmlSCException.htmlSCMethodException.htmlSCStatementException.htmlScanner.htmlSourceFile.htmlStatement.htmlStatic.htmlStatus.htmlStringLiteral.htmlThis.htmlTimesOp.htmlToken.htmlType.htmlTypeSpec.htmlTyploseVariable.htmlUnaryExpr.htmlUnaryMinus.htmlUnaryNot.htmlUnaryPlus.htmlUsedId.htmlUserDef.htmlVoid.htmlWhileStmt.htmlyyCheck0.htmlyyCheck1.htmlyyCheckInit.html
constant-values.htmldeprecated-list.htmlhelp-doc.html
index-files
index-1.htmlindex-10.htmlindex-11.htmlindex-12.htmlindex-13.htmlindex-14.htmlindex-15.htmlindex-16.htmlindex-17.htmlindex-18.htmlindex-19.htmlindex-2.htmlindex-20.htmlindex-21.htmlindex-22.htmlindex-23.htmlindex-24.htmlindex-3.htmlindex-4.htmlindex-5.htmlindex-6.htmlindex-7.htmlindex-8.htmlindex-9.html
index.htmloverview-tree.htmlpackage-listpackage-use.htmlpackages.htmlserialized-form.htmlstylesheet.cssyyCheck0.htmlyyCheck1.htmlyyCheckInit.html
Operator.ucdRest.ucd
Rest
ClassDiagram.pdfClassDiagram.svgClassFile.pdfCompiler.pdfCompiler1.zipCompiler2.zipCompiler3.zipCompiler4.zipExceptions.pdfJavaParser.pdfJavaVirtualMachineSpec.pdfModifier.pdfOperator.jpgOperator.pdfOperator.svgParameterizedTypesSpec.pdfRest.jpgRest.svgStatement.jpgStatement.pdfStatement.svgStudienarbeit.pdfUnbekannte Klassen.pdfcvs.pdfvmspec.zip
Statement.ucdUML Juni 2005.zip
Papers
HowToUpdateTheCoreInThePlugin.doc.txtPaper_Martin_Pluemicke_Typinferenz_in_Java.pdfTypeless_programming_in_Java_Martin_Pluemicke_pppj2006.pdfTypinferenzInJava8.pdfTypinferenzInJava8Anpassung.png
PluginBau.pdf
Studienarbeiten
.new.StudienarS2003_Felix_Reichenbach.pdfS2004_Markus_Haas.pdfS2004_Thomas_Ott.pdfS2005_Joerg_Baeuerle.pdfS2005_Markus_Melzer.pdfS2006_Juergen_Schmiing.pdfS2006_Thomas_Hornberger.pdfS2006_Timo_Holzherr.pdfS2007_Achim_Burger.pdfS2007_Arne_Luedtke.pdfS2008_Christian_Stresing.pdfS2008_Thorsten_Hake.pdfS2008_Thorsten_Hake_Christian_Stresing_Eclipse_Plugin.pdfS2008_Thorsten_Hake_Christian_Stresing_Testing.pdfS2016_Enrico_Schroedter.pdfS2016_Florian_Steurer.pdfS2017_Jan-Elric_Neumann.pdf
UML
Klassendiagramm.cdrKlassendiagramm.pdfmycompiler.pngmycompiler_mybytecode.pngmycompiler_myclass.pngmycompiler_myexception.pngmycompiler_mymodifier.pngmycompiler_myoperator.pngmycompiler_myparser.pngmycompiler_mystatement.pngmycompiler_mytest.pngmycompiler_mytype.pngmycompiler_mytypereconstruction.pngmycompiler_mytypereconstruction_replacementlistener.pngmycompiler_mytypereconstruction_set.pngmycompiler_mytypereconstruction_typeassumption.pngmycompiler_mytypereconstruction_typeassumptionkey.pngmycompiler_mytypereconstruction_unify.png
parser.md
logFiles
.gitkeep
pom.xml
src
build_compiler.sh
de
dhbwstuttgart
.DS_Store
bytecode
BytecodeGen.javaBytecodeGenLambda.javaBytecodeGenMethod.javaClassFile.javaDescriptor.javaTest.javaTestClass.javaTestFields.javaTestIf.javaTestMeth.javaTetsF.java
core
ConsoleInterface.javaIItemWithOffset.javaJavaTXCompiler.java
environment
CompilationEnvironment.javaPackageCrawler.java
exceptions
DebugException.javaNotImplementedException.javaParserError.javaTypeinferenceException.java
parser
JavaTXParser.javaNullToken.java
SyntaxTreeGenerator
AssignToLocal.javaGenericContext.javaStatementGenerator.javaSyntacticSugar.javaSyntaxTreeGenerator.javaTypeGenerator.java
TODO
antlr
Java8.g4Java8.tokensJava8BaseListener.javaJava8Lexer.javaJava8Lexer.tokensJava8Listener.javaJava8Parser.java
notes
GetNamesTODOquestions
parse_tree
scope
GatherNames.javaGenericTypeName.javaGenericsRegistry.javaJavaClassName.javaJavaClassRegistry.java
syntaxtree
ASTVisitor.javaAbstractASTWalker.javaClassOrInterface.javaConstructor.javaExceptionList.javaField.javaFieldDeclaration.javaFormalParameter.javaGenericDeclarationList.javaGenericTypeVar.javaMethod.javaParameterList.javaSourceFile.javaStatementVisitor.javaSyntaxTreeNode.javaTypeScope.java
factory
ASTFactory.javaNameGenerator.javaPrimitiveMethodsGenerator.javaUnifyTypeFactory.java
statement
ArgumentList.javaAssign.javaAssignLeftSide.javaAssignToField.javaBinary.javaBinaryExpr.javaBlock.javaCastExpr.javaDoStmt.javaEmptyStmt.javaExpression.javaExpressionReceiver.javaFieldVar.javaForStmt.javaIfStmt.javaInstanceOf.javaLambdaExpression.javaLocalVar.javaLocalVarDecl.javaMethodCall.javaNegativeExpr.javaNewArray.javaNewClass.javaNotExpr.javaPositivExpr.javaPostDecExpr.javaPostIncExpr.javaPreDecExpr.javaPreIncExpr.javaReceiver.javaReturn.javaReturnVoid.javaStatement.javaStaticClassName.javaSuper.javaSuperCall.javaThis.javaThisCall.javaTypableStatement.javaUnaryExpr.javaUnaryMinus.javaUnaryNot.javaUnaryPlus.javaWhileStmt.java
literal
BoolLiteral.javaCharLiteral.javaLiteral.javaNull.javaNumberLiteral.javaStringLiteral.java
type
ExtendsWildcardType.javaFunN.javaGenericRefType.javaRefType.javaRefTypeOrTPHOrWildcardOrGeneric.javaSuperWildcardType.javaTypePlaceholder.javaVoid.javaWildcardType.java
visual
ASTPrinter.javaASTTypePrinter.javaOutputGenerator.javaTypeOutputGenerator.java
typedeployment
TypeInsert.javaTypeInsertFactory.javaTypeInsertPlacer.javaTypeInsertPoint.java
typeinference
assumptions
Assumption.javaFieldAssumption.javaMethodAssumption.javaTypeInferenceBlockInformation.javaTypeInferenceInformation.javaTypeScopeContainer.java
constraints
Constraint.javaConstraintSet.javaConstraintsFactory.javaGenericsResolver.javaPair.java
result
GenericInsertPair.javaPairTPHequalRefType.javaPairTPHsmallerTPH.javaResolvedType.javaResultPair.javaResultSet.javaResultSetVisitor.java
typeAlgo
TYPE.javaTYPEStmt.java
unify
GuavaSetOperations.javaMartelliMontanariUnify.javaRuleSet.javaTypeUnify.javaTypeUnifyTask.javaUnifikationsalgorithmus.java
interfaces
IFiniteClosure.javaIRuleSet.javaISetOperations.javaIUnify.java
model
ExtendsType.javaFiniteClosure.javaFunNType.javaNode.javaPairOperator.javaPlaceholderType.javaReferenceType.javaSuperType.javaTypeParams.javaUnifier.javaUnifyPair.javaUnifyType.javaWildcardType.java
main
antlr4
java8
Java8.tokensJava8Lexer.tokens
sat
UnifyResult.g4UnifyResult.tokensUnifyResultLexer.tokens
java
de
dhbwstuttgart
bytecode
AStatement.javaArgumentExpr.javaAssignStmt.javaBytecodeGen.javaBytecodeGenMethod.java
Exception
BytecodeGeneratorError.javaNotFoundException.javaNotInCurrentPackageException.java
IStatement.javaIfStatement.javaLoopStmt.javaReturnStmt.javaTPHExtractor.java
constraint
EqualConstraint.javaExtendsConstraint.javaTPHConstraint.java
descriptor
DescriptorToString.javaDescriptorVisitor.javaTypeToDescriptor.java
genericsGenerator
ConstraintsSimplierResult.javaConstraintsSimplifier.javaCyclesFinder.javaGeneratedGenericsFinder.javaGenericsGenerator.javaGenericsGeneratorUtility.java
genericsGeneratorTypes
ConstraintsWithSameLeftSide.javaCycle.javaGenericGeneratorResultsForAllMethods.javaGenericGenratorResultForSourceFile.javaGenericsGeneratorResult.javaGenericsGeneratorResultForClass.javaMethodAndConstraints.javaNameReplacementResult.java
insertGenerics
ClassConstraint.javaFamilyOfGeneratedGenerics.javaGGenerics.javaMethodConstraint.javaPairMethodAndConstraint.javaPairTphMethod.javaPositionFinder.javapreGGenerics.java
signature
Signature.javaTypeToSignature.javaTypeToString.java
simplifyRes
GenericGenratorResultForSourceFile.javaGenericsGeneratorResultForClass.java
utilities
ByteCodeForFunNGenerator.javaCONSTANTS.javaConstraintsFinder.javaKindOfLambda.javaLambda.javaMethodAndTPH.javaMethodCallHelper.javaMethodFromMethodCall.javaMethodUtility.javaNameReplacer.javaNormalConstructor.javaNormalMethod.javaResolver.javaSamMethod.java
core
ConsoleInterface.javaJavaTXCompiler.java
environment
CompilationEnvironment.javaDirectoryClassLoader.java
parser
SyntaxTreeGenerator
FCGenerator.java
antlr
Java8.tokensJava8Lexer.javaJava8Lexer.tokens
syntaxtree
GenericDeclarationList.java
statement
BinaryExpr.javaJavaInternalExpression.javaLiteral.javaStatement.javaSuperCall.javaUnaryExpr.java
type
TypeVisitor.java
visual
ResultSetOutputGenerator.javaResultSetPrinter.java
typedeployment
KindOfTypeInsertPoint.javaTypeInsert.javaTypeInsertFactory.javaTypeInsertPoint.java
typeinference
assumptions
FieldAssumption.javaFunNClass.javaMethodAssumption.java
constraints
Constraint.javaConstraintSet.java
result
PairNoResult.javaPairTPHEqualTPH.javaResultPair.javaResultPairVisitor.java
typeAlgo
GenericsResolverSameName.javaTYPEStmt.java
unify
Match.javaTypeUnify.javaTypeUnify2Task.javaTypeUnifyTask.javaUnifyResultEvent.javaUnifyResultListener.javaUnifyResultListenerImpl.javaUnifyResultModel.javaUnifyTaskModel.javadistributeVariance.javafreshPlaceholder.java
interfaces
IMatch.javaUnifyTypeVisitor.java
model
FiniteClosure.javaOrderingExtend.javaOrderingUnifyPair.javaPair.javaUnifyPair.javahashKeyType.java
visitUnifyTypeVisitor.java
test
java
AllgemeinTest.java
bytecode
BinaryTest.javaClassGenLamTest.javaFacTest.javaFacultyTest.javaFieldTest.javaFieldTph2Test.javaFieldTphConsMethTest.javaFieldTphMMethTest.javaGenTest.javaGreaterEqualTest.javaGreaterThanTest.javaIdTest.javaInfTest.javaInheritTest.javaInheritTest2.javaKompTphTest.javaLambdaCapturetest.javaLambdaTest.javaLambdaVoidTest.javaLessEqualTest.javaLessThanTest.javaMatrixOpTest.javaMatrixTest.javaMergeTest.javaOLFunTest.javaOLTest.javaOpTest.javaOverloadingSortingTest.javaOverloadingTest.javaPlusTest.javaPostIncTest.javaPreIncTest.javaPutTest.javaRelOpsTest.javaSimpleCycleTest.javaSortingTest.javaSubMatTest.javaTph2Test.javaTph3Test.javaTph5Test.javaTph6Test.javaTphTest.javaTypedIDTest.javaVectorAddTest.javaVectorSuperTest.javaWhileTest.javaYTest.javaapplyLambdaTest.javamathStrucIntegerTest.javamathStrucMatrixOPTest.java.txtmathStrucTest.javamathStrucVectorAddTest.java.txt
constraintSimplify
FamilyOfGenerics.java
finiteClosure
SuperInterfacesTest.java
general
TestCleanUp.java
insertGenerics
FamilyOfGeneratedGenericsTest.javaTestAny.javaTestClassField.javaTestContraVariant.javaTestExample42.javaTestExample42_allInOneMethod.javaTestGGFinder.javaTestLocalVarLambda.javaTestMutualRecursion.javaTestReturnVar.javaTestSecondLineOfClassConstraints.javaTestTPHsAndGenerics.javaTestTPHsAndGenerics2.javaTestThreeArgs.javaTestTransitiveClosure.javaTestTwoArgs.javaTestTwoArgs2.javaTestTwoCalls.javaTestVector.javaTestVectorArg.java
packages
Bytecode.javaCheckPackageFolder.javaConsoleInterfaceTest.javaImportTest.javaLoadDefaultPackageClassesTest.javaOLOneFileTest.javaOLTest.javaParsePackageName.javamathStrucMatrixOPTest.java.txtmathStrucVectorTest.java
parser
ExtendsTest.javOpratorTest.javPackageNameTest.jav
typeinference
JavaTXCompilerTest.javaMeth_GenTest.javaUnifyTest.java
visualisation
ToString.java
resources
AllgemeinTest
FCTest1.javFCTest2.javFCTest3.javGenTest.javGenerics.javOverloadingMain.javOverloading_Generics.javOverrideMain.javOverrideMainRet.javPair.java
bytecode
javFiles
AA.javAssignToLit.javBB.javBinaryInMeth.javCC.javClassGenLam.javDD.javDuMethod.javEmptyMethod.javExample.javExceptions.javFac.javFaculty.javFaculty2.javField.javFieldTph.javFieldTph2.javFieldTphConsMeth.javFieldTphMMeth.javFor.javFunOL.javGen.javGenerics.javGenerics2.javGreaterEqual.javGreaterThan.javId.javIfTest.javInf.javInherit.javInherit2.javInterface1.javKompTph.javLamRunnable.javLambda.javLambda2.javLambdaCapture.javLambdaVoid.javLessEqual.javLessThan.javMatrix.javMatrixOP.javMerge.javMethods.javOL.javOLFun.javOp.javOp2.javOverlaodGen.javOverloading.javPlus.javPostIncDec.javPreInc.javPut.javRecursiveMeth.javRelOps.javReturnMethod.javSimpleCycle.javSorting.javStaticM.javSubMatrix.javTph.javTph2.javTph3.javTph4.javTph5.javTph6.javTypedID.javVectorAdd.javVectorSuper.javVoidMeth.javWC.javWhile.javY.javapplyLambda.javmathStruc.javmathStrucInteger.javmathStrucMatrixOP.jav
insertGenericsJav
TestAny.javTestClassField.javTestContraVariant.javTestGGFinder.javTestLocalVarLambda.javTestMutualRecursion.javTestMutualRecursionWithField.javTestMutualRecursionWithField2.javTestMutualRecursionWithField3.javTestReturnVar.javTestSecondLineOfClassConstraints.javTestTPHsAndGenerics.javTestTPHsAndGenerics2.javTestThreeArgs.javTestTwoArgs.javTestTwoArgs2.javTestTwoCalls.javTestVector.javTestVectorArg.javTestVoidMeth.jav
javFiles
AddLong.javExpressions.javFC_Matrix.javFaculty.javFacultyIf.javFields.javIfTest.javLambda.javLambda3.javLambdaField.javLambdaRunnable.javListenerOverload.javMatrix.javMeth_Gen.javMethodCallGenerics.javPackage.javSorting.javVector.javmathStruc.jav
packageTest
Gen.javOLMain.javOLOneFile.javOLTest.txtOLextends.javPair2.javTest.javUseOLMain.java
de
test
ImportTest.javImportTest2.javImportTestDefault.javOL.javPair.javTestClass.javToImport.javmathStruc.javmathStrucVector.jav
output
de
test
mathStrucVectoruse.java
mathStrucVectoruse.java
packageNameTestWrongPackage.jav
subpackage1
Test1.javToImport2.jav
subpackage2
Test2.javToImport3.jav
vectorAdd.jav
log4jTesting.xml
testBytecode
generatedBC
.gitignore
manually
Fac1.javaFac2.javaLamAssign.javaLamAssignWithM.javaLamWithAnField.javaLamWithField.javaReturnM1.java
test
astfactory
ASTFactoryTest.java
bytecode
JavaTXCompilerTest.java
javFiles
EmptyClass.javEmptyMethod.javFaculty.javGenerics.javImport.javLambda.javLambda2.javLambda3.javMatrix.javMethods.javMethodsEasy.javOp1.javSubclass.javSuperclass.javVector.javfc.javmathStruc.javtest.javtest1.jav
log4jTesting.xml
parser
AntlrTest.javBoundedParameter.javCastTest.javFeatherWeightJava.javFieldInitializationTest.javFieldVarTest.javGeneralParserTest.javaGenericFieldVarTest.javImportTest.javImportTest2.javImportTestGeneric.javNewTest.javStatementsTest.javStructuralTypes.javWhileTest.jav
strucType
Test.java
javFiles
test.jav
typeinference
FacultyTest.javaFiniteClosureTest.javaGenericsTest.javaJavaTXCompilerTest.javaLambda2Test.javaLambda3Test.javaLambdaTest.javaVectorTest.javamathStrucTest.java
unify
Test.java
testBytecode
Field.javaImport.javaLam1.javaLamRun.javaMethFieldVar.javaSubclass.javaSuperTest.javaSuperclass.javaTestMyTest.javapublictestF.javatestTets.javatestTetsF.java

9
.gitignore vendored

@ -20,12 +20,3 @@ bin
.project
.settings/
/target/
#
manually/
logFiles/**
!logFiles/.gitkeep
src/main/java/de/dhbwstuttgart/parser/antlr/
src/main/java/de/dhbwstuttgart/sat/asp/parser/antlr/

10
README_aktuelle_Branches

@ -1,10 +0,0 @@
Stand: 24.5.21
bigRefactoring: Master-Brach
bigRefactoringUnifyComment: Dokumentation Unify, Martin
bytecodeGenericsSecond: Generated Generics, Ali, Martin
inferWildcards, Wildcards, Till
master, derzeit nicht genutzt
plugin, eigemntlicher Branch fuer Plugin-Basis, derzeit nicht aktuelle (aktuelle Version in simplifyRes
simplifyRes, Basis fuer Plugin, sollte auf Plugin gemerged werden, noch keine Packages, Michael
strucTypesNew, Struturelle Typen, alte Basis, arbeite derzeit niemand

0
doc/Javadoc/allclasses-frame.html Executable file → Normal file

0
doc/Javadoc/allclasses-noframe.html Executable file → Normal file

0
doc/Javadoc/constant-values.html Executable file → Normal file

0
doc/Javadoc/deprecated-list.html Executable file → Normal file

0
doc/Javadoc/help-doc.html Executable file → Normal file

0
doc/Javadoc/index-files/index-1.html Executable file → Normal file

0
doc/Javadoc/index-files/index-10.html Executable file → Normal file

0
doc/Javadoc/index-files/index-11.html Executable file → Normal file

0
doc/Javadoc/index-files/index-12.html Executable file → Normal file

0
doc/Javadoc/index-files/index-13.html Executable file → Normal file

0
doc/Javadoc/index-files/index-14.html Executable file → Normal file

0
doc/Javadoc/index-files/index-15.html Executable file → Normal file

0
doc/Javadoc/index-files/index-16.html Executable file → Normal file

0
doc/Javadoc/index-files/index-17.html Executable file → Normal file

0
doc/Javadoc/index-files/index-18.html Executable file → Normal file

0
doc/Javadoc/index-files/index-19.html Executable file → Normal file

0
doc/Javadoc/index-files/index-2.html Executable file → Normal file

0
doc/Javadoc/index-files/index-20.html Executable file → Normal file

0
doc/Javadoc/index-files/index-21.html Executable file → Normal file

0
doc/Javadoc/index-files/index-22.html Executable file → Normal file

0
doc/Javadoc/index-files/index-23.html Executable file → Normal file

0
doc/Javadoc/index-files/index-24.html Executable file → Normal file

0
doc/Javadoc/index-files/index-3.html Executable file → Normal file

0
doc/Javadoc/index-files/index-4.html Executable file → Normal file

0
doc/Javadoc/index-files/index-5.html Executable file → Normal file

0
doc/Javadoc/index-files/index-6.html Executable file → Normal file

0
doc/Javadoc/index-files/index-7.html Executable file → Normal file

0
doc/Javadoc/index-files/index-8.html Executable file → Normal file

0
doc/Javadoc/index-files/index-9.html Executable file → Normal file

0
doc/Javadoc/index.html Executable file → Normal file

0
doc/Javadoc/mycompiler/MyCompiler.html Executable file → Normal file

0
doc/Javadoc/mycompiler/MyCompilerAPI.html Executable file → Normal file

0
doc/Javadoc/mycompiler/SourceFile.html Executable file → Normal file

0
doc/Javadoc/mycompiler/class-use/MyCompiler.html Executable file → Normal file

0
doc/Javadoc/mycompiler/class-use/MyCompilerAPI.html Executable file → Normal file

0
doc/Javadoc/mycompiler/class-use/SourceFile.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/Attribute.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/AttributeInfo.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CONSTANT_Class_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CONSTANT_Double_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CONSTANT_Fieldref_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CONSTANT_Float_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CONSTANT_Integer_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CONSTANT_InterfaceMethodref_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CONSTANT_Long_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CONSTANT_Methodref_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CONSTANT_NameAndType_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CONSTANT_String_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CONSTANT_Utf8_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CPInfo.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/ClassFile.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/CodeAttribute.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/ExceptionTable.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/FieldInfo.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/JVMCode.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/Key.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/MethodInfo.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/Attribute.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/AttributeInfo.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CONSTANT_Class_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CONSTANT_Double_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CONSTANT_Fieldref_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CONSTANT_Float_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CONSTANT_Integer_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CONSTANT_InterfaceMethodref_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CONSTANT_Long_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CONSTANT_Methodref_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CONSTANT_NameAndType_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CONSTANT_String_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CONSTANT_Utf8_info.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CPInfo.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/ClassFile.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/CodeAttribute.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/ExceptionTable.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/FieldInfo.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/JVMCode.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/Key.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/class-use/MethodInfo.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/package-frame.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/package-summary.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/package-tree.html Executable file → Normal file

0
doc/Javadoc/mycompiler/mybytecode/package-use.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/Class.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/ClassBody.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/ClassDeclId.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/Constructor.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/DeclId.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/ExceptionList.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/FieldDecl.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/FormalParameter.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/InstVarDecl.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/Method.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/ParameterList.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/Status.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/UsedId.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/UserDef.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/class-use/Class.html Executable file → Normal file

0
doc/Javadoc/mycompiler/myclass/class-use/ClassBody.html Executable file → Normal file

Some files were not shown because too many files have changed in this diff Show More