JavaPatternMatching/resources/bytecode/javFiles/PostIncDec.jav

import java.lang.Integer;

public class PostIncDec {
	m() {
		var i = 0;
		i++;
		return i;
	}
	
	m2() { 
		var i = 0;
		var j = i++;
		return j;
	}
	
	d() {
		var i = 0;
		i--;
		return i;
	}
	
	d2() { 
		var i = 0;
		var j = i--;
		return j;
	}
}