tom.library.utils
Class IdConverter

java.lang.Object
  tom.library.utils.IdConverter

All Implemented Interfaces:

ATermConverter

public class IdConverter
extends Object
implements ATermConverter

This class does nothing : no processing is done in its methods. It is used by default import method in Gom, when no conversion is needed.

Constructor Summary

IdConverter()

Method Summary

aterm.ATerm

convert(aterm.ATerm at) Method triggered when using the default import method in Gom.

Methods inherited from class java.lang.Object

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

Constructor Detail

IdConverter

public IdConverter()

Method Detail

convert

public aterm.ATerm convert(aterm.ATerm at)

Method triggered when using the default import method in Gom. It is the Identity, this method does not modify the ATerm

Specified by:

convert in interface ATermConverter

Parameters:

at - the ATerm which is currently processed

Returns:

the processed ATerm without any modification