JavaTXCompilerInJavaTX/test/plugindevelopment/MartinTestCases/MatrixVectorMul.jav

import de.dhbwstuttgart.typeinference.Menge;

class Matrix extends Menge<Menge<Integer>> {

  	mvmul(Menge<Integer> v) {
  		i;
		ele;
		v.add(1);
		while (i < v.size()) {
			
			ele = 5 + v.elementAt(i);
		}
	}
}