Examples with NodeProperty verdict.vdm.vdm_lustre.NodeProperty used on opensource projects

Example 1 with NodeProperty

use of verdict.vdm.vdm_lustre.NodeProperty in project VERDICT by ge-high-assurance.

the class PrettyPrinter method visit.

public void visit(NodeBody nodeBody) {
    sb.append("let");
    sb.append(NL);
    if (nodeBody.getVariableDeclaration().size() > 0) {
        sb.append("var");
        sb.append(NL);
    }
    for (VariableDeclaration var : nodeBody.getVariableDeclaration()) {
        visit(var);
        sb.append(NL);
        sb.append(";");
    }
    for (ConstantDeclaration constant : nodeBody.getConstantDeclaration()) {
        sb.append("const");
        visit(constant);
        sb.append(NL);
        sb.append(";");
    }
    for (Expression expr : nodeBody.getAssertion()) {
        visit(expr);
    }
    for (NodeEquation neq : nodeBody.getEquation()) {
        visit(neq);
    }
    for (NodeProperty property : nodeBody.getProperty()) {
        visit(property);
    }
    sb.append("tel");
}