Package aterm

Source Code of aterm.ATermFwd

/*
* Copyright (c) 2002-2007, CWI and INRIA
*
* All rights reserved.
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
*     * Redistributions of source code must retain the above copyright
*       notice, this list of conditions and the following disclaimer.
*     * Redistributions in binary form must reproduce the above copyright
*       notice, this list of conditions and the following disclaimer in the
*       documentation and/or other materials provided with the distribution.
*     * Neither the name of the University of California, Berkeley nor the
*       names of its contributors may be used to endorse or promote products
*       derived from this software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
* WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
* DISCLAIMED. IN NO EVENT SHALL THE REGENTS AND CONTRIBUTORS BE LIABLE FOR ANY
* DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/

package aterm;
import jjtraveler.VisitFailure;


public class ATermFwd implements aterm.Visitor {

    jjtraveler.Visitor any;

    public ATermFwd(jjtraveler.Visitor any) {
        this.any = any;
    }

    public jjtraveler.Visitable visit(jjtraveler.Visitable v) throws VisitFailure {
  if (v instanceof Visitable) {
      return ((Visitable) v).accept(this);
  }
 
  throw new VisitFailure();
    }

    public Visitable visitATerm(ATerm arg) throws VisitFailure {
        return (aterm.Visitable) any.visit(arg);
    }

    public Visitable visitInt(ATermInt arg) throws VisitFailure {
        return visitATerm(arg);
    }

    public Visitable visitLong(ATermLong arg) throws VisitFailure {
        return visitATerm(arg);
    }

    public Visitable visitReal(ATermReal arg) throws VisitFailure {
        return visitATerm(arg);
    }

    public Visitable visitAppl(ATermAppl arg) throws VisitFailure {
        return visitATerm(arg);
    }

    public Visitable visitList(ATermList arg) throws VisitFailure {
        return visitATerm(arg);
    }

    public Visitable visitPlaceholder(ATermPlaceholder arg) throws VisitFailure {
        return visitATerm(arg);
    }

    public Visitable visitBlob(ATermBlob arg) throws VisitFailure {
        return visitATerm(arg);
    }

    public Visitable visitAFun(AFun fun){
        return fun;
    }
}
TOP

Related Classes of aterm.ATermFwd

TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.