de.uka.ilkd.key.gui.interactionlog

Class InteractionLogFacade

java.lang.Object

de.uka.ilkd.key.gui.interactionlog.InteractionLogFacade

public final class InteractionLogFacade
extends java.lang.Object

Version:

1 (06.12.18)

Author:

Alexander Weigl

Constructor Summary

Constructors

Constructor and Description
InteractionLogFacade()

Method Summary

Modifier and Type	Method and Description
static javax.xml.bind.JAXBContext	createContext()
static InteractionLog	readInteractionLog(java.io.File inputFile)
static void	storeInteractionLog(InteractionLog log, java.io.File output)

Methods inherited from class java.lang.Object

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

Constructor Detail

InteractionLogFacade

public InteractionLogFacade()

Method Detail

createContext

public static javax.xml.bind.JAXBContext createContext()
                                                throws javax.xml.bind.JAXBException

Throws:

javax.xml.bind.JAXBException

readInteractionLog

public static InteractionLog readInteractionLog(java.io.File inputFile)
                                         throws javax.xml.bind.JAXBException

Parameters:

inputFile -

Returns:

Throws:

javax.xml.bind.JAXBException

storeInteractionLog

public static void storeInteractionLog(InteractionLog log,
                                       java.io.File output)
                                throws javax.xml.bind.JAXBException

Parameters:

log -

output -

Throws:

javax.xml.bind.JAXBException