OoasTools

import org.momut.ooas.ast.expressions.ListConstructor;

import org.momut.ooas.ast.expressions.MapConstructor;

import org.momut.ooas.ast.expressions.ObjectConstructor;

import org.momut.ooas.ast.expressions.SetConstructor;

import org.momut.ooas.ast.expressions.TernaryOperator;

import org.momut.ooas.ast.expressions.TupleConstructor;

import org.momut.ooas.ast.identifiers.ConstantIdentifier;

import org.momut.ooas.ast.identifiers.EnumIdentifier;

import org.momut.ooas.ast.identifiers.ExpressionVariableIdentifier;

import org.momut.ooas.ast.identifiers.LocalVariableIdentifier;

import org.momut.ooas.ast.identifiers.MainModule;

import org.momut.ooas.ast.identifiers.MethodIdentifier;

import org.momut.ooas.ast.statements.KillStatement;

import org.momut.ooas.ast.statements.NondetBlock;

import org.momut.ooas.ast.statements.PrioBlock;

import org.momut.ooas.ast.statements.SeqBlock;

import org.momut.ooas.ast.statements.SkipStatement;

import org.momut.ooas.ast.types.AnyType;

import org.momut.ooas.ast.types.NullType;

import org.momut.ooas.ast.types.OoActionSystemType;

import org.momut.ooas.ast.types.OpaqueType;

import org.momut.ooas.ast.types.TupleType;

public class OoaEmptyVisitor implements IAstVisitor {

	@Override

	public void visit(EnumIdentifier enumIdentifier)             {throw new UnsupportedOperationException();}

	@Override

	public void visit(AttributeIdentifier attributeIdentifier)   {throw new UnsupportedOperationException();}

	@Override

	public void visit(ExpressionVariableIdentifier expressionVariableIdentifier) {throw new UnsupportedOperationException();}

	@Override

	public void visit(KillStatement killStatement)               {throw new UnsupportedOperationException();}

	@Override

	public <T> void visit(ValueExpression<T> valueExpression)    {throw new UnsupportedOperationException();}

	@Override

	public void visit(UnresolvedIdentifierExpression unresolvedIdentifierExpression) {throw new UnsupportedOperationException();}

	@Override

	public void visit(ObjectConstructor objectConstructor)       {throw new UnsupportedOperationException();}

	@Override

	public void visit(AccessExpression accessExpression)         {throw new UnsupportedOperationException();}

	@Override

	public void visit(BinaryOperator binaryOperator)             {throw new UnsupportedOperationException();}

	@Override

	public void visit(MapType mapType)                           {throw new UnsupportedOperationException();}

	@Override

	public void visit(TupleType tupleType)                       {throw new UnsupportedOperationException();}

	@Override

	public void visit(FunctionType functionType)                 {throw new UnsupportedOperationException();}