cdc.applic.expressions.ast.visitors.DeleteNots Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of cdc-applic-expressions Show documentation

Applicabilities Expressions.

There is a newer version: 0.13.3

Show newest version

package cdc.applic.expressions.ast.visitors;

import cdc.applic.expressions.ast.AbstractUnaryNode;
import cdc.applic.expressions.ast.Node;
import cdc.applic.expressions.ast.NotNode;

/**
 * A visitor that deletes {@link NotNode}s.
 * 
 * WARNING: This must be used with care!
 *
 * @author Damien Carbonne
 */
public final class DeleteNots extends AbstractConverter {
    private static final DeleteNots VISITOR = new DeleteNots();

    private DeleteNots() {
    }

    public static Node execute(Node node) {
        return node.accept(VISITOR);
    }

    @Override
    public Node visitUnary(AbstractUnaryNode node) {
        return node.getAlpha().accept(this);
    }
}