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

Example 6 with Model

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

the class Bug250313Test method testNestedDatatypeConversion_05.

@Test
public void testNestedDatatypeConversion_05() throws Exception {
    Model model = (Model) getModel("4 zonk + foo - bar");
    assertEquals("str", model.getValue());
    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 7 with Model

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

the class Bug250313Test method testDatatypeConversion_03.

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

Example 8 with Model

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

the class Bug250313Test method testIDConversion_04.

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

Example 9 with Model

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

the class Bug250313Test method testSTRINGConversion_03.

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

Example 10 with Model

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

the class Bug250313Test method testKeywordConversion_02.

@Test
public void testKeywordConversion_02() throws Exception {
    Model model = (Model) getModel("mykeyword1");
    assertEquals("mykeyword1", model.getValue());
    assertEquals(lexerRule, 0, convertCallCount);
}