Newer
Older
RDLProofSystem / src / test / java / terms / OrderTest.java
@Sakoda2269 Sakoda2269 on 15 Aug 1 KB test修正
package terms;

import static org.junit.jupiter.api.Assertions.*;

import org.junit.jupiter.api.Test;

import models.terms.DependencyTerm;
import models.terms.Resource;
import utils.Utils;

public class OrderTest {

	@Test
	void singleDependencyTermOrderTest() {
		Resource A = new Resource("A", Utils.INT, 1);
		Resource B = new Resource("B", Utils.INT, 1);
		Resource C = new Resource("C", Utils.INT, 1);
		Resource D = new Resource("D", Utils.INT, 2);
		Resource E = new Resource("E", Utils.INT, 0);
		
		DependencyTerm t1 = new DependencyTerm(A, B, C);
		assertEquals(t1.getOrder(), 1);
		DependencyTerm t2 = new DependencyTerm(A, B, D);
		assertEquals(t2.getOrder(), 2);
		DependencyTerm t3 = new DependencyTerm(A, B, E);
		assertEquals(t3.getOrder(), 0);
		
	}
	
	@Test
	void multiDependencyTermOrderTest() {
		Resource A = new Resource("A", Utils.INT, 1);
		Resource B = new Resource("B", Utils.INT, 1);
		Resource C = new Resource("C", Utils.INT, 1);
		Resource D = new Resource("D", Utils.INT, 1);
		Resource E = new Resource("E", Utils.INT, 1);
		Resource F = new Resource("F", Utils.INT, 2);
		Resource G = new Resource("G", Utils.INT, 0);
		
		DependencyTerm t1 = new DependencyTerm(A, B, C, D, E);
		assertEquals(t1.getOrder(), 1);
		
	}
	
	
	
}