Package net.emustudio.edigen.passes

Class RemoveUnreachablePatternsVisitor

java.lang.Object

net.emustudio.edigen.Visitor

net.emustudio.edigen.passes.RemoveUnreachablePatternsVisitor

public class RemoveUnreachablePatternsVisitor
extends Visitor

A visitor which removes patterns which are children of zero-only masks.

This represents the fact that masks containing only zeroes do not require comparing with the pattern because the result is always true.

Constructor Summary

Constructors

Constructor	Description
RemoveUnreachablePatternsVisitor()

Method Summary

Modifier and Type	Method	Description
void	visit(Mask mask)	Removes the child pattern if the mask contains only zeroes.

Methods inherited from class net.emustudio.edigen.Visitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RemoveUnreachablePatternsVisitor

public RemoveUnreachablePatternsVisitor()

Method Detail

visit

public void visit(Mask mask)
           throws SemanticException

Removes the child pattern if the mask contains only zeroes.

Overrides:

visit in class Visitor

Parameters:

mask - the mask node

Throws:

SemanticException - never