Package org.eclipse.tptp.trace.arm.internal.event

Interface Summary

TPTPArmEvent	The TPTP ARM Event is a class that maps the ARM Transaction to those specific attributes that pertain to the TPTP Trace Model.
TPTPStartArmEvent	The TPTP Start ARM Event is a class that maps the ARM Transaction to those specific attributes that pertain to the TPTP Trace Model when ArmTransaction.start() is executed.
TPTPStopArmEvent	The TPTP Stop ARM Event is a class that maps the ARM Transaction to those specific attributes that pertain to the TPTP Trace Model when ArmTransaction.stop() is executed.

Class Summary

TPTPArmEventFactory

Used for creating TPTP specific objects that are used for generating the TPTP Trace XML.