Examples with HOGMCodeArea com.sri.ai.praise.sgsolver.demo.editor.HOGMCodeArea used on opensource projects

Example 1 with HOGMCodeArea

use of com.sri.ai.praise.sgsolver.demo.editor.HOGMCodeArea in project aic-praise by aic-sri-international.

the class QueryController method displayQueryAnswer.

private void displayQueryAnswer(String query, Expression result, ParsedHOGModel parsedModel, long millisecondsToCompute) {
    String answer = "P(" + query + " | ... ) = " + result;
    String title = "Query" + duration(" took ", millisecondsToCompute) + " to compute '" + answer + "'";
    HOGMCodeArea resultCodeArea = new HOGMCodeArea(false);
    resultCodeArea.setText(answer);
    resultCodeArea.setEditable(false);
    Node resultContent = null;
    if (SGSolverDemoController.isInDebugMode()) {
        HOGMCodeArea parsedModelArea = createParsedModelView(parsedModel);
        TabPane resultTabs = new TabPane();
        resultTabs.getTabs().add(new Tab("Answer", resultCodeArea));
        resultTabs.getTabs().add(new Tab("Parsed As", parsedModelArea));
        resultContent = resultTabs;
    } else {
        resultContent = resultCodeArea;
    }
    TitledPane resultPane = new TitledPane(title, resultContent);
    FXUtil.setTitledPaneIcon(resultPane, FontAwesomeIcons.CHECK);
    showResultPane(resultPane);
}

Example 2 with HOGMCodeArea

use of com.sri.ai.praise.sgsolver.demo.editor.HOGMCodeArea in project aic-praise by aic-sri-international.

the class QueryController method displayQueryErrors.

private void displayQueryErrors(String query, List<HOGMQueryError> queryErrors, ParsedHOGModel parsedModel, long millisecondsToCompute) {
    String title = "Query '" + query + "' encountered " + queryErrors.size() + " error(s) when attempting to compute answer (" + duration("took ", millisecondsToCompute) + ")";
    ListView<HOGMQueryError> errors = new ListView<>(FXCollections.observableList(queryErrors));
    //errors.setFixedCellSize(24);
    errors.setPrefHeight(24 * 5);
    errors.getSelectionModel().setSelectionMode(SelectionMode.SINGLE);
    errors.getSelectionModel().selectedIndexProperty().addListener((obs, oldValue, newValue) -> {
        if (newValue.intValue() >= 0) {
            HOGMQueryError qError = errors.getItems().get(newValue.intValue());
            if (qError.getContext() == HOGMQueryError.Context.MODEL) {
                modelPageEditor.highlight(qError.getStartContextIndex(), qError.getEndContextIndex());
            } else if (qError.getContext() == HOGMQueryError.Context.QUERY) {
                queryComboBox.getEditor().selectAll();
            }
        }
    });
    Node resultContent = null;
    if (SGSolverDemoController.isInDebugMode()) {
        HOGMCodeArea parsedModelArea = createParsedModelView(parsedModel);
        TabPane resultTabs = new TabPane();
        resultTabs.getTabs().add(new Tab("Errors", errors));
        resultTabs.getTabs().add(new Tab("Parsed As", parsedModelArea));
        resultContent = resultTabs;
    } else {
        resultContent = errors;
    }
    TitledPane resultPane = new TitledPane(title, resultContent);
    FXUtil.setTitledPaneIcon(resultPane, FontAwesomeIcons.TIMES);
    showResultPane(resultPane);
    errors.getSelectionModel().selectFirst();
}

Example 3 with HOGMCodeArea

use of com.sri.ai.praise.sgsolver.demo.editor.HOGMCodeArea in project aic-praise by aic-sri-international.

the class QueryController method createParsedModelView.

private HOGMCodeArea createParsedModelView(ParsedHOGModel parseModel) {
    HOGMCodeArea result = new HOGMCodeArea();
    StringJoiner sj = new StringJoiner("\n");
    if (parseModel == null) {
        sj.add("// UNABLE TO PARSE");
    } else {
        sj.add("// SORT DECLARATIONS:");
        parseModel.getSortDeclarations().forEach(sd -> {
            sj.add(sd.getSortDeclaration().toString() + ";");
        });
        if (parseModel.getConstatDeclarations().size() > 0) {
            sj.add("// CONSTANT DECLARATIONS:");
            parseModel.getConstatDeclarations().forEach(cd -> {
                sj.add(cd.getConstantDeclaration().toString() + ";");
            });
        }
        sj.add("// RANDOM VARIABLE DECLARATIONS:");
        parseModel.getRandomVariableDeclarations().forEach(rd -> {
            sj.add(rd.getRandomVariableDeclaration().toString() + ";");
        });
        sj.add("// CONDITIONED POTENTIALS:");
        parseModel.getConditionedPotentials().forEach(cp -> {
            sj.add(cp.toString() + ";");
        });
    }
    result.setText(sj.toString());
    result.setEditable(false);
    return result;
}