/**
  *
  *                      OOAS Compiler
  *
  *       Copyright 2015, AIT Austrian Institute of Technology.
  * This code is based on the C# Version of the OOAS Compiler, which is
  * copyright 2015 by the Institute of Software Technology, Graz University
  * of Technology with portions copyright by the AIT Austrian Institute of
  * Technology. All rights reserved.
  *
  * SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED.
  *
  * If you modify the file please update the list of contributors below to in-
  * clude your name. Please also stick to the coding convention of using TABs
  * to do the basic (block-level) indentation and spaces for anything after
  * that. (Enable the display of special chars and it should be pretty obvious
  * what this means.) Also, remove all trailing whitespace.
  *
  * Contributors:
  *               Willibald Krenn (AIT)
  *               Stephan Zimmerer (AIT)
  *               Markus Demetz (AIT)
  *               Christoph Czurda (AIT)
  *
  */


package org.momut.ooas.math;


public final class SaturatedIntegerOperations extends Operations<Integer>{
	public static final class SatIntegerBasicOps extends BasicOps<Integer> {
		@Override
		public Integer unMinus(Integer input) {
			return input == Integer.MIN_VALUE ? Integer.MAX_VALUE : -input;
		}
		@Override
		public Integer minus(Integer inputA, Integer inputB) {
			if (inputB < 0)
				return (inputA > Integer.MAX_VALUE + inputB) ? Integer.MAX_VALUE : inputA - inputB;
			else
				return (inputA < Integer.MIN_VALUE + inputB) ? Integer.MIN_VALUE : inputA - inputB;
		}
		@Override
		public Integer plus(Integer inputA, Integer inputB) {
			if (inputB < 0)
				return (inputA < Integer.MIN_VALUE - inputB) ? Integer.MIN_VALUE : inputA + inputB;
			else
				return (inputA > Integer.MAX_VALUE - inputB) ? Integer.MAX_VALUE : inputA + inputB;
		}
		@Override
		public Integer div(Integer inputA, Integer inputB) {
			//FIXME: checked { return a / b; };
			return inputA / inputB;
		}
		@Override
		public Integer pow(Integer inputA, Integer inputB) {
			long tmp = (long) Math.pow(inputA, inputB);
			if (tmp < Integer.MIN_VALUE) return Integer.MIN_VALUE;
			else if (tmp > Integer.MAX_VALUE) return Integer.MAX_VALUE;
			else return (int)tmp;
		}
		@Override
		public Integer prod(Integer inputA, Integer inputB) {
			long tmp = (long)inputA * (long)inputB;
			if (tmp < Integer.MIN_VALUE) return Integer.MIN_VALUE;
			else if (tmp > Integer.MAX_VALUE) return Integer.MAX_VALUE;
			else return (int)tmp;
		}
		@Override
		public Integer mod(Integer inputA, Integer inputB) {return inputA % inputB;}
		@Override
		public boolean equal(Integer inputA, Integer inputB) {return inputA.equals(inputB);}
		@Override
		public boolean smaller(Integer inputA, Integer inputB) {return inputA < inputB;}
		@Override
		public boolean greater(Integer inputA, Integer inputB){return inputA > inputB;}
		@Override
		public Integer getDefaultValue() {return 0;}
	}

	public SaturatedIntegerOperations() {
		super(new SatIntegerBasicOps());
	}
}