TypeVisitor.java

package de.skuzzle.polly.core.parser.ast.declarations.types;

/**
 * Visitor interface which can be used to traverse {@link Type type expressions}.
 * 
 * @author Simon Taddiken
 */
public interface TypeVisitor {
    /** 
     * Return value for <code>before</code> and <code>after</code> methods. Traversal 
     * will be stopped.
     */
    public final static int ABORT = -1;

    
    /** 
     * Return value for <code>before</code> and <code>after</code> methods. Traversal 
     * will continue.
     */
    public final static int CONTINUE = 0;
    
    /** 
     * Return value for <code>before</code>methods. Traversal will skip the current
     * sub tree. If returned by any of the <code>after</code> methods, traversal will
     * be stopped as if returning {@link #ABORT}.
     */
    public final static int SKIP = 1;

    
    
    public int before(Type type);
    public int after(Type type);
    public boolean visit(Type type);
    
    public int before(ProductType p);
    public int after(ProductType p);
    public boolean visit(ProductType p);
    
    public int before(ListType l);
    public int after(ListType l);
    public boolean visit(ListType l);
    
    public int before(MapType m);
    public int after(MapType m);
    public boolean visit(MapType m);
    
    public int before(TypeVar v);
    public int after(TypeVar v);
    public boolean visit(TypeVar v);
}