JavaPatternMatching/src/test/resources/bytecode/javFiles/Fac.jav

import java.lang.Integer;
//import java.lang.Double;

public class Fac  {
	
	getFac(java.lang.Integer n){
		var res = 1;
		var i = 1;
		while(i<=n) {
			res = res * i;
			i++;
		}
		return res;
	}
}