package ic_java.true_positives;

/**
 * @author schaef
 *
 */
@SuppressWarnings("unused")
public class TruePositives01 {
	public TruePositives01 bases;
	// from org.openecard.bouncycastle.crypto.params.NTRUSigningPrivateKeyParameters	
	
	boolean foo(TruePositives01 other) {
		if (bases == null) {
			if (other.bases != null) {
				return false;
			}
		}
		if (bases.hashCode() != other.bases.hashCode()) {
			return false;
		}
		
		if ("hallo" == "wurstsalat") return false;
		
		// ...
		return true;
	}
	

	public int infeasible0(int[] arr) {
		int i = arr.length;
		arr[3]=3;
		return arr[i]; // INFEASIBLE
	}

	@SuppressWarnings("null")
	public int infeasible1(Object o) {
		if (o!=null) {
			return o.hashCode(); // INFEASIBLE
		} 
		System.err.println(o.toString() + " does not exist");
		return 2;
	}

	public void infeasible2(int [] arr) {
		for (int i=0; i<=arr.length;i++) {
			arr[i]=i; // INFEASIBLE
		}
	}
	
	public void infeasible3(int a, int b) {
		b=1; // ALL INFEASIBLE
		if (a>0) b--;
		b=1/b;
		if (a<=0) b=1/(1-b);
	}
	
	public boolean infeasible4(Object o) {
		System.err.println(o.toString());
		if (o==null) {
			return false; // INFEASIBLE
		}
		return true;
	}
	
	public void infeasible5() {
		String test="too long";
		if (test.length()==3) {
			System.err.println("unreachable"); // INFEASIBLE
		}
	}
	
	public int infeasible6(int[] arr) {
		return arr[-1] + arr[arr.length]; // INFEASIBLE
	}	
	
	public void infeasible07(char[] temp) {
		int repos = -1;
		int end = -1;
		int j = end;
		do {
			j++;
			if (temp[j]=='a') {
				repos = j - end - 1;
			}
		} while (repos == -1 && j < temp.length);
		if (repos == -1) {
			repos=0; //unreachable
		}
	}
	
	
	public void infeasible08() {
		String customFont = "";
		if (customFont != null && customFont.length() > 0) {
			System.err.println("From Terpword, UnicodeDialog.java, line 287.");
			return;
		} else {
			return;
		}
	}

	public void infeasible09(char[] temp) {
		int repos = -1;
		int end = -1;
		int j = end;
		do {
			j++;
			if (temp[j] == 'a') {
				repos = j - end - 1;
			}
		} while (repos == -1 && j < temp.length);
		if (repos == -1) {
			repos = 0; // unreachable
		}
	}	
}



