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

Example 46 with Model

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

the class Bug250313Test method testSTRINGConversion_05.

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

Example 47 with Model

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

the class Bug250313Test method testNestedDatatypeConversion_08.

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

Example 48 with Model

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

the class Bug250313Test method testDatatypeConversion_02.

@Test
public void testDatatypeConversion_02() throws Exception {
    Model model = (Model) getModel("foo - bar");
    assertEquals("str", model.getValue());
    assertEquals("org.eclipse.xtext.valueconverter.Bug250313.Datatype", lexerRule);
    assertTrue(node instanceof ICompositeNode);
    assertEquals(5, Iterables.size(((ICompositeNode) node).getChildren()));
    assertEquals("foo - bar", string);
    assertEquals(1, convertCallCount);
}

Example 49 with Model

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

the class Bug250313Test method testSTRINGConversion_01.

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

Example 50 with Model

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

the class Bug250313Test method testNestedDatatypeConversion_06.

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