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;

/*Notice: The visitor must implement the traversal!*/

	/*Identifiers*/

	void visit(EnumIdentifier enumIdentifier);

	void visit(AttributeIdentifier attributeIdentifier);

	void visit(ExpressionVariableIdentifier expressionVariableIdentifier);

	void visit(ParameterIdentifier parameterIdentifier);

	void visit(SkipStatement skipStatement);

	void visit(AbortStatement abortStatement);

	void visit(KillStatement killStatement);

	/*Expressions*/

	void visit(MapConstructor mapConstructor);

	void visit(TupleConstructor tupleConstructor);

	void visit(ObjectConstructor objectConstructor);

	void visit(AccessExpression accessExpression);

	void visit(BinaryOperator binaryOperator);

	void visit(TernaryOperator ternaryOperator);

	void visit(EnumType enumType);

	void visit(ListType listType);

	void visit(MapType mapType);

	void visit(TupleType tupleType);

	void visit(FunctionType functionType);

	void visit(OoActionSystemType ooActionSystemType);