Examples with ITerm mb.nabl2.terms.ITerm used on opensource projects

Example 76 with ITerm

use of mb.nabl2.terms.ITerm in project nabl by metaborg.

the class HashcodeAndEqualsTest method testSameStrings.

@Test
public void testSameStrings() {
    ITerm t1 = B.newString("Hello!");
    ITerm t2 = B.newString("Hello!");
    assertEquals(t1.hashCode(), t2.hashCode());
    assertTrue(t1.equals(t2));
}

Example 77 with ITerm

use of mb.nabl2.terms.ITerm in project nabl by metaborg.

the class HashcodeAndEqualsTest method testSerializeGeneric.

@Test
public void testSerializeGeneric() throws Exception {
    ITerm t = B.newAppl(SpecializedAppl.OP, B.newString("Hello, world!"), B.newInt(42));
    byte[] b1 = serialize(t);
    byte[] b2 = serialize(deserialize(b1));
    assertTrue(Arrays.equals(b1, b2));
}

Example 78 with ITerm

use of mb.nabl2.terms.ITerm in project nabl by metaborg.

the class HashcodeAndEqualsTest method testDifferentStrings.

@Test
public void testDifferentStrings() {
    ITerm t1 = B.newString("Hello!");
    ITerm t2 = B.newString("World!");
    assertFalse(t1.equals(t2));
}

Example 79 with ITerm

use of mb.nabl2.terms.ITerm in project nabl by metaborg.

the class HashcodeAndEqualsTest method testSameApplUnaryCtors.

@Test
public void testSameApplUnaryCtors() {
    ITerm t1 = B.newAppl("Ctor", B.newInt(1));
    ITerm t2 = B.newAppl("Ctor", B.newInt(1));
    assertEquals(t1.hashCode(), t2.hashCode());
    assertTrue(t1.equals(t2));
}

Example 80 with ITerm

use of mb.nabl2.terms.ITerm in project nabl by metaborg.

the class HashcodeAndEqualsTest method testDifferentApplArity.

@Test
public void testDifferentApplArity() {
    ITerm t1 = B.newAppl("Ctor1", B.newInt(1));
    ITerm t2 = B.newAppl("Ctor2", B.newInt(1), B.newString("Hello, world!"));
    assertFalse(t1.equals(t2));
}