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

Example 81 with Context

use of com.microsoft.z3.Context in project kie-wb-common by kiegroup.

the class ContextEditorDefinitionTest method testModelDefinition.

@Test
public void testModelDefinition() {
    final Optional<Context> oModel = definition.getModelClass();
    assertTrue(oModel.isPresent());
    final Context model = oModel.get();
    assertEquals(2, model.getContextEntry().size());
    assertNotNull(model.getContextEntry().get(0).getVariable());
    assertNull(model.getContextEntry().get(1).getVariable());
    assertTrue(model.getContextEntry().get(1).getExpression() instanceof LiteralExpression);
}

Example 82 with Context

use of com.microsoft.z3.Context in project kie-wb-common by kiegroup.

the class JavaFunctionEditorDefinitionTest method testEditor.

@Test
public void testEditor() {
    final Optional<Context> expression = definition.getModelClass();
    final Optional<BaseExpressionGrid> oEditor = definition.getEditor(parent, Optional.empty(), hasExpression, expression, hasName, 0);
    assertTrue(oEditor.isPresent());
    final GridWidget editor = oEditor.get();
    assertTrue(editor instanceof FunctionSupplementaryGrid);
}

Example 83 with Context

use of com.microsoft.z3.Context in project kie-wb-common by kiegroup.

the class PMMLFunctionEditorDefinitionTest method testModelDefinition.

@Test
public void testModelDefinition() {
    final Optional<Context> oModel = definition.getModelClass();
    assertTrue(oModel.isPresent());
    final Context model = oModel.get();
    assertEquals(2, model.getContextEntry().size());
    assertEquals(PMMLFunctionEditorDefinition.VARIABLE_DOCUMENT, model.getContextEntry().get(0).getVariable().getName().getValue());
    assertTrue(model.getContextEntry().get(0).getExpression() instanceof LiteralExpression);
    assertEquals(PMMLFunctionEditorDefinition.VARIABLE_MODEL, model.getContextEntry().get(1).getVariable().getName().getValue());
    assertTrue(model.getContextEntry().get(1).getExpression() instanceof LiteralExpression);
}

Example 84 with Context

use of com.microsoft.z3.Context in project kie-wb-common by kiegroup.

the class PMMLFunctionEditorDefinitionTest method testEditor.

@Test
public void testEditor() {
    final Optional<Context> expression = definition.getModelClass();
    final Optional<BaseExpressionGrid> oEditor = definition.getEditor(parent, Optional.empty(), hasExpression, expression, hasName, 0);
    assertTrue(oEditor.isPresent());
    final GridWidget editor = oEditor.get();
    assertTrue(editor instanceof FunctionSupplementaryGrid);
}

Example 85 with Context

use of com.microsoft.z3.Context in project kie-wb-common by kiegroup.

the class JavaFunctionEditorDefinition method getModelClass.

@Override
public Optional<Context> getModelClass() {
    final Context context = new Context();
    final ContextEntry classEntry = new ContextEntry();
    final InformationItem classEntryVariable = new InformationItem();
    classEntryVariable.setName(new Name(VARIABLE_CLASS));
    classEntry.setVariable(classEntryVariable);
    classEntry.setExpression(new LiteralExpression());
    context.getContextEntry().add(classEntry);
    final ContextEntry methodSignatureEntry = new ContextEntry();
    final InformationItem methodSignatureEntryVariable = new InformationItem();
    methodSignatureEntryVariable.setName(new Name(VARIABLE_METHOD_SIGNATURE));
    methodSignatureEntry.setVariable(methodSignatureEntryVariable);
    methodSignatureEntry.setExpression(new LiteralExpression());
    context.getContextEntry().add(methodSignatureEntry);
    return Optional.of(context);
}