Examples with Node jkind.lustre.Node used on opensource projects

Example 46 with Node

use of jkind.lustre.Node in project AGREE by loonwerks.

the class PrettyPrintVisitor method visit.

@Override
public Void visit(Program program) {
    main = program.main;
    if (!program.types.isEmpty()) {
        for (TypeDef typeDef : program.types) {
            typeDef.accept(this);
            newline();
        }
        newline();
    }
    if (!program.constants.isEmpty()) {
        for (Constant constant : program.constants) {
            constant.accept(this);
            newline();
        }
        newline();
    }
    Iterator<Node> iterator = program.nodes.iterator();
    while (iterator.hasNext()) {
        iterator.next().accept(this);
        newline();
        if (iterator.hasNext()) {
            newline();
        }
    }
    return null;
}