package test.assertions;

public class Assertions {
	public static void assertState(Object o, int state) {
		
	}
	
	public static void extValue(int pos) {
		
	}
	
	public static void assertValue(Object o, Object v) {
		
	}
	
	public static void mustNotBeInAcceptingState(Object o) {
		
	}
	
	public static void mustBeInAcceptingState(Object o) {
		
	}
	
	public static void violatedConstraint(Object o) {
		
	}
	
	public static void callToForbiddenMethod() {
		
	}

	public static void hasEnsuredPredicate(Object o) {
		
	}

	public static void notHasEnsuredPredicate(Object o){
		
	}

    public static void missingTypestateChange() {
    }

	public static void noMissingTypestateChange() {
		
	}

	public static void predicateContradiction() {
	}

	public static void predicateErrors(int i) {
		
	}

	public static void constraintErrors(int i) {
		
	}

	public static void typestateErrors(int i) {
		
	}
}
