Examples with Model com.microsoft.z3.Model used on opensource projects

Example 41 with Model

use of com.microsoft.z3.Model in project xtext-core by eclipse.

the class Bug250313Test method testNestedDatatypeConversion_07.

@Test
public void testNestedDatatypeConversion_07() throws Exception {
    Model model = (Model) getModel("1+ zonk + foo - bar");
    assertEquals("[str]", model.getMultiValue().toString());
    assertEquals("org.eclipse.xtext.valueconverter.Bug250313.NestedDatatype", lexerRule);
    assertTrue(node instanceof ICompositeNode);
    assertEquals(5, Iterables.size(((ICompositeNode) node).getChildren()));
    assertEquals("zonk + foo - bar", string);
    assertEquals(1, convertCallCount);
}

Example 42 with Model

use of com.microsoft.z3.Model in project xtext-core by eclipse.

the class Bug250313Test method testNestedDatatypeConversion_04.

@Test
public void testNestedDatatypeConversion_04() throws Exception {
    Model model = (Model) getModel("zonk +");
    assertEquals("str", model.getValue());
    assertEquals("org.eclipse.xtext.valueconverter.Bug250313.NestedDatatype", lexerRule);
    assertTrue(node instanceof ICompositeNode);
    assertEquals(3, Iterables.size(((ICompositeNode) node).getChildren()));
    assertEquals("zonk +", string);
    assertEquals(1, convertCallCount);
}

Example 43 with Model

use of com.microsoft.z3.Model in project xtext-core by eclipse.

the class Bug250313Test method testNestedDatatypeConversion_09.

@Test
public void testNestedDatatypeConversion_09() throws Exception {
    Model model = (Model) getModel("4+ zonk + foo - bar");
    assertEquals("[str]", model.getMultiValue().toString());
    assertEquals("org.eclipse.xtext.valueconverter.Bug250313.NestedDatatype", lexerRule);
    assertTrue(node instanceof ICompositeNode);
    assertEquals(5, Iterables.size(((ICompositeNode) node).getChildren()));
    assertEquals("zonk + foo - bar", string);
    assertEquals(1, convertCallCount);
}

Example 44 with Model

use of com.microsoft.z3.Model in project xtext-core by eclipse.

the class Bug250313Test method testSTRINGConversion_04.

@Test
public void testSTRINGConversion_04() throws Exception {
    Model model = (Model) getModel("1+ 'str'");
    assertEquals("[str]", model.getMultiValue().toString());
    assertNotNull(lexerRule);
    assertEquals("org.eclipse.xtext.common.Terminals.STRING", lexerRule);
    assertTrue(node instanceof ILeafNode);
    assertEquals("'str'", string);
    assertEquals(1, convertCallCount);
}

Example 45 with Model

use of com.microsoft.z3.Model in project xtext-core by eclipse.

the class Bug250313Test method testIDConversion_02.

@Test
public void testIDConversion_02() throws Exception {
    Model model = (Model) getModel("1 ^str");
    assertEquals("str", model.getValue());
    assertEquals("org.eclipse.xtext.common.Terminals.ID", lexerRule);
    assertTrue(node instanceof ILeafNode);
    assertEquals("^str", string);
    assertEquals(1, convertCallCount);
}