.externalToolBuilders

.settings

BCEL

Papers

antlr

bin

doc

examples

lib

notizen

src

test

KomplexeMenge

bytecode

parser

plugindevelopment

MartinTestCases

jav

AchimTest1.jav

BoundedType.jav

BoundedType1.jav

BoundedType2.jav

Id.jav

MatrixVectorMul.jav

MatrixWhile.jav

Matrix_lambda.jav

MethodId.jav

MethodIntegerUse.jav

MethodUse.jav

OL.jav

OL2.jav

OL3.jav

Plus1.jav

Plus1_Float_Double.jav

Probleme

SMatrix.jav

Simple.jav

Tester.java

UnifyTest1.jav

UsecaseEight_pl.jav

UsecaseFive_pl.jav

UsecaseFour_pl.jav

UsecaseNine_pl.jav

UsecaseOne_pl.jav

UsecaseSeven_pl.jav

UsecaseSix_pl.jav

UsecaseTen_pl.jav

UsecaseThree_pl.jav

UsecaseThree_pl.orig.jav

UsecaseTwo_pl.jav

Usecase_MUBTest.jav

Usecase_MUBTest1.jav

Usecase_MUBTest2.jav

Usecase_MUBTest3.jav

Usecase_MUBTest4.jav

Usecase_MUBTest5.jav

Usecase_MUBTest6.jav

ZweiKlassen.jav

TypeInsertTests

InsertSingleTypeTest.java

MethodTypeInsertTest.jav

MethodTypeInsertTest.java

MethodTypeInsertTestSolution.jav

ParameterInsertTest.java

ParameterTypeInsertTest.jav

ParameterTypeInsertTestSolution.jav

SingleTypeInsertTest.jav

SyntaxTreeTests.java

TypeInsertSetEqualTest.jav

TypeInsertTester.java

VariableTypeInsertTest.jav

VariableTypeInsertTest.java

VariableTypeInsertTestSolution.jav

syntaxTree

unify

log4jTesting.xml

tools

.classpath

.cvsignore

.gitignore

.project

TODO.md

log4j.xml

Pluemicke Martin 02b17b1a8f Test2 in Test.java hinzugefuegt

2015-09-23 22:17:41 +02:00

..

jav/Lambda_usecases

Revert "Merge branch 'bytecode'"

2015-05-12 19:54:34 +02:00

AchimTest1.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

BoundedType1.jav

Fehler beseitigt

2014-08-28 18:42:40 +02:00

BoundedType2.jav

Fehler beseitigt

2014-08-28 18:42:40 +02:00

BoundedType.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

Id.jav

Revert "Merge branch 'bytecode'"

2015-05-12 19:54:34 +02:00

Matrix_lambda.jav

Test2 in Test.java hinzugefuegt

2015-09-23 22:17:41 +02:00

MatrixVectorMul.jav

Revert "Merge branch 'bytecode'"

2015-05-12 19:54:34 +02:00

MatrixWhile.jav

Revert "Merge branch 'bytecode'"

2015-05-12 19:54:34 +02:00

MethodId.jav

Revert "Merge branch 'bytecode'"

2015-05-12 19:54:34 +02:00

MethodIntegerUse.jav

Revert "Merge branch 'bytecode'"

2015-05-12 19:54:34 +02:00

MethodUse.jav

Revert "Merge branch 'bytecode'"

2015-05-12 19:54:34 +02:00

OL2.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

OL3.jav

Revert "Merge branch 'bytecode'"

2015-05-12 19:54:34 +02:00

OL.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

Plus1_Float_Double.jav

Revert "Merge branch 'bytecode'"

2015-05-12 19:54:34 +02:00

Plus1.jav

Revert "Merge branch 'bytecode'"

2015-05-12 19:54:34 +02:00

Probleme

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

Simple.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

SMatrix.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

Tester.java

Revert "Merge branch 'bytecode'"

2015-05-12 19:54:34 +02:00

UnifyTest1.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

Usecase_MUBTest1.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

Usecase_MUBTest2.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

Usecase_MUBTest3.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

Usecase_MUBTest4.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

Usecase_MUBTest5.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

Usecase_MUBTest6.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

Usecase_MUBTest.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

UsecaseEight_pl.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

UsecaseFive_pl.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

UsecaseFour_pl.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

UsecaseNine_pl.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

UsecaseOne_pl.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

UsecaseSeven_pl.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

UsecaseSix_pl.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

UsecaseTen_pl.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

UsecaseThree_pl.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

UsecaseThree_pl.orig.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

UsecaseTwo_pl.jav

weitere Testcases eingefügt

2014-04-23 17:59:59 +02:00

ZweiKlassen.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00